Using Model Checking To Verify Real Time Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
software model checking
probabilistic model checking
automated verification
probabilistic verification
verification
View Professor Profile
Professor
Professor Profile
Lei Feng
KTH Royal Institute of Technology Sweden
model checking
testing distributed real-time embedded systems
modeling
model-based design
verification
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
model checking
automated model-based verification
real-time systems
model-driven engineering
View Professor Profile
Professor
Professor Profile
Marius Mikučionis
Aalborg University Denmark
statistical model-checking
real-time systems
software validation
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
model-checking
modeling
verification & validation
View Professor Profile
Professor
Professor Profile
Lei Feng
KTH Royal Institute of Technology Sweden
model checking
testing distributed real-time embedded systems
model-based design
verification
View Professor Profile
Professor
Professor Profile
Pablo Tarazaga
Texas A&M University United States of America
model validation
model updating
model reduction
View Professor Profile
Professor
Professor Profile
Adam Darwich
Royal Institute of Technology Sweden
modeling
real-world evidence
real-world data
View Professor Profile
Professor
Professor Profile
Juergen Dingel
Queen's University Canada
software modeling
model-driven engineering
verification
View Professor Profile
Professor
Professor Profile
Tim Willemse
Eindhoven University of Technology Belgium
model checking
software verification
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
model checking
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Ansgar Fehnker
Macquarie University Australia
model checking
software verification
View Professor Profile
Professor
Professor Profile
Koushik Sen
University of California, Berkeley United States of America
model checking
verification
View Professor Profile
Professor
Professor Profile
Hadas Kress-gazit
Cornell University Netherlands
model checking
verification
View Professor Profile
Professor
Professor Profile
Hadas Kress-gazit
Cornell University Netherlands
model checking
verification
View Professor Profile
Professor
Professor Profile
Cable Kurwitz
Texas A&M University United States of America
model validation
modeling
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
real-time systems
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Paul Pop
Technical University of Denmark Denmark
real-time systems
modeling
View Professor Profile
Professor
Professor Profile
Marta Kwiatkowska
University of Oxford United Kingdom
probabilistic model checking
automated verification
View Professor Profile
Professor
Professor Profile
Insup Lee
University of Pennsylvania United States of America
real-time systems
runtime verification
real-time embedded systems
View Professor Profile
Professor
Professor Profile
Gabriel Wainer
Carleton University Canada
real-time modeling
real-time operating systems
View Professor Profile
First
Prev
Page 1 | 1055 Results
Next