Perfis

Joost-Pieter Katoen

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

Email confirmado em cs.rwth-aachen.de

Citado por 30371

formal methods model checking concurrency theory probabilistic programming program verification

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Email confirmado em cs.biu.ac.il

Citado por 27727

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Gul Agha

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

Email confirmado em illinois.edu

Citado por 23652

Programming Languages Concurrency Theory Formal Methods Software Engineering Sensor Networks

Javier Esparza

Professor of Computer Science, Technical University of Munich

Email confirmado em in.tum.de

Citado por 13456

Verification Automata Theory Concurrency Theory

Frits W. Vaandrager

Professor of Computer Science, Radboud University

Email confirmado em cs.ru.nl

Citado por 12128

Formal Methods Concurrency Theory Verification Model Checking Automata Learning

Rocco De Nicola

Professor of Computer Science, IMT Lucca

Email confirmado em imtlucca.it

Citado por 11914

Concurrency Theory Programming Languages Formal Methods Distributed Systems Cybersecurity

Catuscia Palamidessi

Inria

Email confirmado em lix.polytechnique.fr

Citado por 11060

Differential privacy machine learning fairness quantitative information flow concurrency theory

Rob van Glabbeek

UNSW

Email confirmado em cs.stanford.edu

Citado por 10972

Concurrency concurrency theory process algebra formal methods temporal logic

Ahmed Bouajjani

Professor Computer Science, Université Paris Cité

Email confirmado em irif.fr

Citado por 9180

Verification program verification concurrency concurrency theory automata

Robert de Simone

Directeur de Recherche, Inria

Email confirmado em inria.fr

Citado por 7640

Concurrency Theory embedded systems formal methods

1 - 10