Profiler

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Verifierad e-postadress på cs.biu.ac.il

Citerat av 27729

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Insup Lee

Professor, Computer and Information Science, University of Pennsylvania

Verifierad e-postadress på cis.upenn.edu

Citerat av 26540

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

Grigore Rosu

University of Illinois at Urbana Champaign

Verifierad e-postadress på illinois.edu

Citerat av 16126

Formal Methods Programming Languages Software Engineering Runtime Verification

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

Verifierad e-postadress på jpl.nasa.gov

Citerat av 14126

formal methods program verification runtime verification specification languages programming languages

Scott A. Smolka

Professor of Computer Science, Stony Brook University

Verifierad e-postadress på cs.sunysb.edu

Citerat av 11653

Model Checking Runtime Verification Computational Biology

Oleg Sokolsky

University of Pennsylvania

Verifierad e-postadress på cis.upenn.edu

Citerat av 10440

Software design and software architecture for … formal methods runtime verification

Ezio Bartocci

Faculty of Informatics, TU Wien

Verifierad e-postadress på tuwien.ac.at

Citerat av 6041

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

Dejan Nickovic

Austrian Institute of Technology

Verifierad e-postadress på ait.ac.at

Citerat av 5495

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

Verifierad e-postadress på ru.is

Citerat av 5040

Concurrency theory runtime verification structural operational semantics logic in computer science

Yliès Falcone

Univ. Grenoble Alpes and Inria

Verifierad e-postadress på univ-grenoble-alpes.fr

Citerat av 4251

formal methods software engineering runtime verification autonomous and distributed systems cybersecurity

1 - 10