Stellv. Institutsdirektor

Forschung

• Entwurfsautomatisierung eingebetteter Systeme
• Zuverlässigkeitsanalyse und -optimierung
• Echtzeitanalyse und -modellierung
• Meta-heuristische Optimierung
• Automotive Systeme 

Lehre

Im Wintersemester:

• Vorlesung Grundlagen der Technischen Informatik
• Vorlesung Verifikation digitaler Systeme
• Seminar Zuverlässigkeitsanalyse eingebetteter Systeme
• Proseminar Eingebettete Systeme: Zuverlässige und sichere Systeme

Im Sommersemester:

• Vorlesung Dependable Embedded Systems
• Vorlesung Spezifikation eingebetteter Systeme
• Seminar Entwurfsraumexploration eingebetteter Systeme
• Proseminar Eingebettete Systeme: Zuverlässige und sichere Systeme

Projekte:

• Automatischer Entwurf zuverlässiger eingebetteter Systeme
• Hybride Optimierung im Entwurf eingebetteter Systeme

Hinweis für Studierende: Bitte die Kursseiten im aktuellen Semester für weiterführende Informationen (Moodle, Vorlesungszeiten etc.) besuchen.

Publikationen

Michael Glaß @ GoogleScholar​​​​​​​