Profilok

Joost-Pieter Katoen

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

E-mail megerősítve itt: cs.rwth-aachen.de

Idézetek száma: 30378

formal methods model checking concurrency theory probabilistic programming program verification

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

E-mail megerősítve itt: cs.biu.ac.il

Idézetek száma: 27729

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Gul Agha

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

E-mail megerősítve itt: illinois.edu

Idézetek száma: 23655

Programming Languages Concurrency Theory Formal Methods Software Engineering Sensor Networks

Javier Esparza

Professor of Computer Science, Technical University of Munich

E-mail megerősítve itt: in.tum.de

Idézetek száma: 13460

Verification Automata Theory Concurrency Theory

Frits W. Vaandrager

Professor of Computer Science, Radboud University

E-mail megerősítve itt: cs.ru.nl

Idézetek száma: 12129

Formal Methods Concurrency Theory Verification Model Checking Automata Learning

Rocco De Nicola

Professor of Computer Science, IMT Lucca

E-mail megerősítve itt: imtlucca.it

Idézetek száma: 11914

Concurrency Theory Programming Languages Formal Methods Distributed Systems Cybersecurity

Catuscia Palamidessi

Inria

E-mail megerősítve itt: lix.polytechnique.fr

Idézetek száma: 11066

Differential privacy machine learning fairness quantitative information flow concurrency theory

Rob van Glabbeek

UNSW

E-mail megerősítve itt: cs.stanford.edu

Idézetek száma: 10972

Concurrency concurrency theory process algebra formal methods temporal logic

Ahmed Bouajjani

Professor Computer Science, Université Paris Cité

E-mail megerősítve itt: irif.fr

Idézetek száma: 9180

Verification program verification concurrency concurrency theory automata

Robert de Simone

Directeur de Recherche, Inria

E-mail megerősítve itt: inria.fr

Idézetek száma: 7642

Concurrency Theory embedded systems formal methods

1 - 10