Profiles

Edmund Clarke

University Professor Emeritus at Carnegie Mellon University

Verified email at cs.cmu.edu

Cited by 88419

Formal methods Model Checking

Orna Grumberg

Professor of Computer Science, Technion

Verified email at cs.technion.ac.il

Cited by 32711

Formal verification model checking

Zhen Zhang

Assistant Professor, Utah State University

Verified email at usu.edu

Cited by 29237

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

Joost-Pieter Katoen

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

Verified email at cs.rwth-aachen.de

Cited by 28526

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 27113

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 24212

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging

Alessandro Cimatti

Fondazione Bruno Kessler

Verified email at fbk.eu

Cited by 24140

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 18577

Formal Methods Model checking Verification of Concurrent Systems Security Database Systems

Kurt Jensen

Professor of Computer Science, Aarhus University

Verified email at cs.au.dk

Cited by 18295

Coloured Petri Nets Concurrency Petri Nets Model Checking State Spaces

Rupak Majumdar

MPI for Software Systems

Verified email at mpi-sws.org

Cited by 17884

verification model checking automated reasoning

1 - 10