Bertrand Meyer

Bertrand Meyer

Professor of Software Engineering, Constructor University
確認したメール アドレス: inf.ethz.ch
被引用数: 32630
Software engineering object-oriented programming software verification Eiffel concurrent programming
Gerard Holzmann

Gerard Holzmann

Nimble Research
確認したメール アドレス: nimbleresearch.com
被引用数: 23808
Software verification logic model checking
Cédric Fournet

Cédric Fournet

Microsoft Research
確認したメール アドレス: microsoft.com
被引用数: 17494
Security Programming Languages Software Verification Cryptography Privacy
Xavier Leroy

Xavier Leroy

Collège de France
確認したメール アドレス: college-de-france.fr
被引用数: 13585
Programming languages Software verification Program proof Compilers Functional programming
Marc Brockschmidt

Marc Brockschmidt

Research Scientist, Google DeepMind
確認したメール アドレス: google.com
被引用数: 10933
Software Verification Automated Reasoning Deep Learning Graph Neural Networks
Jacob Lorch

Jacob Lorch

Microsoft Research
確認したメール アドレス: microsoft.com
被引用数: 10781
software verification distributed systems trusted computing privacy cloud computing
Dirk Beyer

Dirk Beyer

Professor of Computer Science, LMU Munich, Germany
確認したメール アドレス: lmu.de
被引用数: 10467
Software Verification Model Checking Program Analysis Formal Verification Clustering
Hongseok Yang

Hongseok Yang

Professor, School of Computing, KAIST
確認したメール アドレス: kaist.ac.kr
被引用数: 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
確認したメール アドレス: cs.tu-darmstadt.de
被引用数: 8535
Formal Methods Formal Verification Program Verification Software Verification Multiple-Valued Logic
Marsha Chechik

Marsha Chechik

Professor of Computer Science, University of Toronto
確認したメール アドレス: cs.toronto.edu
被引用数: 8463
software engineering software verification modeling formal methods assurance and dependability
1 - 10