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