Profili

Edmund Clarke

University Professor Emeritus at Carnegie Mellon University

Preverjeni e-poštni naslov na cs.cmu.edu

Navedeno v 90899 virih

Formal methods Model Checking

Zhen Zhang

Assistant Professor, Utah State University

Preverjeni e-poštni naslov na usu.edu

Navedeno v 42760 virih

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

Orna Grumberg

Professor of Computer Science, Technion

Preverjeni e-poštni naslov na cs.technion.ac.il

Navedeno v 33517 virih

Formal verification model checking

Lijun Zhang

Institute of Software, Chinese Academy of Sciences

Preverjeni e-poštni naslov na ios.ac.cn

Navedeno v 31013 virih

probabilistic theory model checking trustworthy AI

Joost-Pieter Katoen

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

Preverjeni e-poštni naslov na cs.rwth-aachen.de

Navedeno v 30371 virih

formal methods model checking concurrency theory probabilistic programming program verification

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Preverjeni e-poštni naslov na cs.biu.ac.il

Navedeno v 27728 virih

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Armin Biere

Professor of Computer Science, University of Freiburg

Preverjeni e-poštni naslov na informatik.uni-freiburg.de

Navedeno v 25948 virih

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging

Alessandro Cimatti

Fondazione Bruno Kessler

Preverjeni e-poštni naslov na fbk.eu

Navedeno v 25189 virih

Formal Verification Model Checking SMT Automated Planning FDIR

Aravinda Prasad Sistla

Professor of Computer Science, University of Illinois at Chicago

Preverjeni e-poštni naslov na uic.edu

Navedeno v 18891 virih

Formal Methods Model checking Verification of Concurrent Systems Security Database Systems

Rupak Majumdar

MPI for Software Systems

Preverjeni e-poštni naslov na mpi-sws.org

Navedeno v 18718 virih

verification model checking automated reasoning

1 - 10