Verifiable Software Specifications Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
George Tsiknis
University of British Columbia Canada
software verification
software specification
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
software reliability
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
View Professor Profile
Professor
Professor Profile
Karthik Pattabiraman
University of British Columbia Canada
dependable software
software verification
secure software
reliable computing systems
View Professor Profile
Professor
Professor Profile
Carlo Furia
Università della Svizzera italiana Switzerland
software reliability
software quality
View Professor Profile
Professor
Professor Profile
Marieke Huisman
University of Twente Netherlands
software reliability
verification techniques
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
software quality
View Professor Profile
Professor
Professor Profile
Hakan Erdogmus
Carnegie Mellon University United States of America
software testing and verification
software quality measurement
View Professor Profile
Professor
Professor Profile
Cécile Péraire
Carnegie Mellon University United States of America
software quality
software requirements
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
software specification and verification
View Professor Profile
Professor
Professor Profile
Dilian Gurov
Royal Institute of Technology Sweden
software specification verification
View Professor Profile
Professor
Professor Profile
Thomas Sewell
University of New South Wales Australia
software verification
View Professor Profile
Professor
Professor Profile
Stephanie Balzer
Carnegie Mellon University United States of America
software verification
View Professor Profile
Professor
Professor Profile
Stephanie Weirich
University of Pennsylvania United States of America
software verification
View Professor Profile
Professor
Professor Profile
Steven Ramsay
University of Bristol United Kingdom
software verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
software verification
View Professor Profile
Professor
Professor Profile
Cristina David
University of Bristol United Kingdom
software verification
View Professor Profile
Professor
Professor Profile
Ruben Martins
Carnegie Mellon University United States of America
software verification
View Professor Profile
Professor
Professor Profile
David Basin
ETH Zurich Switzerland
software verification
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
software verification
View Professor Profile
Professor
Professor Profile
Francisco Esparza Estaun
Technical University of Munich Germany
software verification
View Professor Profile
First
Prev
Page 1 | 149 Results
Next