Scholar

Dirk Beyer

Google Scholar ID: AFOIl1IAAAAJ

Professor of Computer Science, LMU Munich, Germany

Software VerificationModel CheckingProgram AnalysisFormal VerificationClustering

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

11,233

H-index

53

i10-index

139

Publications

20

Co-authors

79

list available

Contact

No contact links provided.

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

Resume (English only)

Co-authors

79 total

Thomas Henzinger

MPI for Software Systems

Professor of Computer Science, Saarland University, Saarland Informatics Campus