Profiles

Joost-Pieter Katoen

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

Verified email at cs.rwth-aachen.de

Cited by 30340

formal methods model checking concurrency theory probabilistic programming program verification

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Verified email at cs.biu.ac.il

Cited by 27638

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Gul Agha

Professor of Comp. Science, University of Illinois at Urbana-Champaign & Chief Scientist …

Verified email at illinois.edu

Cited by 23231

Programming Languages Concurrency Theory Formal Methods Software Engineering Sensor Networks

Javier Esparza

Professor of Computer Science, Technical University of Munich

Verified email at in.tum.de

Cited by 13372

Verification Automata Theory Concurrency Theory

Frits W. Vaandrager

Professor of Computer Science, Radboud University

Verified email at cs.ru.nl

Cited by 12037

Formal Methods Concurrency Theory Verification Model Checking Automata Learning

Rocco De Nicola

Professor of Computer Science, IMT Lucca

Verified email at imtlucca.it

Cited by 11803

Concurrency Theory Programming Languages Formal Methods Distributed Systems Cybersecurity

Catuscia Palamidessi

Inria

Verified email at lix.polytechnique.fr

Cited by 10960

Differential privacy machine learning fairness quantitative information flow concurrency theory

Rob van Glabbeek

UNSW

Verified email at cs.stanford.edu

Cited by 10867

Concurrency concurrency theory process algebra formal methods temporal logic

Ahmed Bouajjani

Professor Computer Science, Université Paris Cité

Verified email at irif.fr

Cited by 9092

Verification program verification concurrency concurrency theory automata

Mahesh Viswanathan

University of Illinois, Urbana-Champaign

Verified email at illinois.edu

Cited by 7463

formal verification automata theory concurrency theory logic

1 - 10