Scholar
Gidon Ernst
Google Scholar ID: _JqtqisAAAAJ
Software and Computational Systems Lab, LMU Munich
Software Verification
Security
Automated Reasoning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,263
H-index
23
i10-index
34
Publications
20
Co-authors
74
list available
Publications
2 items
A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
2026
Cited
0
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
2025
Cited
0
Co-authors
15 total
Zhenya Zhang
Kyushu University
Toby Murray
School of Computing and Information Systems, University of Melbourne
Paolo Arcaini
National Institute of Informatics
Georgios Fainekos
Toyota Research Institute of North America
Ichiro Hasuo
Professor of Computer Science, National Institute of Informatics
Sean Sedwards
University of Waterloo
Giulia Pedrielli
Associate Professor, School of Computing & Augmented Intelligence, Arizona State University
Claudio Menghi
University of Bergamo and McMaster University
