Bertrand Meyer

Bertrand Meyer

Professor of Software Engineering, Constructor University
Verified email at inf.ethz.ch
Cited by 32152
Software engineering object-oriented programming software verification Eiffel concurrent programming
Gerard Holzmann

Gerard Holzmann

Nimble Research
Verified email at nimbleresearch.com
Cited by 23539
Software verification logic model checking
Cédric Fournet

Cédric Fournet

Microsoft Research
Verified email at microsoft.com
Cited by 17020
Security Programming Languages Software Verification Cryptography Privacy
Xavier Leroy

Xavier Leroy

Collège de France
Verified email at college-de-france.fr
Cited by 13257
Programming languages Software verification Program proof Compilers Functional programming
Jacob Lorch

Jacob Lorch

Microsoft Research
Verified email at microsoft.com
Cited by 10528
software verification distributed systems trusted computing privacy cloud computing
Marc Brockschmidt

Marc Brockschmidt

Research Scientist, Google DeepMind
Verified email at google.com
Cited by 10133
Software Verification Automated Reasoning Deep Learning Graph Neural Networks
Dirk Beyer

Dirk Beyer

Professor of Computer Science, LMU Munich, Germany
Verified email at lmu.de
Cited by 9897
Software Verification Model Checking Program Analysis Formal Verification Clustering
Hongseok Yang

Hongseok Yang

Professor, School of Computing, KAIST
Verified email at kaist.ac.kr
Cited by 9724
Probabilistic Programming Programming Languages Machine Learning Software Verification Distributed System
Reiner Hähnle

Reiner Hähnle

Professor of Computer Science, Technical University of Darmstadt
Verified email at cs.tu-darmstadt.de
Cited by 8320
Formal Methods Formal Verification Program Verification Software Verification Multiple-Valued Logic
Marsha Chechik

Marsha Chechik

Professor of Computer Science, University of Toronto
Verified email at cs.toronto.edu
Cited by 8171
software engineering software verification modeling formal methods assurance and dependability
1 - 10