Profiller

Joost-Pieter Katoen

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

cs.rwth-aachen.de üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 30371

formal methods model checking concurrency theory probabilistic programming program verification

Thomas Reps

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of …

cs.wisc.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 28657

Programming Languages Program Analysis Computer Security Program Verification Program Synthesis

Krzysztof R. Apt

CWI fellow, CWI , The Netherlands

cwi.nl üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 18102

Game theory program verification logic and constraint programming

Mooly Sagiv

Tel Aviv University

acm.org üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 14539

Programming Languages Program Verification Program Analysis Software Defined Networks

Klaus Havelund

Senior Research Scientist, Jet Propulsion Laboratory

jpl.nasa.gov üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 14121

formal methods program verification runtime verification specification languages programming languages

Shaz Qadeer

Microsoft

microsoft.com üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 13855

Program verification Programming languages Distributed systems

Ahmed Bouajjani

Professor Computer Science, Université Paris Cité

irif.fr üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 9180

Verification program verification concurrency concurrency theory automata

Madanlal Musuvathi

Microsoft Research

microsoft.com üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 8812

Concurrency and Parallelism Program Verification Algorithms Systems Model Checking

Suresh Jagannathan

Samuel D. Conte Professor of Computer Science, Purdue University

cs.purdue.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 8718

Programming Languages Program Verification Functional Programming Concurrent and Distributed Systems

Reiner Hähnle

Professor of Computer Science, Technical University of Darmstadt

cs.tu-darmstadt.de üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 8713

Formal Methods Formal Verification Program Verification Software Verification Multiple-Valued Logic

1 - 10