Profile

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Bestätigte E-Mail-Adresse bei cs.biu.ac.il

Zitiert von: 27508

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Insup Lee

Professor, Computer and Information Science, University of Pennsylvania

Bestätigte E-Mail-Adresse bei cis.upenn.edu

Zitiert von: 26071

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

Grigore Rosu

University of Illinois at Urbana Champaign

Bestätigte E-Mail-Adresse bei illinois.edu

Zitiert von: 15532

Formal Methods Programming Languages Software Engineering Runtime Verification

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

Bestätigte E-Mail-Adresse bei jpl.nasa.gov

Zitiert von: 14027

formal methods program verification runtime verification specification languages programming languages

Scott A. Smolka

Professor of Computer Science, Stony Brook University

Bestätigte E-Mail-Adresse bei cs.sunysb.edu

Zitiert von: 11493

Model Checking Runtime Verification Computational Biology

Oleg Sokolsky

University of Pennsylvania

Bestätigte E-Mail-Adresse bei cis.upenn.edu

Zitiert von: 10342

Software design and software architecture for … formal methods runtime verification

Ezio Bartocci

Faculty of Informatics, TU Wien

Bestätigte E-Mail-Adresse bei tuwien.ac.at

Zitiert von: 5830

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

Dejan Nickovic

Austrian Institute of Technology

Bestätigte E-Mail-Adresse bei ait.ac.at

Zitiert von: 5305

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' …

Bestätigte E-Mail-Adresse bei ru.is

Zitiert von: 4972

Concurrency theory runtime verification structural operational semantics logic in computer science

Yliès Falcone

Univ. Grenoble Alpes and Inria

Bestätigte E-Mail-Adresse bei univ-grenoble-alpes.fr

Zitiert von: 4162

formal methods software engineering runtime verification autonomous and distributed systems cybersecurity

1 - 10