Profilok

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

E-mail megerősítve itt: cs.biu.ac.il

Idézetek száma: 27728

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Insup Lee

Professor, Computer and Information Science, University of Pennsylvania

E-mail megerősítve itt: cis.upenn.edu

Idézetek száma: 26533

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

Grigore Rosu

University of Illinois at Urbana Champaign

E-mail megerősítve itt: illinois.edu

Idézetek száma: 16125

Formal Methods Programming Languages Software Engineering Runtime Verification

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

E-mail megerősítve itt: jpl.nasa.gov

Idézetek száma: 14126

formal methods program verification runtime verification specification languages programming languages

Scott A. Smolka

Professor of Computer Science, Stony Brook University

E-mail megerősítve itt: cs.sunysb.edu

Idézetek száma: 11653

Model Checking Runtime Verification Computational Biology

Oleg Sokolsky

University of Pennsylvania

E-mail megerősítve itt: cis.upenn.edu

Idézetek száma: 10438

Software design and software architecture for … formal methods runtime verification

Ezio Bartocci

Faculty of Informatics, TU Wien

E-mail megerősítve itt: tuwien.ac.at

Idézetek száma: 6037

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

Dejan Nickovic

Austrian Institute of Technology

E-mail megerősítve itt: ait.ac.at

Idézetek száma: 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' …

E-mail megerősítve itt: ru.is

Idézetek száma: 5040

Concurrency theory runtime verification structural operational semantics logic in computer science

Yliès Falcone

Univ. Grenoble Alpes and Inria

E-mail megerősítve itt: univ-grenoble-alpes.fr

Idézetek száma: 4251

formal methods software engineering runtime verification autonomous and distributed systems cybersecurity

1 - 10