| Verification |
| Automatic Verification Techniques for Incomplete Designs (supported by the DFG, in cooperation with the Chair of Computer Architecture) |
| AVACS: Automatic Verification and Analysis of Complex Systems Transregional Colloborative Research Center sponsored by the DFG |
| FEST - Functional verification of systems (supported by BMBF-Förderinitiative Ekompass, in cooperation with the Chair of Computer Architecture) |
| Solving Dependency Quantified Boolean Formula (DQBF) supported by the DFG, in cooperation with the Chair of Computer Architecture, University Freiburg |
| VALSE-XT (Förderschwerpunkt EkompaSS des BMBF, in cooperation with the Chair of Computer Architecture) |
| VerA: Fully Automatic Formal Verification of Arithmetic Circuits (supported by the DFG, in cooperation with the Group of Computer Architecture, University Bremen and the Institute for Complex Systems, Johannes Kepler University Linz) |
| E-Learning |
| Winfoline |
| Real-time operating systems |
| Graduate school Embedded Microsystems Subproject: Generation of minimal real-time operating systems for embedded microsystems |
|
|
|
|