Scholar
Bertrand Meyer
Google Scholar ID: W8nOgCwAAAAJ
Professor of Software Engineering, Constructor Institute of Technology
Software engineering
object-oriented programming
software verification
Eiffel
concurrent programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,902
H-index
29
i10-index
66
Publications
20
Co-authors
82
list available
Publications
9 items
Combining Tests and Proofs for Better Software Verification
2026
Cited
0
AI for software engineering: from probable to provable
2025
Cited
0
Do AI models help produce verified bug fixes?
2025
Cited
0
The nature of loops in programming
2025
Cited
0
UOOR: Seamless and Traceable Requirements
2025
Cited
0
Software Engineering as a Domain to Formalize
2025
Cited
0
Programming Really Is Simple Mathematics
2025
Cited
0
Loop unrolling: formal definition and application to testing
2025
Cited
0
Load more
Co-authors
10 total
Carlo A. Furia
Software Institute - USI Università della Svizzera italiana
Manuel Oriol
Constructor Institute of Technology; Constructor University
Jean-Michel Bruel
Professor of Computer Science, Toulouse University, IRIT, France
sophie ebersold marcaillou
Full Professor at University of Toulouse - Researcher at IRIT
Manuel Mazzara
Dean of the Faculty of Computer Science and Engineering
Andreas Zeller
Faculty, CISPA Helmholtz Center for Information Security • Professor, Saarland University
Nadia Polikarpova
UCSD
Carlo Ghezzi
Emeritus Professor, Politecnico di Milano
