Verification Of Production Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
probabilistic verification
verification
software model checking
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
formal verification
verification
validation
View Professor Profile
Professor
Professor Profile
Yongkuk Jeong
KTH Royal Institute of Technology Sweden
sustainable production systems
manufacturing simulation
production logistics
View Professor Profile
Professor
Professor Profile
Yongkuk Jeong
KTH Royal Institute of Technology Sweden
sustainable production systems
manufacturing simulation
production logistics
View Professor Profile
Professor
Professor Profile
Mike Graul
Texas A&M University United States of America
production system design analysis
overhaul production systems
system simulation
View Professor Profile
Professor
Professor Profile
Christina Reuter
Technical University of Munich Germany
sustainable production systems
production management
production logistics
View Professor Profile
Professor
Professor Profile
Salim Ahmed
Memorial University of Newfoundland Canada
system identification
process control
process systems
View Professor Profile
Professor
Professor Profile
Lars Wingård
KTH Royal Institute of Technology Sweden
production management
industrial systems
computer-aided manufacturing
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
system verification
formal verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
software verification
automated verification
View Professor Profile
Professor
Professor Profile
Randal Bryant
Carnegie Mellon University United States of America
software verification
formal verification
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
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
software verification
automated verification testing
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
software specification and verification
formal verification
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
View Professor Profile
Professor
Professor Profile
Mark Aagaard
University of Waterloo Canada
design verification
formal verification
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
program verification
formal verification
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
specification verification
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
Alessio Lomuscio
Imperial College London United Kingdom
verification of neural networks
verification of neuro-symbolic systems
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
View Professor Profile
First
Prev
Page 1 | 847 Results
Next