Klaus Havelund

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory
E-mail confirmado em jpl.nasa.gov
Citado por 14024
formal methods program verification runtime verification specification languages programming languages
Sarfraz Khurshid

Sarfraz Khurshid

Professor, University of Texas at Austin
E-mail confirmado em ece.utexas.edu
Citado por 13619
software testing and verification debugging error recovery specification languages
Dejan Nickovic

Dejan Nickovic

Austrian Institute of Technology
E-mail confirmado em ait.ac.at
Citado por 5299
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 confirmado em uni.lu
Citado por 2161
software engineering verification specification languages formal methods
Ghaith Haddad

Ghaith Haddad

Director, Technology, Disney
E-mail confirmado em disney.com
Citado por 549
Technology Leader IoT Smart Grid Specification Languages JML
Cristiano Bertolini

Cristiano Bertolini

Researcher, Federal University of Santa Maria
E-mail confirmado em cin.ufpe.br
Citado por 377
Formal Methods Software Testing GUI Testing Specification Languages
Joshua Heneage Dawes

Joshua Heneage Dawes

Research Associate, SnT, University of Luxembourg
E-mail confirmado em uni.lu
Citado por 92
Static Analysis Dynamic Analysis Runtime Verification Performance Analysis Specification Languages
Jouke Stoel

Jouke Stoel

CWI
E-mail confirmado em cwi.nl
Citado por 51
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 confirmado em ciidet.edu.mx
Citado por 36
Offline partial evaluation specialization of interpreters Specification languages