Verification Discrete Event Systems Professors in Global

Showing 21 of 812 results

Search By
Location
Location
Searching Globally
Professor
David Parker Professor Profile

David Parker

University of Oxford United Kingdom
probabilistic verification
automated verification
verification
View Professor Profile
Professor
David Luckham Professor Profile

David Luckham

Stanford University United States of America
event-driven systems
program verification
complex event processing
View Professor Profile
Professor
John Thistle Professor Profile

John Thistle

University of Waterloo Canada
verification discrete event systems
control discrete event systems
View Professor Profile
Professor
Gregory Sorkin Professor Profile

Gregory Sorkin

London School of Economics and Political Science United Kingdom
discrete random systems
discrete mathematics
View Professor Profile
Professor

Viktor Kuncak

École Polytechnique Fédérale de Lausanne Switzerland
systems verification
formal verification
View Professor Profile
Professor
Damian Vicino Professor Profile

Damian Vicino

Carleton University Canada
discrete-event modeling simulation
distributed systems
View Professor Profile
Professor

Yongluan Zhou

University of Copenhagen Denmark
event-driven systems
distributed systems
View Professor Profile
Professor
Andrzej Murawski Professor Profile

Andrzej Murawski

University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor
Michalis Kokologiannakis Professor Profile

Michalis Kokologiannakis

Max Planck Institute for Software Systems Germany
automated verification testing
software verification
View Professor Profile
Professor

Peter Hegarty

University of Gothenburg Sweden
discrete mathematics
discrete probability
View Professor Profile
Professor
Randal Bryant Professor Profile

Randal Bryant

Carnegie Mellon University United States of America
software verification
formal verification
View Professor Profile
Professor
Limin Jia Professor Profile

Limin Jia

Carnegie Mellon University United States of America
formal software verification
network verification
View Professor Profile
Professor
David Dill Professor Profile

David Dill

Stanford University United States of America
software verification
formal verification
View Professor Profile
Professor
Kanianthra Chandy Professor Profile

Kanianthra Chandy

California Institute of Technology United States of America
verification and validation
distributed systems
View Professor Profile
Professor

Tianyin Xu

University of Illinois United States of America
verification of programs
distributed systems
View Professor Profile
Professor
Joachim Parrow Professor Profile

Joachim Parrow

Uppsala University Sweden
automated verification
distributed systems
View Professor Profile
Professor
Alex Brodsky Professor Profile

Alex Brodsky

Dalhousie University Canada
discrete mathematics
distributed systems
View Professor Profile
Professor
Mark Aagaard Professor Profile

Mark Aagaard

University of Waterloo Canada
formal verification
design verification
View Professor Profile
Professor
Maribel Fernandez Professor Profile

Maribel Fernandez

King's College London United Kingdom
software verification
analysis and verification
View Professor Profile
Professor
Xujie Si Professor Profile

Xujie Si

University of Toronto Canada
automated software verification
verification
View Professor Profile
Professor

Chen-wei Wang

York University Canada
automated model-based verification
using model checking to verify real-time systems
View Professor Profile
First
Prev
Page 1 | 812 Results
Next