State Less Model Checking 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
View Professor Profile
Professor
Professor Profile
Azalea Raad
Imperial College London United Kingdom
state-less model checking
View Professor Profile
Professor
Professor Profile
Sarfraz Khurshid
University of Texas at Austin United States of America
model checking
View Professor Profile
Professor
Professor Profile
Oleg Sokolsky
University of Pennsylvania United States of America
model checking
View Professor Profile
Professor
Professor Profile
Bernd Porr
University of Glasgow United Kingdom
model checking
View Professor Profile
Professor
Professor Profile
Esther Kim
Aalborg University Denmark
model checking
View Professor Profile
Professor
Professor Profile
Marco Rodriguez
Aalborg University Denmark
model checking
View Professor Profile
Professor
Professor Profile
Yehia Abd Alrahman
University of Gothenburg Sweden
model checking
View Professor Profile
Professor
Professor Profile
Lei Feng
KTH Royal Institute of Technology Sweden
model checking
View Professor Profile
Professor
Professor Profile
Nir Piterman
Chalmers University of Technology Sweden
model checking
View Professor Profile
Professor
Professor Profile
Mohamed Atig
Uppsala University Sweden
model checking
View Professor Profile
Professor
Professor Profile
Paul Brostean
Uppsala University Sweden
model checking
View Professor Profile
Professor
Professor Profile
Lei Feng
KTH Royal Institute of Technology Sweden
model checking
View Professor Profile
Professor
Professor Profile
Nir Piterman
University of Gothenburg Sweden
model checking
View Professor Profile
Professor
Professor Profile
Tim Willemse
Eindhoven University of Technology Belgium
model checking
View Professor Profile
Professor
Professor Profile
Anton Wijs
Eindhoven University of Technology Belgium
model checking
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
model checking
View Professor Profile
Professor
Professor Profile
Ryan Kirwan
Singapore Institute of Technology Singapore
model checking
View Professor Profile
Professor
Professor Profile
Sarfraz Khurshid
University of Texas at Austin United States of America
model checking
View Professor Profile
Professor
Professor Profile
Craig Mclaughlin
University of New South Wales Australia
model checking
View Professor Profile
Professor
Professor Profile
Natasha Sharygina
University of Lugano Switzerland
model checking
View Professor Profile
First
Prev
Page 1 | 63 Results
Next