Doron A. Peled

Doron A. Peled

Professor Of Computer Science, Bar Ilan University
在 cs.biu.ac.il 的电子邮件经过验证
被引用次数：26497
Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis
Insup Lee

Insup Lee

Professor, Computer and Information Science, University of Pennsylvania
在 cis.upenn.edu 的电子邮件经过验证
被引用次数：23645
Real-time systems Real-Time Embedded Systems Cyber Physical Systems runtime verification trust management
Grigore Rosu

Grigore Rosu

University of Illinois at Urbana Champaign
在 illinois.edu 的电子邮件经过验证
被引用次数：14405
Formal Methods Programming Languages Software Engineering Runtime Verification
Klaus Havelund

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory
在 jpl.nasa.gov 的电子邮件经过验证
被引用次数：11310
formal methods program verification runtime verification specification languages programming languages
Scott A. Smolka

Scott A. Smolka

Professor of Computer Science, Stony Brook University
在 cs.sunysb.edu 的电子邮件经过验证
被引用次数：10812
Model Checking Runtime Verification Computational Biology
Oleg Sokolsky

Oleg Sokolsky

University of Pennsylvania
在 cis.upenn.edu 的电子邮件经过验证
被引用次数：9620
Software design and software architecture for … formal methods runtime verification
Ezio Bartocci

Ezio Bartocci

Faculty of Informatics, TU Wien
在 tuwien.ac.at 的电子邮件经过验证
被引用次数：4752
Cyber-Physical Systems Internet of Things Runtime Verification Hybrid-Systems Computational Systems Biology
Luca Aceto

Luca Aceto

Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L' …
在 ru.is 的电子邮件经过验证
被引用次数：4649
Concurrency theory runtime verification structural operational semantics logic in computer science
Dejan Nickovic

Dejan Nickovic

Austrian Institute of Technology
在 ait.ac.at 的电子邮件经过验证
被引用次数：4275
runtime verification cyber-physical systems contract-based design specification languages model-based testing
Yliès Falcone

Yliès Falcone

Univ. Grenoble Alpes and Inria
在 univ-grenoble-alpes.fr 的电子邮件经过验证
被引用次数：3564
formal methods software engineering runtime verification autonomous and distributed systems cybersecurity
1 - 10