Prof. Dr. Dirk Beyer
Full Professor, Head of Research Chair (Lehrstuhlinhaber)
Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538
Munich
(Germany)
- Office
- Room 062, Oettingenstr. 67
- Office hours
- Mi 10-11, and by appointment
- Phone
- +49 (89) 2180-9150 (Sec.: -9151)
- Fax
- +49 (89) 2180-9175
- E-Mail
- firstname.lastname@lmu.de
GPG-Key
Please send me encrypted mails!
My GPG key: 0xFA7541D4 (from key server)
Fingerprint: D01F 72A6 EF21 E258 BEF5 2D02 96A2 AE57 FA75 41D4
| Personals |
Publications,
DBLP,
Google Scholar,
ORCID,
Semantic Scholar
Biographical sketch
Curriculum vitae
You can also follow me on Twitter and
Google+.
|
| NEW |
Software Verification with PDR: An Implementation of the State of the Art (TACAS 2020)
CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering (TACAS 2020)
Second Competition on Software Testing: Test-Comp 2020 (FASE 2020)
Advances in Automatic Software Verification: SV-COMP 2020 (TACAS 2020)
TestCov: Robust Test-Suite Execution and Coverage Measurement (ASE 2019)
Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art (arXiv 2019)
Conditional Testing: Off-the-Shelf Combination of Test-Case Generators (ATVA 2019)
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework (arXiv 2019)
Tutorial on Software Verification (ETAPS 2019 Tutorial)
CoVeriTest: Cooperative Verifier-Based Testing (FASE 2019)
Automatic Verification of C and Java Programs: SV-COMP 2019 (TACAS 2019)
International Competition on Software Testing (Test-Comp) (TACAS 2019)
TOOLympics_2019: An Overview of Competitions in Formal Methods (TACAS 2019)
A Data Set of Program Invariants and Error Paths
(MSR 2019 Presentation)
|
|
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 |
PC Chair: VMCAI 2020 (Jan 19-21, 2020, New Orleans, USA)
PC Chair: TAP 2019 (Oct 9-11, 2019, Porto, Portugal)
2nd Intl. Competition on Software Testing (Test-Comp '20)
4th Intl. Workshop on CPAchecker (CPA '19)
9th Intl. TACAS Competition on Software Verification (SV-COMP '20)
PC Chair: TACAS 2018
1st Intl. Workshop on CPAchecker (CPA'16)
CAV 2015 Workshops
Program committees:
ICSME'15,
TAP'15,
ICPC'15,
FMSPLE'15,
NFM'15,
SPIN'14,
FMCAD'14,
FORTE'14
... more
|
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
|
