Lectures
- Architektur Eingebetteter Systeme
- Dependable Embedded Systems
- Echtzeitsysteme in Robotik und Regelungstechnik
- Entwurfsmethodik Eingebetteter Systeme
- Spezifikation eingebetteter Systeme
- Verifikation digitaler Systeme
- Grundlagen der Rechnerarchitektur
- Rechnerarchitektur
- Rechnergestützter Entwurf eingebetteter Echtzeitsysteme für unbemannte Luftfahrzeuge