Thomas Reps

Thomas Reps

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of …
在 cs.wisc.edu 的电子邮件经过验证
被引用次数：26968
Programming Languages Program Analysis Computer Security Program Verification Program Synthesis
Joost-Pieter Katoen

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …
在 cs.rwth-aachen.de 的电子邮件经过验证
被引用次数：26089
formal methods model checking concurrency theory probabilistic programming program verification
Krzysztof R. Apt

Krzysztof R. Apt

CWI fellow, CWI , The Netherlands
在 cwi.nl 的电子邮件经过验证
被引用次数：17056
Game theory program verification logic and constraint programming
Sumit Gulwani

Sumit Gulwani

Partner Research Manager, Microsoft
在 microsoft.com 的电子邮件经过验证
被引用次数：15026
Program Synthesis Artificial Intelligence Program Verification End User Programming Computer-aided Education
Mooly Sagiv

Mooly Sagiv

Tel Aviv University
在 acm.org 的电子邮件经过验证
被引用次数：13426
Programming Languages Program Verification Program Analysis Software Defined Networks
Shaz Qadeer

Shaz Qadeer

Research Scientist, Facebook
在 fb.com 的电子邮件经过验证
被引用次数：13051
Program verification programming languages software engineering
Klaus Havelund

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory
在 jpl.nasa.gov 的电子邮件经过验证
被引用次数：11273
formal methods program verification runtime verification specification languages programming languages
Ahmed Bouajjani

Ahmed Bouajjani

Professor Computer Science, Université Paris Cité
在 irif.fr 的电子邮件经过验证
被引用次数：8690
Verification program verification concurrency concurrency theory automata
Reiner Hähnle

Reiner Hähnle

Professor of Computer Science, Technical University of Darmstadt
在 cs.tu-darmstadt.de 的电子邮件经过验证
被引用次数：7903
Formal Methods Formal Verification Program Verification Software Verification Multiple-Valued Logic
Madanlal Musuvathi

Madanlal Musuvathi

Microsoft Research
在 microsoft.com 的电子邮件经过验证
被引用次数：7738
Concurrency and Parallelism Program Verification Algorithms Systems Model Checking
1 - 10