• Software Systems Group

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

About us

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

Gregor Endler, Office: IM 110, +49 851 509-3093
Ashgan Fararoy
Erkan Keremoglu
Stefan Löwe, Office: IM 126, +49 851 509-3097
Malte Rosenthal, Office: IM 109, +49 851 509-3095
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):

• Software model checking and static analysis (CPAchecker, BLAST, CSIsat)
• Structural analysis and comprehension of large software systems (CrocoPat, CCVisu)
• Interfaces for component-based design (Chic)
• Formal verification of real-time systems (Rabbit)

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.)

1. Blast: Model Checking of Software.
   Contributor, conceptual extensions, implementation, and maintenance.
   
   
2. CCVisu: Visual Clustering and Software-Structure Assessment.
   Principal designer and implementer.
   
   
3. CheckDep: Tracking Software Dependencies.
   Principal designer, architect, and maintenance.
   
   
4. Chic: Checking Interface Compatibility.
   Contributor, new formalism, and verification algorithm.
   
   
5. CPAchecker: Configurable Software Verification.
   Principal designer, architect, implementation, and maintenance.
   
   
6. CrocoPat: Relational Programming (for Software-Structure Analysis).
   Principal designer and implementer.
   
   
7. CSIsat: Interpolation for LA+EUF.
   Contributor and designer.
   
   
8. DepDigger: Detecting Complex Low-Level Dependencies.
   Principal designer, architect, and maintenance.
   
   
9. 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 currently have no open positions.

no news in this list.