Marta Kwiatkowska

Marta Kwiatkowska

Professor of Computing Systems, University of Oxford
在 comlab.ox.ac.uk 的电子邮件经过验证
被引用次数：27609
Computer Science Automated Verification Probabilistic/Quantitative Model Checking
David Parker

David Parker

Professor of Computer Science, University of Oxford
在 cs.ox.ac.uk 的电子邮件经过验证
被引用次数：16629
Automated Verification Probabilistic Model Checking
Daniel Kroening

Daniel Kroening

Amazon
在 amazon.com 的电子邮件经过验证
被引用次数：16172
Automated verification testing
Cas Cremers

Cas Cremers

CISPA Helmholtz Center for Information Security
在 cispa.de 的电子邮件经过验证
被引用次数：9375
Security Computer Security Information Security Cryptography Automated Verification
Tevfik Bultan

Tevfik Bultan

Professor of Computer Science, University of California, Santa Barbara
在 cs.ucsb.edu 的电子邮件经过验证
被引用次数：7748
software engineering automated verification static analysis formal methods
Luke Ong

Luke Ong

Distinguished University Professor, Nanyang Technological University
在 ntu.edu.sg 的电子邮件经过验证
被引用次数：6148
Bayesian Statistical Probabilistic … Semantics of Computation Automated Verification Programming Languages Logic a
Kousha Etessami

Kousha Etessami

University of Edinburgh
在 inf.ed.ac.uk 的电子邮件经过验证
被引用次数：4981
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
在 imm.dtu.dk 的电子邮件经过验证
被引用次数：4432
Formal Methods Security Automated Verification
Gwen Salaün

Gwen Salaün

Université Grenoble Alpes, LIG, Inria
在 inria.fr 的电子邮件经过验证
被引用次数：3709
Formal Methods Automated Verification Distributed Systems Software Engineering
Wenjie Ruan

Wenjie Ruan

Senior Lecturer, University of Exeter
在 cs.ox.ac.uk 的电子邮件经过验证
被引用次数：3171
AI Safety Robust Deep Learning Automated Verification Health Data Analytics Data Modeling
1 - 10