Verification Of Software Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Xue Jun Cheng
University of Melbourne Australia
software testing
software reliability
software analysis
software optimization
software performance
software engineering
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
using model checking to verify real-time systems
automated model-based verification
product-based software certification
software requirements
using theorem proving to verify function block based systems
formal validation
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
software testing
software reliability
software analysis
validation
View Professor Profile
Professor
Professor Profile
Karthik Pattabiraman
University of British Columbia Canada
software verification
software testing
secure software
dependable software
reliable computing systems
View Professor Profile
Professor
Professor Profile
Professor
Linköping University Sweden
software system verification
system software
software system modelling
system dependability
software engineering
View Professor Profile
Professor
Professor Profile
Juergen Dingel
Queen's University Canada
software quality assurance
verification
software analysis
software modeling
software engineering
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
verification & validation
software quality assurance
software methodology
model-checking
software engineering
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
automated model-based verification
product-based software certification
software requirements
model checking
formal validation
View Professor Profile
Professor
Professor Profile
Hausi Müller
University of Victoria Canada
software engineering tool evaluation
software engineering
software architecture
software evolution
software reverse engineering
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
software model checking
automated verification
verification
probabilistic verification
View Professor Profile
Professor
Professor Profile
Lionel Briand
University of Ottawa Canada
software verification
software systems
validation
software engineering
View Professor Profile
Professor
Professor Profile
Hakan Erdogmus
Carnegie Mellon University United States of America
software testing and verification
software quality measurement
software engineering
empirical evaluation of software development methods
View Professor Profile
Professor
Professor Profile
Patrick Lam
University of Waterloo Canada
program verification
verifiable software specifications
software engineering
verifiable domain-specific languages
View Professor Profile
Professor
Professor Profile
Koushik Sen
University of California, Berkeley United States of America
software testing
verification
model checking
software engineering
View Professor Profile
Professor
Professor Profile
Robert Schiela
Carnegie Mellon University United States of America
software process improvement
software quality
software development
secure coding
View Professor Profile
Professor
Professor Profile
Masud Rahman
Dalhousie University Canada
software debugging
software maintenance
software engineering
software evolution
View Professor Profile
Professor
Professor Profile
Miroslaw Staron
University of Gothenburg Sweden
software technology
self-adaptive software systems
software metrics
software engineering
View Professor Profile
Professor
Professor Profile
Harald Gall
University of Zurich Switzerland
software quality analysis
software engineering
software architecture
software evolution
View Professor Profile
Professor
Professor Profile
Harald Gall
University of Zurich Switzerland
software quality analysis
software engineering
software architecture
software evolution
View Professor Profile
Professor
Professor Profile
Jonathan Aldrich
Carnegie Mellon University United States of America
software quality
software engineering
typestate verification
software architecture
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
software quality assurance
View Professor Profile
First
Prev
Page 1 | 1829 Results
Next