Marta Kwiatkowska

Marta Kwiatkowska

Professor of Computing Systems, University of Oxford
Vahvistettu sähköpostiosoite verkkotunnuksessa comlab.ox.ac.uk
Viittausten määrä 28616
Computer Science Automated Verification Probabilistic/Quantitative Model Checking
David Parker

David Parker

Professor of Computer Science, University of Oxford
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.ox.ac.uk
Viittausten määrä 17356
Automated Verification Probabilistic Model Checking
Daniel Kroening

Daniel Kroening

Amazon
Vahvistettu sähköpostiosoite verkkotunnuksessa amazon.com
Viittausten määrä 16945
Automated verification testing
Cas Cremers

Cas Cremers

CISPA Helmholtz Center for Information Security
Vahvistettu sähköpostiosoite verkkotunnuksessa cispa.de
Viittausten määrä 10273
Security Computer Security Information Security Cryptography Automated Verification
Tevfik Bultan

Tevfik Bultan

Professor of Computer Science, University of California, Santa Barbara
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.ucsb.edu
Viittausten määrä 7935
software engineering automated verification static analysis formal methods
Luke Ong

Luke Ong

Distinguished University Professor, Nanyang Technological University
Vahvistettu sähköpostiosoite verkkotunnuksessa ntu.edu.sg
Viittausten määrä 6333
Bayesian Statistical Probabilistic … Semantics of Computation Automated Verification Programming Languages Logic a
Kousha Etessami

Kousha Etessami

University of Edinburgh
Vahvistettu sähköpostiosoite verkkotunnuksessa inf.ed.ac.uk
Viittausten määrä 5119
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
Vahvistettu sähköpostiosoite verkkotunnuksessa imm.dtu.dk
Viittausten määrä 4589
Formal Methods Security Automated Verification
Wenjie Ruan

Wenjie Ruan

Senior Lecturer, University of Exeter
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.ox.ac.uk
Viittausten määrä 3777
AI Safety Robust Deep Learning Automated Verification Health Data Analytics Data Modeling
Gwen Salaün

Gwen Salaün

Université Grenoble Alpes, LIG, Inria
Vahvistettu sähköpostiosoite verkkotunnuksessa inria.fr
Viittausten määrä 3775
Formal Methods Automated Verification Distributed Systems Software Engineering
1 - 10