Verification Simulation Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Robert Braun
Linköping University Sweden
computer simulation
parallel simulation
co-simulation
distributed simulation
simulation-based optimization
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
software verification
hardware verification
formal verification
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
verification
probabilistic verification
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
formal verification
validation
View Professor Profile
Professor
Professor Profile
Robert Gracie
University of Waterloo Canada
verification
validation
simulators
View Professor Profile
Professor
Professor Profile
Narelle Dalwood
Monash University Australia
simulation
peer simulation
simulated patients
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
automated model-based verification
using model checking to verify real-time systems
formal validation
View Professor Profile
Professor
Professor Profile
Bernd Page
University of Hamburg Germany
business process simulation
simulation software
discrete simulation
View Professor Profile
Professor
Professor Profile
Marius Paraschivoiu
Concordia University Canada
acoustic simulations
fluid simulations
aerodynamic simulations
View Professor Profile
Professor
Professor Profile
Tania Kristoff
University of Saskatchewan Canada
virtual simulation
simulation
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
software verification
automated verification
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
software verification
automated verification testing
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
simulation
verification & validation
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
systems verification
formal verification
View Professor Profile
Professor
Professor Profile
Lei Feng
KTH Royal Institute of Technology Sweden
simulation
verification
View Professor Profile
Professor
Professor Profile
Clark Barrett
Stanford University United States of America
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Randal Bryant
Carnegie Mellon University United States of America
software verification
formal verification
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
verification
automated software verification
View Professor Profile
First
Prev
Page 1 | 1818 Results
Next