Scholar
Dirk Beyer
Google Scholar ID: AFOIl1IAAAAJ
Professor of Computer Science, LMU Munich, Germany
Software Verification
Model Checking
Program Analysis
Formal Verification
Clustering
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
11,233
H-index
53
i10-index
139
Publications
20
Co-authors
79
list available
Publications
3 items
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs
2026
Cited
0
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
2025
Cited
0
A Modular Program-Transformation Framework for Reducing Specifications to Reachability
2025
Cited
0
Co-authors
10 total
Thomas Henzinger
IST Austria
Rupak Majumdar
MPI for Software Systems
Sven Apel
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Ranjit Jhala
UC San Diego
Marieke Huisman
Unknown affiliation
Nian-Ze Lee
National Taiwan University
Marian Lingsch-Rosenfeld
PhD Student, LMU Munich
Marie-Christine Jakobs
LMU München
