Analysis Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
verification
probabilistic verification
quantitative analysis
software model checking
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
Kerstin Eder
University of Bristol United Kingdom
verification
formal verification
validation
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
software analysis
View Professor Profile
Professor
Professor Profile
Ruben Martins
Carnegie Mellon University United States of America
verification
analysis
malware analysis
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
Otmane Ait Mohamed
Concordia University Canada
hardware verification
quantitative analysis
model checking
View Professor Profile
Professor
Professor Profile
Natasha Sharygina
University of Lugano Switzerland
formal verification
program analysis
model checking
View Professor Profile
Professor
Professor Profile
Koushik Sen
University of California, Berkeley United States of America
verification
model checking
performance evaluation
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
automated model-based verification
using model checking to verify real-time systems
formal validation
View Professor Profile
Professor
Professor Profile
Lukas Holik
Aalborg University Denmark
verification computing systems
applied analysis
analysis parallelism
View Professor Profile
Professor
Professor Profile
Alexander Hauptmann
Carnegie Mellon University United States of America
image analysis
video analysis
audio analysis
View Professor Profile
Professor
Professor Profile
Tiejun Ma
University of Southampton United Kingdom
behavioural analysis
risk analysis
big data analysis
View Professor Profile
Professor
Professor Profile
Maribel Fernandez
King's College London United Kingdom
analysis and verification
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
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
automated verification testing
software verification
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
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
Clark Barrett
Stanford University United States of America
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
specification verification
verification
View Professor Profile
Professor
Professor Profile
Randal Bryant
Carnegie Mellon University United States of America
software verification
formal verification
View Professor Profile
First
Prev
Page 1 | 4755 Results
Next