University of Passau – Software Systems Lab
Innstrasse 33 – D-94032 Passau – Germany
Directions

Team

Chair

Prof. Dr. Dirk Beyer, Office: IM 131, +49 851 509-3090
consultation hour: thursday, 16.00-17.00 h

Assistant

Eva Veitweber, Office: IM 130, +49 851 509-3091

Scientific Staff

Ashgan Fararoy
Erkan Keremoglu
Michael Käufl, Office: IM 109, +49 851 509-3095
Gregor Endler, Office: IM 110, +49 851 509-3093
Philipp Wendler, Office: IM 110, +49 851 509-3093

Technical Staff

Max Vogl, Office: ITZ/IH 214, +49 851 509-3145

Research

Our research focuses on models, algorithms, and tools for the construction and analysis of reliable software systems, in particular (tools in whose development we were involved are given in parentheses):

The conceptional basis of our work is in software engineering, programming languages, data structures and efficient algorithms, and mathematical logic. Our goal is not only to develop new concepts, but also to provide efficient tool implementations derived from the research results.

List of Publications

Software

(Copyrighted as free software.)

CPAchecker: Configurable Software Verification.
Principal designer, architect, implementation, and maintenance.
Blast: Model Checking of Software.
Contributor, conceptual extensions, implementation, and maintenance.
CSIsat: A Tool for LA+EUF Interpolation.
Contributor and designer.
CrocoPat: Simple and Efficient Relational Querying and Manipulation.
Principal designer and implementer.
CCVisu: Automatic Software Decomposition and Structure Assessment.
Principal designer and implementer.
Chic: Checking Software Interface Compatibility.
Contributor, new formalism, and verification algorithm.
Rabbit: Verification of Real-Time Systems.
Principal designer and implementer.

Courses

Computer Programming I,II
Software Engineering I, II
Software Engineering Project
Compiler Design
Software Analysis

Current list of Courses

Job offers

We have several open positions for:

PostDocs

Research Assistants

Student Assistants