Klaus Havelund

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory
E-mail megerősítve itt: jpl.nasa.gov
Idézetek száma: 14126
formal methods program verification runtime verification specification languages programming languages
Sarfraz Khurshid

Sarfraz Khurshid

Professor, University of Texas at Austin
E-mail megerősítve itt: ece.utexas.edu
Idézetek száma: 13759
software testing and verification debugging error recovery specification languages
Dejan Nickovic

Dejan Nickovic

Austrian Institute of Technology
E-mail megerősítve itt: ait.ac.at
Idézetek száma: 5495
runtime verification cyber-physical systems contract-based design specification languages model-based testing
Domenico Bianculli

Domenico Bianculli

Associate Professor/Chief Scientist 2, University of Luxembourg, Luxembourg
E-mail megerősítve itt: uni.lu
Idézetek száma: 2271
software engineering verification specification languages formal methods
Ghaith Haddad

Ghaith Haddad

Director, Technology, Disney
E-mail megerősítve itt: disney.com
Idézetek száma: 559
Technology Leader IoT Smart Grid Specification Languages JML
Cristiano Bertolini

Cristiano Bertolini

Researcher, Federal University of Santa Maria
E-mail megerősítve itt: cin.ufpe.br
Idézetek száma: 380
Formal Methods Software Testing GUI Testing Specification Languages
Joshua Heneage Dawes

Joshua Heneage Dawes

Research Associate, SnT, University of Luxembourg
E-mail megerősítve itt: uni.lu
Idézetek száma: 98
Static Analysis Dynamic Analysis Runtime Verification Performance Analysis Specification Languages
Jouke Stoel

Jouke Stoel

CWI
E-mail megerősítve itt: cwi.nl
Idézetek száma: 52
software language engineering domain specific languages specification languages relational logic and modelling SMT solving
Gustavo Arroyo Delgado

Gustavo Arroyo Delgado

Profesor titular del CIIDET
E-mail megerősítve itt: ciidet.edu.mx
Idézetek száma: 36
Offline partial evaluation specialization of interpreters Specification languages