Bertrand Meyer
Scholar

Bertrand Meyer

Google Scholar ID: W8nOgCwAAAAJ
Professor of Software Engineering, Constructor Institute of Technology
Software engineeringobject-oriented programmingsoftware verificationEiffelconcurrent programming
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,902
 
H-index
29
 
i10-index
66
 
Publications
20
 
Co-authors
82
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
82 total
Carlo A. Furia
Carlo A. Furia
Software Institute - USI Università della Svizzera italiana
Manuel Oriol
Manuel Oriol
Constructor Institute of Technology; Constructor University
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Jean-Michel Bruel
Jean-Michel Bruel
Professor of Computer Science, Toulouse University, IRIT, France
Co-author 8
Co-author 8