Verification And Validation Of Software Systems Professors in Global

Showing 21 of 1,546 results Data last updated:

Search By
Location
Location
Searching Globally
Professor

Denise Woit

Toronto Metropolitan University Canada
software verification
software testing
validation
software reliability
software analysis
View Professor Profile
Professor
Karthik Pattabiraman Professor Profile

Karthik Pattabiraman

University of British Columbia Canada
software verification
software testing
secure software
dependable software
reliable computing systems
View Professor Profile
Professor

Chen-wei Wang

York University Canada
using model checking to verify real-time systems
automated model-based verification
product-based software certification
formal validation
software requirements
View Professor Profile
Professor

Xue Jun Cheng

University of Melbourne Australia
software testing
software reliability
software analysis
software optimization
software engineering
View Professor Profile
Professor

Eun-young Kang

University of Southern Denmark Denmark
verification & validation
software quality assurance
model-checking
software methodology
software engineering
View Professor Profile
Professor
Juergen Dingel Professor Profile

Juergen Dingel

Queen's University Canada
software quality assurance
software analysis
verification
software modeling
software engineering
View Professor Profile
Professor
Lionel Briand Professor Profile

Lionel Briand

University of Ottawa Canada
software verification
validation
software systems
software engineering
View Professor Profile
Professor
Hakan Erdogmus Professor Profile

Hakan Erdogmus

Carnegie Mellon University United States of America
software testing and verification
software quality measurement
empirical evaluation of software development methods
software engineering
View Professor Profile
Professor
David Parker Professor Profile

David Parker

University of Oxford United Kingdom
automated verification
software model checking
probabilistic verification
verification
View Professor Profile
Professor

Patrick Lam

University of Waterloo Canada
program verification
verifiable software specifications
verifiable domain-specific languages
software engineering
View Professor Profile
Professor
Koushik Sen Professor Profile

Koushik Sen

University of California, Berkeley United States of America
software testing
verification
software engineering
model checking
View Professor Profile
Professor

Francisco De Oliveira Neto

University of Gothenburg Sweden
software testing maintenance
software quality
test automation
software engineering
View Professor Profile
Professor

Robert Schiela

Carnegie Mellon University United States of America
software process improvement
software development
software quality
secure coding
View Professor Profile
Professor

Miroslaw Staron

University of Gothenburg Sweden
self-adaptive software systems
software technology
software metrics
software engineering
View Professor Profile
Professor
Yvan Labiche Professor Profile

Yvan Labiche

Carleton University Canada
software validation
software verification
software quality assurance
View Professor Profile
Professor
Yvan Labiche Professor Profile

Yvan Labiche

Carleton University Canada
verification and validation of software systems
software quality assurance
software engineering
View Professor Profile
Professor
David Dill Professor Profile

David Dill

Stanford University United States of America
software verification
hardware verification
formal verification
View Professor Profile
Professor
Jeroen Keiren Professor Profile

Jeroen Keiren

Eindhoven University of Technology Belgium
software verification
hardware verification
model checking
View Professor Profile
Professor
Limin Jia Professor Profile

Limin Jia

Carnegie Mellon University United States of America
formal software verification
network verification
software security
View Professor Profile
Professor
Steve Easterbrook Professor Profile

Steve Easterbrook

University of Toronto Canada
software verification and validation
systems analysis
software engineering
View Professor Profile
Professor

Sebastian Uchitel

Imperial College London United Kingdom
automated software verification
software quality assurance
software engineering
View Professor Profile
First
Prev
Page 1 | 1546 Results
Next