Dissertation by Stefan Neumann on "Modular Timing Analysis of Component-Based Real-Time Embedded Systems" (2013).

• Modeling
• Systemarchitecture
• Realtime-Systems
• Automotive

ST 2012

• Modeling II
• ASEfES

WT 2011/12

• Software Engineering for Embedded Systems

ST 2011

• Modeling II

WT 2010/11

• Software Engineering for Embedded Systems

ST 2010

• Modeling II

WT 2009/2010

• Advanced Software Engineering for Embedded Systems

ST 2009:

• Modeling II
• Bachelor's Project: A Runtime Environment for Reconfigurable Autmomotive Software

WT 2008/2009:

• Bachelor's Project: A Runtime Environment for Reconfigurable Autmomotive Software
• Blockseminar: AUtomotive Open System ARchitecture
• Software Engineering for Embedded Systems

ST 2008:

• Modeling II
• Bachelor's Project: Performance-Assessment for Automotive Software

WT 2007/2008:

• Modeling I
• Bachelor's Project: Performance-Assessment for Automotive Software

Supervised Master's theses

• Modellierung von Variabilität im Rahmen des Software Product Line Engineering. (Kathleen Hauke - 2008)
• Model-Checking zeitbehafteter Graphtransformationssysteme in GROOVE. (Edgar Näther - 2012)
• Abbildung abstrakter AUTOSAR Architekturmodelle auf Timed-Automata zur frühzeitigen Analyse von Realzeit-Eigenschaften. (Norman Kluge - 2012)
• A Framework for Integrating Hard- and Soft-Real-Time Applications in AUTOSAR (Falk Benke - laufend)