Verification Of Concurrent Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Dill
Stanford University United States of America
hardware verification
software verification
formal verification
real-time systems
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
probabilistic verification
verification
software model checking
View Professor Profile
Professor
Professor Profile
Bengt Jonsson
Uppsala University Sweden
verification of concurrent systems
semantics of concurrent systems
real-time distributed systems
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
hardware verification
software verification
model checking
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
software verification
concurrent programming algorithms
automated verification testing
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
using model checking to verify real-time systems
automated model-based verification
using theorem proving to verify function block based systems
View Professor Profile
Professor
Professor Profile
Professor
Linköping University Sweden
software system verification
real-time systems
system dependability
View Professor Profile
Professor
Professor Profile
Natasha Sharygina
University of Lugano Switzerland
concurrent distributed computing
formal verification
model checking
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
automated model-based verification
real-time systems
model checking
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
formal verification
verification
validation
View Professor Profile
Professor
Professor Profile
Lei Feng
KTH Royal Institute of Technology Sweden
verification
model checking
testing distributed real-time embedded systems
View Professor Profile
Professor
Professor Profile
Lei Feng
KTH Royal Institute of Technology Sweden
verification
model checking
testing distributed real-time embedded systems
View Professor Profile
Professor
Professor Profile
Marius Mikučionis
Aalborg University Denmark
software validation
real-time systems
statistical model-checking
View Professor Profile
Professor
Professor Profile
Koushik Sen
University of California, Berkeley United States of America
verification
model checking
runtime monitoring
View Professor Profile
Professor
Professor Profile
Tianyin Xu
University of Illinois United States of America
concurrent systems
verification of programs
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
Clark Barrett
Stanford University United States of America
hardware verification
software verification
View Professor Profile
Professor
Professor Profile
James Zheng
Macquarie University Australia
verification of software systems
testing cyber-physical systems
View Professor Profile
Professor
Professor Profile
Björn Victor
Uppsala University Sweden
semantics and verification of concurrent systems
distributed parallel computing
View Professor Profile
Professor
Professor Profile
Kanianthra Chandy
California Institute of Technology United States of America
concurrent systems
verification and validation
View Professor Profile
First
Prev
Page 1 | 845 Results
Next