Joost-Pieter Katoen

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …
在 cs.rwth-aachen.de 的电子邮件经过验证
被引用次数：28643
formal methods model checking concurrency theory probabilistic programming program verification
Doron A. Peled

Doron A. Peled

Professor Of Computer Science, Bar Ilan University
在 cs.biu.ac.il 的电子邮件经过验证
被引用次数：27150
Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis
Gul Agha

Gul Agha

Professor of Computer Science, University of Illinois at Urbana-Champaign and CEO …
在 illinois.edu 的电子邮件经过验证
被引用次数：22504
Programming Languages Concurrency Theory Formal Methods Software Engineering Sensor Networks
Javier Esparza

Javier Esparza

Professor of Computer Science, Technical University of Munich
在 in.tum.de 的电子邮件经过验证
被引用次数：13059
Verification Automata Theory Concurrency Theory
Frits W. Vaandrager

Frits W. Vaandrager

Professor of Computer Science, Radboud University
在 cs.ru.nl 的电子邮件经过验证
被引用次数：11722
Formal Methods Concurrency Theory Verification Model Checking Automata Learning
Rocco De Nicola

Rocco De Nicola

Professor of Computer Science, IMT Lucca
在 imtlucca.it 的电子邮件经过验证
被引用次数：11360
Concurrency Theory Programming Languages Formal Methods Distributed Systems Cybersecurity
Rob van Glabbeek

Rob van Glabbeek

UNSW
在 cs.stanford.edu 的电子邮件经过验证
被引用次数：10632
Concurrency concurrency theory process algebra formal methods temporal logic
Catuscia Palamidessi

Catuscia Palamidessi

Inria
在 lix.polytechnique.fr 的电子邮件经过验证
被引用次数：10371
Differential privacy machine learning fairness quantitative information flow concurrency theory
Ahmed Bouajjani

Ahmed Bouajjani

Professor Computer Science, Université Paris Cité
在 irif.fr 的电子邮件经过验证
被引用次数：8902
Verification program verification concurrency concurrency theory automata
Mahesh Viswanathan

Mahesh Viswanathan

University of Illinois, Urbana-Champaign
在 illinois.edu 的电子邮件经过验证
被引用次数：7172
formal verification automata theory concurrency theory logic
1 - 10