פרופילים

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

כתובת אימייל מאומתת בדומיין cs.biu.ac.il

צוטט על ידי 27728

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Insup Lee

Professor, Computer and Information Science, University of Pennsylvania

כתובת אימייל מאומתת בדומיין cis.upenn.edu

צוטט על ידי 26533

Real-time systems Real-Time Embedded Systems Cyber Physical Systems runtime verification trust management

Grigore Rosu

University of Illinois at Urbana Champaign

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

צוטט על ידי 16125

Formal Methods Programming Languages Software Engineering Runtime Verification

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

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

צוטט על ידי 14121

formal methods program verification runtime verification specification languages programming languages

Scott A. Smolka

Professor of Computer Science, Stony Brook University

כתובת אימייל מאומתת בדומיין cs.sunysb.edu

צוטט על ידי 11646

Model Checking Runtime Verification Computational Biology

Oleg Sokolsky

University of Pennsylvania

כתובת אימייל מאומתת בדומיין cis.upenn.edu

צוטט על ידי 10438

Software design and software architecture for … formal methods runtime verification

Ezio Bartocci

Faculty of Informatics, TU Wien

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

צוטט על ידי 6037

Cyber-Physical Systems Internet of Things Runtime Verification Hybrid-Systems

Dejan Nickovic

Austrian Institute of Technology

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

צוטט על ידי 5489

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

Luca Aceto

Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L' …

כתובת אימייל מאומתת בדומיין ru.is

צוטט על ידי 5040

Concurrency theory runtime verification structural operational semantics logic in computer science

Yliès Falcone

Univ. Grenoble Alpes and Inria

כתובת אימייל מאומתת בדומיין univ-grenoble-alpes.fr

צוטט על ידי 4250

formal methods software engineering runtime verification autonomous and distributed systems cybersecurity

1 - 10