Verification Of Infinite State Systems Professors in Global

Search By
Location
Location
Searching Globally
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
David Parker
University of Oxford United Kingdom
probabilistic verification
automated verification
View Professor Profile
Professor
Professor Profile
Norbert Lutkenhaus
University of Waterloo Canada
entanglement verification
quantum state detection
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
Mohamed Atig
Uppsala University Sweden
verification of infinite-state systems
View Professor Profile
Professor
Professor Profile
Stefan Kiefer
University of Oxford United Kingdom
infinite-state systems
View Professor Profile
Professor
Professor Profile
Michael Fisher
University of Manchester United Kingdom
verification of autonomous systems
View Professor Profile
Professor
Professor Profile
Bengt Jonsson
Uppsala University Sweden
verification of concurrent systems
View Professor Profile
Professor
Professor Profile
Fraser Brown
Carnegie Mellon University United States of America
verification of production systems
View Professor Profile
Professor
Professor Profile
Shahin Nazarian
University of Southern California United States of America
system verification
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
system verification
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
verification and validation of software systems
View Professor Profile
Professor
Professor Profile
Andreas Brännström
Umeå University Sweden
interactive system verification
View Professor Profile
Professor
Professor Profile
Barbara Kraus
Technical University of Munich Germany
quantum verification
View Professor Profile
Professor
Professor Profile
Sergio Albeverio
University of Bonn Germany
infinite dimensional analysis
View Professor Profile
Professor
Professor Profile
Azalea Raad
Imperial College London United Kingdom
state-less model checking
View Professor Profile
Professor
Professor Profile
Professor
Linköping University Sweden
software system verification
View Professor Profile
Professor
Professor Profile
Lukas Holik
Aalborg University Denmark
verification computing systems
View Professor Profile
Professor
Professor Profile
James Robinson
University of Warwick United Kingdom
infinite-dimensional dynamical systems
View Professor Profile
Professor
Professor Profile
James Robinson
University of Warwick United Kingdom
infinite-dimensional dynamical systems
View Professor Profile
First
Prev
Page 1 | 115 Results
Next