Bertrand Meyer

Bertrand Meyer

Professor of Software Engineering, Constructor University
在 inf.ethz.ch 的电子邮件经过验证
被引用次数：32311
Software engineering object-oriented programming software verification Eiffel concurrent programming
Gerard Holzmann

Gerard Holzmann

Nimble Research
在 nimbleresearch.com 的电子邮件经过验证
被引用次数：23564
Software verification logic model checking
Cédric Fournet

Cédric Fournet

Microsoft Research
在 microsoft.com 的电子邮件经过验证
被引用次数：16992
Security Programming Languages Software Verification Cryptography Privacy
Xavier Leroy

Xavier Leroy

Collège de France
在 college-de-france.fr 的电子邮件经过验证
被引用次数：13352
Programming languages Software verification Program proof Compilers Functional programming
Jacob Lorch

Jacob Lorch

Microsoft Research
在 microsoft.com 的电子邮件经过验证
被引用次数：10552
software verification distributed systems trusted computing privacy cloud computing
Marc Brockschmidt

Marc Brockschmidt

Research Scientist, Google DeepMind
在 google.com 的电子邮件经过验证
被引用次数：10166
Software Verification Automated Reasoning Deep Learning Graph Neural Networks
Dirk Beyer

Dirk Beyer

Professor of Computer Science, LMU Munich, Germany
在 lmu.de 的电子邮件经过验证
被引用次数：9875
Software Verification Model Checking Program Analysis Formal Verification Clustering
Hongseok Yang

Hongseok Yang

Professor, School of Computing, KAIST
在 kaist.ac.kr 的电子邮件经过验证
被引用次数：9655
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 的电子邮件经过验证
被引用次数：8343
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 的电子邮件经过验证
被引用次数：8160
software engineering software verification modeling formal methods assurance and dependability
1 - 10