[dirk_beyer.jpg]
Dirk Beyer, Prof. Dr. rer. nat.
Full Professor
Chair for Software Systems
Faculty of Computer Science and Mathematics
University of Passau (About)
Logo SoSy-Lab

Logo Uni-Passau

Logo SFU

Results of the 2015 International Competition on Software Verification

Coordinates

Office: IM 131
Phone: +49 (851) 509-3090
Home: +49 (851) 204-2858
E-mail: firstname.lastname@sosy-lab.org
PGP Public Key: 0xFA7541D4, Fingerprint: D01F 72A6 EF21 E258 BEF5 2D02 96A2 AE57 FA75 41D4
Fax: +49 (851) 509-3092
Mail: University of Passau / Software Systems / Innstrasse 33 / D-94032 Passau, Bavaria / Germany
Assistant (Eva Veitweber): +49 (851) 509-3091
Directions
Personals Publications, DBLP, Google Scholar
Biographical sketch
Curriculum vitae
You can also follow me on Twitter and Google+.
NEW Witness Validation and Stepwise Testification across Software Verifiers (ESEC/FSE 2015)
Refinement Selection (SPIN 2015)
Benchmarking and Resource Measurement (SPIN 2015)
Boosting k-Induction with Continuously-Refined Invariants (CAV 2015)
Sliced Path Prefixes: An Effective Method to Enable Refinement Selection (FORTE 2015)
Presence-Condition Simplification in Highly Configurable Systems (ICSE 2015)
Facilitating Reuse in Multi-Goal Test-Suite Generation for Software Product Lines (FASE 2015)
Software Verification and Verifiable Witnesses (Report on SV-COMP 2015, TACAS 2015)
Research 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 4th Intl. TACAS Competition on Software Verification (SV-COMP'15)
Organization: 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
Sommercamp Informatik
... more
Graduate Students Matthias Dangl (PhD program)
Stefan Löwe (PhD program)
Andreas Stahlbauer (PhD program)
Philipp Wendler (PhD program)
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
Rabbit: Verification of Real-Time Systems
... more

Home page