Profielen

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Geverifieerd e-mailadres voor cs.biu.ac.il

Geciteerd door 27708

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Insup Lee

Professor, Computer and Information Science, University of Pennsylvania

Geverifieerd e-mailadres voor cis.upenn.edu

Geciteerd door 26450

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

Grigore Rosu

University of Illinois at Urbana Champaign

Geverifieerd e-mailadres voor illinois.edu

Geciteerd door 16048

Formal Methods Programming Languages Software Engineering Runtime Verification

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

Geverifieerd e-mailadres voor jpl.nasa.gov

Geciteerd door 14108

formal methods program verification runtime verification specification languages programming languages

Scott A. Smolka

Professor of Computer Science, Stony Brook University

Geverifieerd e-mailadres voor cs.sunysb.edu

Geciteerd door 11633

Model Checking Runtime Verification Computational Biology

Oleg Sokolsky

University of Pennsylvania

Geverifieerd e-mailadres voor cis.upenn.edu

Geciteerd door 10422

Software design and software architecture for … formal methods runtime verification

Ezio Bartocci

Faculty of Informatics, TU Wien

Geverifieerd e-mailadres voor tuwien.ac.at

Geciteerd door 6012

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

Dejan Nickovic

Austrian Institute of Technology

Geverifieerd e-mailadres voor ait.ac.at

Geciteerd door 5475

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

Geverifieerd e-mailadres voor ru.is

Geciteerd door 5031

Concurrency theory runtime verification structural operational semantics logic in computer science

Yliès Falcone

Univ. Grenoble Alpes and Inria

Geverifieerd e-mailadres voor univ-grenoble-alpes.fr

Geciteerd door 4242

formal methods software engineering runtime verification autonomous and distributed systems cybersecurity

1 - 10