Perfiles

Bertrand Meyer

Professor of Software Engineering, Politecnico di Milano & Innopolis Univ., CTO Eiffel …

Dirección de correo verificada de inf.ethz.ch

Citado por 27074

Software engineering object-oriented programming software verification Eiffel concurrent programming

Gerard Holzmann

Nimble Research

Dirección de correo verificada de nimbleresearch.com

Citado por 20509

Software verification logic model checking

Cédric Fournet

Microsoft Research

Dirección de correo verificada de microsoft.com

Citado por 12060

Security Programming Languages Software Verification Cryptography Privacy

Xavier Leroy

Collège de France

Dirección de correo verificada de college-de-france.fr

Citado por 10070

Programming languages Software verification Program proof Compilers Functional programming

Hongseok Yang

Professor, School of Computing, KAIST

Dirección de correo verificada de kaist.ac.kr

Citado por 6482

Probabilistic Programming Programming Languages Machine Learning Software Verification Distributed System

Dirk Beyer

Professor of Computer Science, LMU Munich, Germany

Dirección de correo verificada de lmu.de

Citado por 6082

Software Verification Model Checking Program Analysis Formal Verification Clustering

Marsha Chechik

Professor of Computer Science, University of Toronto

Dirección de correo verificada de cs.toronto.edu

Citado por 5986

software engineering software verification

Andrey Rybalchenko

Microsoft Research

Dirección de correo verificada de microsoft.com

Citado por 5452

Software Verification Network Verification Constraint Solving

Gerwin Klein

Data61 and UNSW

Dirección de correo verificada de cse.unsw.edu.au

Citado por 5158

formal methods interactive theorem proving software verification semantics of programming languages Isabelle/HOL

Arend Rensink

Professor in Computer Science, University of Twente

Dirección de correo verificada de utwente.nl

Citado por 3826

Software Verification Model Transformation Model Checking Graph Transformation Model-Based Testing

1 - 10