Validation Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
validation
verification
formal verification
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
verification
probabilistic verification
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
formal verification
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
verification & validation
simulation
model-checking
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
Xujie Si
University of Toronto Canada
verification
automated software verification
testing
View Professor Profile
Professor
Professor Profile
Lei Feng
KTH Royal Institute of Technology Sweden
verification
simulation
model checking
View Professor Profile
Professor
Professor Profile
Anna Hartman
Australian National University Australia
authenticity
credibility
legitimacy
View Professor Profile
Professor
Professor Profile
Søren Christensen
Aarhus University Denmark
validation
verification
View Professor Profile
Professor
Professor Profile
Robert Gracie
University of Waterloo Canada
validation
verification
View Professor Profile
Professor
Professor Profile
Daniel Dig
University of Illinois United States of America
validation
verification
View Professor Profile
Professor
Professor Profile
Jamal Bentahar
Concordia University Canada
validation
automatic verification
View Professor Profile
Professor
Professor Profile
Lionel Briand
University of Ottawa Canada
validation
software verification
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
validation
software verification
View Professor Profile
Professor
Professor Profile
David Houngninou
Texas A&M University United States of America
validation
hardware formal verification
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software validation
software verification
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
formal validation
automated model-based verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
verification
specification 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
Peter Chien
University of Wisconsin–Madison United States of America
verification
validation uncertainty quantification
View Professor Profile
First
Prev
Page 1 | 966 Results
Next