Joost-Pieter Katoen

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …
E-mail confirmado em cs.rwth-aachen.de
Citado por 29961
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 …
E-mail confirmado em cs.wisc.edu
Citado por 28402
Programming Languages Program Analysis Computer Security Program Verification Program Synthesis
Krzysztof R. Apt

Krzysztof R. Apt

CWI fellow, CWI , The Netherlands
E-mail confirmado em cwi.nl
Citado por 17858
Game theory program verification logic and constraint programming
Mooly Sagiv

Mooly Sagiv

Tel Aviv University
E-mail confirmado em acm.org
Citado por 14431
Programming Languages Program Verification Program Analysis Software Defined Networks
Klaus Havelund

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory
E-mail confirmado em jpl.nasa.gov
Citado por 14024
formal methods program verification runtime verification specification languages programming languages
Shaz Qadeer

Shaz Qadeer

Software Engineer, Meta
E-mail confirmado em meta.com
Citado por 13789
Program verification programming languages software engineering
Ahmed Bouajjani

Ahmed Bouajjani

Professor Computer Science, Université Paris Cité
E-mail confirmado em irif.fr
Citado por 9053
Verification program verification concurrency concurrency theory automata
Madanlal Musuvathi

Madanlal Musuvathi

Microsoft Research
E-mail confirmado em microsoft.com
Citado por 8737
Concurrency and Parallelism Program Verification Algorithms Systems Model Checking
Suresh Jagannathan

Suresh Jagannathan

Samuel D. Conte Professor of Computer Science, Purdue University
E-mail confirmado em cs.purdue.edu
Citado por 8629
Programming Languages Program Verification Functional Programming Concurrent and Distributed Systems
Reiner Hähnle

Reiner Hähnle

Professor of Computer Science, Technical University of Darmstadt
E-mail confirmado em cs.tu-darmstadt.de
Citado por 8535
Formal Methods Formal Verification Program Verification Software Verification Multiple-Valued Logic
1 - 10