פרופילים

פרופילים

הפרופיל שלי הספרייה שלי

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

כתובת אימייל מאומתת בדומיין jpl.nasa.gov

צוטט על ידי 14121

formal methods program verification runtime verification specification languages programming languages

Sarfraz Khurshid

Professor, University of Texas at Austin

כתובת אימייל מאומתת בדומיין ece.utexas.edu

צוטט על ידי 13755

software testing and verification debugging error recovery specification languages

Dejan Nickovic

Austrian Institute of Technology

כתובת אימייל מאומתת בדומיין ait.ac.at

צוטט על ידי 5489

runtime verification cyber-physical systems contract-based design specification languages model-based testing

Domenico Bianculli

Associate Professor/Chief Scientist 2, University of Luxembourg, Luxembourg

כתובת אימייל מאומתת בדומיין uni.lu

צוטט על ידי 2270

software engineering verification specification languages formal methods

Ghaith Haddad

Director, Technology, Disney

כתובת אימייל מאומתת בדומיין disney.com

צוטט על ידי 559

Technology Leader IoT Smart Grid Specification Languages JML

Cristiano Bertolini

Researcher, Federal University of Santa Maria

כתובת אימייל מאומתת בדומיין cin.ufpe.br

צוטט על ידי 380

Formal Methods Software Testing GUI Testing Specification Languages

Joshua Heneage Dawes

Research Associate, SnT, University of Luxembourg

כתובת אימייל מאומתת בדומיין uni.lu

צוטט על ידי 98

Static Analysis Dynamic Analysis Runtime Verification Performance Analysis Specification Languages

Jouke Stoel

CWI

כתובת אימייל מאומתת בדומיין cwi.nl

צוטט על ידי 52

software language engineering domain specific languages specification languages relational logic and modelling SMT solving

Gustavo Arroyo Delgado

Profesor titular del CIIDET

כתובת אימייל מאומתת בדומיין ciidet.edu.mx

צוטט על ידי 36

Offline partial evaluation specialization of interpreters Specification languages