Systems Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Dill
Stanford University United States of America
software verification
hardware verification
formal verification
real-time systems
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
verification
probabilistic verification
software model checking
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
software verification
hardware verification
model checking
safety-critical systems
View Professor Profile
Professor
Professor Profile
Professor
Linköping University Sweden
software system verification
system dependability
system software
real-time systems
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
software testing
software reliability
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
using model checking to verify real-time systems
automated model-based verification
formal validation
using theorem proving to verify function block based systems
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
verification & validation
model-checking
safety-critical systems
software quality assurance
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
automated model-based verification
formal validation
model checking
real-time systems
View Professor Profile
Professor
Professor Profile
Maribel Fernandez
King's College London United Kingdom
software verification
analysis and verification
modeling systems
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
formal verification
validation
View Professor Profile
Professor
Professor Profile
Lionel Briand
University of Ottawa Canada
software verification
validation
software systems
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
software quality assurance
View Professor Profile
Professor
Professor Profile
Karine Even-mendoza
King's College London United Kingdom
software verification
software testing
systems
View Professor Profile
Professor
Professor Profile
Daniel Dig
University of Illinois United States of America
verification
validation
software testing
View Professor Profile
Professor
Professor Profile
Karthik Pattabiraman
University of British Columbia Canada
software verification
software testing
reliable computing systems
View Professor Profile
Professor
Professor Profile
Tim Willemse
Eindhoven University of Technology Belgium
software verification
model checking
correct and reliable systems
View Professor Profile
Professor
Professor Profile
Steve Easterbrook
University of Toronto Canada
software verification and validation
systems analysis
systems thinking
View Professor Profile
Professor
Professor Profile
Koushik Sen
University of California, Berkeley United States of America
verification
software testing
model checking
View Professor Profile
Professor
Professor Profile
Hadas Kress-gazit
Cornell University Netherlands
verification
model checking
complex systems
View Professor Profile
Professor
Professor Profile
Hadas Kress-gazit
Cornell University Netherlands
verification
model checking
complex systems
View Professor Profile
Professor
Professor Profile
Professor
University of Hamburg Germany
verification
software correctness
complex systems
View Professor Profile
First
Prev
Page 1 | 2819 Results
Next