Gidon Ernst
Scholar

Gidon Ernst

Google Scholar ID: _JqtqisAAAAJ
Software and Computational Systems Lab, LMU Munich
Software VerificationSecurityAutomated Reasoning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,263
 
H-index
23
 
i10-index
34
 
Publications
20
 
Co-authors
74
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
74 total
Co-author 1
Co-author 1
Zhenya Zhang
Zhenya Zhang
Kyushu University
Toby Murray
Toby Murray
School of Computing and Information Systems, University of Melbourne
Paolo Arcaini
Paolo Arcaini
National Institute of Informatics
Georgios Fainekos
Georgios Fainekos
Toyota Research Institute of North America
Ichiro Hasuo
Ichiro Hasuo
Professor of Computer Science, National Institute of Informatics
Sean Sedwards
Sean Sedwards
University of Waterloo
Giulia Pedrielli
Giulia Pedrielli
Associate Professor, School of Computing & Augmented Intelligence, Arizona State University