| Verifikation |
| Automatisierte Verifikationstechniken bei unvollständiger Information (gefördert durch die DFG, in Kooperation mit der Professur für Rechnerarchitektur) |
| AVACS: Automatic Verification and Analysis of Complex Systems Sonderforschungsbereich/Transregio gefördert durch die DFG |
| FEST - Funktionale Verifikation von Systemen (gefördert im Rahmen der BMBF-Förderinitiative Ekompass, in Kooperation mit der Professur für Rechnerarchitektur) |
| Lösen von Abhängigkeitsquantifizierten Booleschen Formeln (DQBF) gefördert durch die DFG, in Kooperation mit der Professur für Rechnerarchitektur, Uni Freiburg |
| VALSE-XT (Förderschwerpunkt EkompaSS des BMBF, gemeinsam mit der Professur für Rechnerarchitektur) |
| VerA: Vollautomatische Formale Verifikation Arithmetischer Schaltkreise (gefördert durch die DFG, in Kooperation mit der Arbeitsgruppe Rechnerarchitektur, Universität Bremen und dem Institut für Complex Systems, Johannes Kepler Universität Linz) |
| E-Learning |
| Winfoline |
| Echtzeitbetriebssysteme |
| Graduiertenkolleg Eingebettete Mikrosysteme Teilprojekt: Erzeugung minimaler Echtzeitbetriebssysteme für eingebettete Mikrosysteme |
|
|
|
|