Automated Model Based Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
probabilistic verification
software model checking
probabilistic model checking
verification
View Professor Profile
Professor
Professor Profile
Lei Feng
KTH Royal Institute of Technology Sweden
model checking
verification
modeling
model-based design
View Professor Profile
Professor
Professor Profile
Moez Ali
Queen's University Canada
automated modeling
automated machine learning
machine learning
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
machine learning
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
model checking
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Pablo Tarazaga
Texas A&M University United States of America
model validation
model reduction
model updating
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
David Dill
Stanford University United States of America
software verification
formal verification
hardware verification
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
model-checking
verification & validation
modeling
View Professor Profile
Professor
Professor Profile
Warren Hunt
University of Texas at Austin United States of America
automated theorem-proving
program verification
hardware verification
View Professor Profile
Professor
Professor Profile
Holger Hoos
RWTH Aachen University Germany
automated machine learning
machine learning
automated reasoning
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
systems verification
formal verification
automated reasoning
View Professor Profile
Professor
Professor Profile
Arie Gurfinkel
University of Waterloo Canada
software model checking
automated program analysis
automated reasoning
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
unified modeling language
software validation
View Professor Profile
Professor
Professor Profile
Anders Bæk-petersen
University of Southern Denmark Denmark
automated decision making
machine learning
mathematical modelling
View Professor Profile
Professor
Professor Profile
Marius Mikučionis
Aalborg University Denmark
statistical model-checking
software validation
machine learning
View Professor Profile
Professor
Professor Profile
Clark Barrett
Stanford University United States of America
software verification
hardware verification
automated reasoning
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
formal verification
verification
validation
View Professor Profile
Professor
Professor Profile
Mateja Novak
Aalborg University Denmark
statistical model checking
machine learning
model predictive control
View Professor Profile
Professor
Professor Profile
Krzysztof Fidkowski
University of Michigan United States of America
solution verification
model reduction
machine learning
View Professor Profile
Professor
Professor Profile
Robert Gracie
University of Waterloo Canada
verification
validation
machine learning
View Professor Profile
First
Prev
Page 1 | 8762 Results
Next