Fields of interest

• Modelling of non-functional properties of embedded systems
• Probabilistic Modeling
• Quality in (model-based) software development
• Software Testing

Current Projects

• SPES_XT: Software Platform for Embedded Systems
• INSERT II: Integrated Specification of Requirements and Tests

Publications

Teaching (German)

• Übung: Modellierung verteilter Systeme (WS 2010/2011)
• Übung: Requirements Engineering(WS 2011/2012)
• Seminar im Elitestudiengang SE: Seamless Model-based Engineering of a Reactive System(WS 2011/2012)
• Masterpraktikum: Eclipse Rich Client Platform and Android Application Development(WS 2011/2012)
• Proseminar: Foundations in Empirical Software Engineering (SS 2012)
• Seminar im Elitestudiengang SE: Seamless Model-based Engineering of a Reactive System(WS 2012/2013)