Verification Discrete Event Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
probabilistic verification
automated verification
verification
View Professor Profile
Professor
Professor Profile
David Luckham
Stanford University United States of America
event-driven systems
program verification
complex event processing
View Professor Profile
Professor
Professor Profile
David Luckham
Stanford University United States of America
event-driven systems
program verification
complex event processing
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
formal verification
safety-critical distributed systems
program verification
View Professor Profile
Professor
Professor Profile
John Thistle
University of Waterloo Canada
verification discrete event systems
control discrete event systems
View Professor Profile
Professor
Professor Profile
Gregory Sorkin
London School of Economics and Political Science United Kingdom
discrete random systems
discrete mathematics
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
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
system verification
formal verification
View Professor Profile
Professor
Professor Profile
Damian Vicino
Carleton University Canada
discrete-event modeling simulation
distributed systems
View Professor Profile
Professor
Professor Profile
Yongluan Zhou
University of Copenhagen Denmark
event-driven systems
distributed systems
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
automated verification testing
software verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
software verification
formal 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
Peter Hegarty
University of Gothenburg Sweden
discrete mathematics
discrete probability
View Professor Profile
Professor
Professor Profile
Limin Jia
Carnegie Mellon University United States of America
formal software verification
network verification
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
View Professor Profile
Professor
Professor Profile
Alex Brodsky
Dalhousie University Canada
discrete mathematics
distributed systems
View Professor Profile
Professor
Professor Profile
Joachim Parrow
Uppsala University Sweden
automated verification
distributed systems
View Professor Profile
Professor
Professor Profile
Mark Aagaard
University of Waterloo Canada
formal verification
design verification
View Professor Profile
Professor
Professor Profile
Tianyin Xu
University of Illinois United States of America
verification of programs
distributed systems
View Professor Profile
First
Prev
Page 1 | 906 Results
Next