Prof. Dr. Dirk Beyer
Full Professor, Head of Research Chair (Lehrstuhlinhaber)
Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538
Munich
(Germany)
- Office
- Room 062, Oettingenstr. 67
- Office hours
- Wed 10-11 (by appointment)
- Phone
- +49 89 2180 9151
- E-Mail
- firstname.lastname@lmu.de
- ORCID
-
0000-0003-4832-7662
GPG-Key
Please send me encrypted mails!
My GPG key: 0xFA7541D4
Fingerprint: D01F 72A6 EF21 E258 BEF5 2D02 96A2 AE57 FA75 41D4
| Personals |
Publications,
DBLP,
Google Scholar,
ORCID,
Semantic Scholar,
Dimensions
Biographical sketch
Curriculum vitae
You can also follow me on
Facebook
and Twitter/X.
|
| NEW |
Testing in Formal Verification via Witness Generation (Empirical Evaluation) (FASE 2026)
A Case Study in Firmware Verification: Applying Formal Methods to Intel® TDX Module (TACAS 2026)
Evaluating Software Verifiers for C, Java, and SV-LIB (Report on SV-COMP 2026) (TACAS 2026)
Evaluating Tools for Automatic Software Testing (Report on Test-Comp 2026) (FASE 2026)
|
|
Research |
I am one of the PIs of the Research Training Group ConVeY
(DFG-Graduiertenkolleg). |
|
| My research focuses
on models, algorithms, and tools for the
construction and analysis of reliable software systems, in particular:
Interfaces for component-based design (download Chic)
Software model checking and static analysis (download CPAchecker,
BLAST,
CSIsat)
Structure analysis and comprehension of large systems
(download CrocoPat or CCVisu)
Formal verification of real-time systems (download Rabbit) |
| Service |
ASE 2026 General Chair
8th Intl. Competition on Software Testing (Test-Comp 2026)
15th Intl. Competition on Software Verification (SV-COMP 2026)
... more organization and program committees
|
Teaching
|
Courses offered: current term,
next term
... more
|
| People |
Team
Information for prospective students
Technical hints for writing a paper
Software that I use
|
| Software |
BenchExec: Reliable Benchmarking and Resource Measurement
BLAST: Model Checking of Software
CCVisu: Visual Clustering and Software-Structure Assessment
CheckDep: Tracking Software Dependencies
Chic: Checking Interface Compatibility
CPAchecker: Configurable Software Verification
CrocoPat: Relational Programming
(for Software-Structure Analysis)
CSIsat: Interpolation for LA+EUF
DepDigger: Detecting Complex Low-Level Dependencies
JavaSMT: A Unified Interface for SMT Solvers in Java
Rabbit: Verification of Real-Time Systems
... more
|
