Edmund Clarke

Edmund Clarke

University Professor Emeritus at Carnegie Mellon University
在 cs.cmu.edu 的电子邮件经过验证
被引用次数：88537
Formal methods Model Checking
Orna Grumberg

Orna Grumberg

Professor of Computer Science, Technion
在 cs.technion.ac.il 的电子邮件经过验证
被引用次数：32752
Formal verification model checking
Zhen Zhang

Zhen Zhang

Assistant Professor, Utah State University
在 usu.edu 的电子邮件经过验证
被引用次数：29712
Formal Verification Stochastic Model Checking Model Checking Cyber-Physical Systems Synthetic Biology
Joost-Pieter Katoen

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …
在 cs.rwth-aachen.de 的电子邮件经过验证
被引用次数：28643
formal methods model checking concurrency theory probabilistic programming program verification
Doron A. Peled

Doron A. Peled

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

Armin Biere

Professor of Computer Science, University of Freiburg
在 informatik.uni-freiburg.de 的电子邮件经过验证
被引用次数：24311
Satisfiability Automated Reasoning Formal Verification Model Checking Debugging
Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler
在 fbk.eu 的电子邮件经过验证
被引用次数：24105
Formal Verification Model Checking SMT Automated Planning FDIR
Aravinda Prasad Sistla

Aravinda Prasad Sistla

Professor of Computer Science, University of Illinois at Chicago
在 uic.edu 的电子邮件经过验证
被引用次数：18592
Formal Methods Model checking Verification of Concurrent Systems Security Database Systems
Kurt Jensen

Kurt Jensen

Professor of Computer Science, Aarhus University
在 cs.au.dk 的电子邮件经过验证
被引用次数：18174
Coloured Petri Nets Concurrency Petri Nets Model Checking State Spaces
Rupak Majumdar

Rupak Majumdar

MPI for Software Systems
在 mpi-sws.org 的电子邮件经过验证
被引用次数：17901
verification model checking automated reasoning
1 - 10