Bertrand Meyer

Bertrand Meyer

Professor of Software Engineering, Constructor University
Dirección de correo verificada de inf.ethz.ch
Citado por 32614
Software engineering object-oriented programming software verification Eiffel concurrent programming
Gerard Holzmann

Gerard Holzmann

Nimble Research
Dirección de correo verificada de nimbleresearch.com
Citado por 23806
Software verification logic model checking
Cédric Fournet

Cédric Fournet

Microsoft Research
Dirección de correo verificada de microsoft.com
Citado por 17493
Security Programming Languages Software Verification Cryptography Privacy
Xavier Leroy

Xavier Leroy

Collège de France
Dirección de correo verificada de college-de-france.fr
Citado por 13580
Programming languages Software verification Program proof Compilers Functional programming
Marc Brockschmidt

Marc Brockschmidt

Research Scientist, Google DeepMind
Dirección de correo verificada de google.com
Citado por 10927
Software Verification Automated Reasoning Deep Learning Graph Neural Networks
Jacob Lorch

Jacob Lorch

Microsoft Research
Dirección de correo verificada de microsoft.com
Citado por 10780
software verification distributed systems trusted computing privacy cloud computing
Dirk Beyer

Dirk Beyer

Professor of Computer Science, LMU Munich, Germany
Dirección de correo verificada de lmu.de
Citado por 10464
Software Verification Model Checking Program Analysis Formal Verification Clustering
Hongseok Yang

Hongseok Yang

Professor, School of Computing, KAIST
Dirección de correo verificada de kaist.ac.kr
Citado por 10044
Probabilistic Programming Programming Languages Machine Learning Software Verification Distributed System
Reiner Hähnle

Reiner Hähnle

Professor of Computer Science, Technical University of Darmstadt
Dirección de correo verificada de cs.tu-darmstadt.de
Citado por 8535
Formal Methods Formal Verification Program Verification Software Verification Multiple-Valued Logic
Marsha Chechik

Marsha Chechik

Professor of Computer Science, University of Toronto
Dirección de correo verificada de cs.toronto.edu
Citado por 8461
software engineering software verification modeling formal methods assurance and dependability
1 - 10