Joost-Pieter Katoen

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …
Email yang diverifikasi di cs.rwth-aachen.de
Dirujuk 30371 kali
formal methods model checking concurrency theory probabilistic programming program verification
Thomas Reps

Thomas Reps

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of …
Email yang diverifikasi di cs.wisc.edu
Dirujuk 28659 kali
Programming Languages Program Analysis Computer Security Program Verification Program Synthesis
Krzysztof R. Apt

Krzysztof R. Apt

CWI fellow, CWI , The Netherlands
Email yang diverifikasi di cwi.nl
Dirujuk 18102 kali
Game theory program verification logic and constraint programming
Mooly Sagiv

Mooly Sagiv

Tel Aviv University
Email yang diverifikasi di acm.org
Dirujuk 14541 kali
Programming Languages Program Verification Program Analysis Software Defined Networks
Klaus Havelund

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory
Email yang diverifikasi di jpl.nasa.gov
Dirujuk 14121 kali
formal methods program verification runtime verification specification languages programming languages
Shaz Qadeer

Shaz Qadeer

Microsoft
Email yang diverifikasi di microsoft.com
Dirujuk 13856 kali
Program verification Programming languages Distributed systems
Ahmed Bouajjani

Ahmed Bouajjani

Professor Computer Science, Université Paris Cité
Email yang diverifikasi di irif.fr
Dirujuk 9180 kali
Verification program verification concurrency concurrency theory automata
Madanlal Musuvathi

Madanlal Musuvathi

Microsoft Research
Email yang diverifikasi di microsoft.com
Dirujuk 8812 kali
Concurrency and Parallelism Program Verification Algorithms Systems Model Checking
Suresh Jagannathan

Suresh Jagannathan

Samuel D. Conte Professor of Computer Science, Purdue University
Email yang diverifikasi di cs.purdue.edu
Dirujuk 8720 kali
Programming Languages Program Verification Functional Programming Concurrent and Distributed Systems
Reiner Hähnle

Reiner Hähnle

Professor of Computer Science, Technical University of Darmstadt
Email yang diverifikasi di cs.tu-darmstadt.de
Dirujuk 8714 kali
Formal Methods Formal Verification Program Verification Software Verification Multiple-Valued Logic
1 - 10