System Level Design Verification Methodologies Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Andreas Gerstlauer
University of Texas at Austin United States of America
design methodologies
electronic system-level design
system modeling
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
software verification
hardware verification
system design
View Professor Profile
Professor
Professor Profile
Hakan Erdogmus
Carnegie Mellon University United States of America
software testing and verification
empirical evaluation of software development methods
software quality measurement
View Professor Profile
Professor
Professor Profile
Hiren Patel
University of Waterloo Canada
system-level design verification methodologies
hardware software co-design methodologies
View Professor Profile
Professor
Professor Profile
Alireza Rahbari
Australian National University Australia
system-level modeling
dynamic system-level simulation
View Professor Profile
Professor
Professor Profile
Maria Yang
Massachusetts Institute of Technology United States of America
system-level design
design methods
View Professor Profile
Professor
Professor Profile
Jessica Chen
University of Windsor Canada
software design testing
formal specification verification
View Professor Profile
Professor
Professor Profile
Brent Jesiek
Purdue University United States of America
software development methodologies
hardware development methodologies
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
using model checking to verify real-time systems
automated model-based 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
Yvan Labiche
Carleton University Canada
software verification
software validation
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Francisco Esparza Estaun
Technical University of Munich Germany
software verification
error detection in software systems
View Professor Profile
Professor
Professor Profile
Maribel Fernandez
King's College London United Kingdom
software verification
analysis and verification
View Professor Profile
Professor
Professor Profile
Limin Jia
Carnegie Mellon University United States of America
formal software verification
network verification
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
software verification
automated verification testing
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
David Rancourt
University of Sherbrooke Canada
system design
design methods
View Professor Profile
Professor
Professor Profile
Ronghui Gu
Columbia University United States of America
systems verification
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
systems verification
View Professor Profile
Professor
Professor Profile
Katcha Winther
Technical University of Denmark Denmark
design verification
View Professor Profile
First
Prev
Page 1 | 369 Results
Next