• Softwaresysteme

Universität Passau – Lehrstuhl für Softwaresysteme
Innstraße 33 – D-94032 Passau
Anfahrt

Über uns

Mitarbeiter

Lehrstuhlinhaber

Prof. Dr. Dirk Beyer, Office: IM 131, +49 851 509-3090
Sprechstunde: Donnerstag, 15.30-17.00 Uhr

Sekretariat

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

Wissenschaftliches Personal

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

Technisches Personal

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

Forschung

Unsere Forschungsarbeit konzentriert sich auf Modelle, Algorithmen und Werkzeuge für die Konstruktion und die Analyse zuverlässiger Softwaresysteme, insbesondere: (Werkzeuge in Klammern):

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

Die konzeptuellen Grundlagen unserer Arbeit kommen aus den Bereichen Softwaretechnik, Programmiersprachen, Datenstrukturen und effiziente Algorithmen, sowie mathematische Logik. Unser Ziel ist nicht nur die Entwicklung neuer Grundlagen und Konzepte, sondern auch, effiziente Werkzeugimplementierungen der Forschungsresultate anzubieten.

Liste der Veröffentlichungen

Software

(Copyrighted as free software.)

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

Lehrveranstaltungen

• Programmieren I,II
• Software Engineering I, II
• Software Engineering Praktikum
• Compilertechnik
• Software-Analyse

Aktuelle Liste der Lehrveranstaltungen

Stellenanzeigen

Am Lehrstuhl Softwaresysteme sind mehrere Stellen offen für:

Oberassistenten / PostDocs

Wissenschaftliche Mitarbeiter / Doktoranden

Studentische Mitarbeiter