Profiles

Edmund Clarke

University Professor Emeritus at Carnegie Mellon University

Verified email at cs.cmu.edu

Cited by 89894

Formal methods Model Checking

Lijun Zhang

Institute of Software, Chinese Academy of Sciences

Verified email at ios.ac.cn

Cited by 55748

probabilistic theory model checking trustworthy AI

Zhen Zhang

Assistant Professor, Utah State University

Verified email at usu.edu

Cited by 35140

Formal Verification Stochastic Model Checking Model Checking Cyber-Physical Systems Synthetic Biology

Orna Grumberg

Professor of Computer Science, Technion

Verified email at cs.technion.ac.il

Cited by 33189

Formal verification model checking

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …

Verified email at cs.rwth-aachen.de

Cited by 29576

formal methods model checking concurrency theory probabilistic programming program verification

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Verified email at cs.biu.ac.il

Cited by 27474

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Armin Biere

Professor of Computer Science, University of Freiburg

Verified email at informatik.uni-freiburg.de

Cited by 25276

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging

Alessandro Cimatti

Fondazione Bruno Kessler

Verified email at fbk.eu

Cited by 24764

Formal Verification Model Checking SMT Automated Planning FDIR

Aravinda Prasad Sistla

Professor of Computer Science, University of Illinois at Chicago

Verified email at uic.edu

Cited by 18728

Formal Methods Model checking Verification of Concurrent Systems Security Database Systems

Rupak Majumdar

MPI for Software Systems

Verified email at mpi-sws.org

Cited by 18400

verification model checking automated reasoning

1 - 10