Verification And Testing Of Reactive Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Tim Willemse
Eindhoven University of Technology Belgium
software verification
correct and reliable systems
model checking
View Professor Profile
Professor
Professor Profile
Paul Brostean
Uppsala University Sweden
security testing
software testing
model checking
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
Alessio Lomuscio
Imperial College London United Kingdom
verification of neural networks
verification of neuro-symbolic systems
View Professor Profile
Professor
Professor Profile
Darrel Doman
Dalhousie University Canada
design and testing of mechanical systems
material testing
View Professor Profile
Professor
Professor Profile
Richard Trefler
University of Waterloo Canada
reactive systems
model checking
View Professor Profile
Professor
Professor Profile
Richard Trefler
University of Waterloo Canada
reactive systems
model checking
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
Andrzej Murawski
University of Oxford United Kingdom
software verification
automated verification
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
software specification and verification
formal verification
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
probabilistic verification
automated verification
View Professor Profile
Professor
Professor Profile
Professor
Linköping University Sweden
software system verification
testing
View Professor Profile
Professor
Professor Profile
Mohamed Atig
Uppsala University Sweden
verification of infinite-state systems
model checking
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
David Dill
Stanford University United States of America
software verification
hardware verification
formal verification
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
software testing
View Professor Profile
Professor
Professor Profile
Karine Even-mendoza
King's College London United Kingdom
software verification
software testing
View Professor Profile
Professor
Professor Profile
Karthik Pattabiraman
University of British Columbia Canada
software verification
software testing
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
software verification
hardware verification
model checking
View Professor Profile
Professor
Professor Profile
Ansgar Fehnker
Macquarie University Australia
software verification
model checking
View Professor Profile
First
Prev
Page 1 | 483 Results
Next