โปรไฟล์

Edmund Clarke

University Professor Emeritus at Carnegie Mellon University

ยืนยันอีเมลแล้วที่ cs.cmu.edu

อ้างโดย90914

Formal methods Model Checking

Zhen Zhang

Assistant Professor, Utah State University

ยืนยันอีเมลแล้วที่ usu.edu

อ้างโดย42779

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

Orna Grumberg

Professor of Computer Science, Technion

ยืนยันอีเมลแล้วที่ cs.technion.ac.il

อ้างโดย33521

Formal verification model checking

Lijun Zhang

Institute of Software, Chinese Academy of Sciences

ยืนยันอีเมลแล้วที่ ios.ac.cn

อ้างโดย31022

probabilistic theory model checking trustworthy AI

Joost-Pieter Katoen

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

ยืนยันอีเมลแล้วที่ cs.rwth-aachen.de

อ้างโดย30378

formal methods model checking concurrency theory probabilistic programming program verification

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

ยืนยันอีเมลแล้วที่ cs.biu.ac.il

อ้างโดย27729

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Armin Biere

Professor of Computer Science, University of Freiburg

ยืนยันอีเมลแล้วที่ informatik.uni-freiburg.de

อ้างโดย25952

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging

Alessandro Cimatti

Fondazione Bruno Kessler

ยืนยันอีเมลแล้วที่ fbk.eu

อ้างโดย25190

Formal Verification Model Checking SMT Automated Planning FDIR

Aravinda Prasad Sistla

Professor of Computer Science, University of Illinois at Chicago

ยืนยันอีเมลแล้วที่ uic.edu

อ้างโดย18892

Formal Methods Model checking Verification of Concurrent Systems Security Database Systems

Rupak Majumdar

MPI for Software Systems

ยืนยันอีเมลแล้วที่ mpi-sws.org

อ้างโดย18722

verification model checking automated reasoning

1 - 10