Verification And Validation Professors in Global

Showing 21 of 915 results Data last updated:

Search By
Location
Location
Searching Globally
Professor
Kerstin Eder Professor Profile

Kerstin Eder

University of Bristol United Kingdom
verification
validation
formal verification
View Professor Profile
Professor
David Parker Professor Profile

David Parker

University of Oxford United Kingdom
verification
automated verification
probabilistic verification
View Professor Profile
Professor
David Dill Professor Profile

David Dill

Stanford University United States of America
formal verification
software verification
hardware verification
View Professor Profile
Professor

Eun-young Kang

University of Southern Denmark Denmark
verification & validation
model-checking
dependability & reliability
View Professor Profile
Professor
Jeroen Keiren Professor Profile

Jeroen Keiren

Eindhoven University of Technology Belgium
software verification
hardware verification
model checking
View Professor Profile
Professor

Chen-wei Wang

York University Canada
formal validation
automated model-based verification
using model checking to verify real-time systems
View Professor Profile
Professor
Robert Gracie Professor Profile

Robert Gracie

University of Waterloo Canada
verification
validation
View Professor Profile
Professor

Søren Christensen

Aarhus University Denmark
verification
validation
View Professor Profile
Professor

Daniel Dig

University of Illinois United States of America
verification
validation
View Professor Profile
Professor
Maribel Fernandez Professor Profile

Maribel Fernandez

King's College London United Kingdom
analysis and verification
software verification
View Professor Profile
Professor
Jamal Bentahar Professor Profile

Jamal Bentahar

Concordia University Canada
validation
automatic verification
View Professor Profile
Professor
Lionel Briand Professor Profile

Lionel Briand

University of Ottawa Canada
validation
software verification
View Professor Profile
Professor

Denise Woit

Toronto Metropolitan University Canada
validation
software verification
View Professor Profile
Professor

Clare Dixon

University of Manchester United Kingdom
verification
specification verification
View Professor Profile
Professor
Xujie Si Professor Profile

Xujie Si

University of Toronto Canada
verification
automated software verification
View Professor Profile
Professor
Andrzej Murawski Professor Profile

Andrzej Murawski

University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor

Viktor Kuncak

École Polytechnique Fédérale de Lausanne Switzerland
systems verification
formal verification
View Professor Profile
Professor
David Houngninou Professor Profile

David Houngninou

Texas A&M University United States of America
validation
hardware formal verification
View Professor Profile
Professor

Jaco Van De Pol

Aarhus University Denmark
formal verification
software specification and verification
View Professor Profile
Professor
Randal Bryant Professor Profile

Randal Bryant

Carnegie Mellon University United States of America
formal verification
software verification
View Professor Profile
Professor
Yvan Labiche Professor Profile

Yvan Labiche

Carleton University Canada
software verification
software validation
View Professor Profile
First
Prev
Page 1 | 915 Results
Next