Marta Kwiatkowska

Marta Kwiatkowska

Professor of Computing Systems, University of Oxford
Dirección de correo verificada de comlab.ox.ac.uk
Citado por 28227
Computer Science Automated Verification Probabilistic/Quantitative Model Checking
David Parker

David Parker

Professor of Computer Science, University of Oxford
Dirección de correo verificada de cs.ox.ac.uk
Citado por 17010
Automated Verification Probabilistic Model Checking
Daniel Kroening

Daniel Kroening

Amazon
Dirección de correo verificada de amazon.com
Citado por 16630
Automated verification testing
Cas Cremers

Cas Cremers

CISPA Helmholtz Center for Information Security
Dirección de correo verificada de cispa.de
Citado por 9734
Security Computer Security Information Security Cryptography Automated Verification
Tevfik Bultan

Tevfik Bultan

Professor of Computer Science, University of California, Santa Barbara
Dirección de correo verificada de cs.ucsb.edu
Citado por 7844
software engineering automated verification static analysis formal methods
Luke Ong

Luke Ong

Distinguished University Professor, Nanyang Technological University
Dirección de correo verificada de ntu.edu.sg
Citado por 6223
Bayesian Statistical Probabilistic … Semantics of Computation Automated Verification Programming Languages Logic a
Kousha Etessami

Kousha Etessami

University of Edinburgh
Dirección de correo verificada de inf.ed.ac.uk
Citado por 5039
algorithms and complexity algorithmic game theory analysis of probabilistic systems automated verification logic
Sebastian Alexander Mödersheim

Sebastian Alexander Mödersheim

Associate Professor of Computer Science, Denmark's Technical University
Dirección de correo verificada de imm.dtu.dk
Citado por 4500
Formal Methods Security Automated Verification
Gwen Salaün

Gwen Salaün

Université Grenoble Alpes, LIG, Inria
Dirección de correo verificada de inria.fr
Citado por 3744
Formal Methods Automated Verification Distributed Systems Software Engineering
Wenjie Ruan

Wenjie Ruan

Senior Lecturer, University of Exeter
Dirección de correo verificada de cs.ox.ac.uk
Citado por 3364
AI Safety Robust Deep Learning Automated Verification Health Data Analytics Data Modeling
1 - 10