Overview


AVACS consists of three research project areas named R, H and S. In each area, there are three to four subprojects. An additional project area called Z provides central services. Click on the links in the following table to get a short description of each item.

Acronyms:

  • CvOU: Carl von Ossietzky University Oldenburg

  • ALU: Albert-Ludwigs-University Freiburg

  • UdS: Saarland University

  • MPII: Max-Planck-Institut for Informatik, Saarbrücken

  • ASCR: Academy of Sciences of the Czech Republic

SFB/TRR 14 AVACS

Overview of Subprojects


Speaker : W. Damm; Co-Speaker: B. Becker, B. Finkbeiner
Board : B. Becker, W. Damm, B. Finkbeiner, M. Fränzle, E. Olderog, A. Podelski
Vision -- Summary

Project Group R
Real-Time Systems
Coordinator: E. Olderog, CvOU
Summary

Project Group H
Hybrid Systems
Coordinator: M. Fränzle
Summary

Project Group S
Coarse Grain System Structure
Coordinator: Podelski
Summary

R1: Beyond Timed Automata Coordinator: E. Olderog, CvOU
Additional PIs:
B. Finkbeiner, UdS
M. Fränzle, CvOU
A. Podelski, ALU
V. Sofronie- Stokkermans, MPII



H1/2: Constraint-based Verification for Hybrid  Systems
Coordinator: M. Fränzle, CvOU
Additional PIs:
E. Althaus, MPII
B. Becker, ALU
K. Mehlhorn, MPII
C. Weidenbach, MPII
Associated PIs:
S. Ratschan, ASCR

S1: Compositional Aproaches to System Verification
Coordinator: B. Finkbeiner, UdS
Additional PIs:
B. Becker, ALU
B. Nebel, ALU
C. Scholl, ALU



R2: Timing Analysis and Distribution of Real-Time Tasks
Coordinator: Wilhelm, UdS
Additional PIs:
E. Althaus, MPII
W. Damm, CvOU
S. Hack, UdS
J. Reineke, UdS

H3: Automated Verification of Cooperating Traffic Agents Coordinator: W. Damm, CvOU
Additional PIs:
E. Althaus, MPII
E. Olderog, CvOU
C. Scholl, ALU
Sofronie-Stokkermanns, MPII
U. Waldmann, MPII

S2: Dynamic Communication Systems Coordinator: A. Podelski, ALU
Additional PIs:
W. Damm, CvOU
B. Finkbeiner, UdS
H. Hermanns, UdS
J: Reineke, UdS
C. Weidenbach, MPII

R3: Heuristic Search and Abstract Model Checking
Coordinator: B. Nebel, ALU
Additional PIs:
B. Finkbeiner, UdS
A. Podelski, ALU


H4: Automatic Verification of Hybrid System Stability
Coordinator: O. Theel, CvOU
Additional PIs:
M. Fränzle, CvOU
H. Hermanns, UdS
A. Podelski, ALU
V. Wolf, UdS

S3: Formal Verification of Dependability Properties
Coordinator: H. Hermanns, UdS
Additional PIs:
B. Becker, ALU
O. Theel, CvOU
V. Wolf, UdS

Projekt Group Z: Central Tasks
Coordinator: W. Damm, CvOU
Additional PIs:
B. Becker, ALU
B. Finkbeiner, UdS