|
Events, Teachings & Supervision
- Academic Events
- Staff - Summer School 2011 (Bayrischzell): Tools for Analysis and Verification of Software Safety and Security.
- Staff - Summer School 2010 (Marktoberdorf): Software and Systems Safety: Specification and Verification.
- Teachings
-
Supervision
- Available
- Feel free to ask for open topics in the fields listed here.
- In progress
- Finished
- Absicherung in der Funktionsentwicklung, internship for automotive software engineering programme, - Aug 2011 (at BMW).
- Automatisierte Aufbereitung von Unfalldaten zur Bewertung präventiver Sicherheitssysteme, bachelor thesis, Jul - Nov 2011 (at BMW).
- Requirements Management for Aircraft Simulation according to Functional Tests, diploma thesis, Feb 2008 (co-supervised).
- Rekonstruktion einer Produktmodelllandschaft - Fallstudie, diploma thesis, Nov 2007.
- Werkzeuge im Systementwicklungsprozess und "Systems Engineering Frameworks" - Fallstudie, diploma thesis, Aug 2007.
- Ein Konsistenzmanagement Framework für die Integrationsplattform ToolNet, diploma thesis, Feb 2007.
- Transformation von Datenmodellen in ToolNet, diploma thesis, Jan 2007.
- Modelling of Views on Heterogeneous Data Models of Integrated Tools in the Integration Framework ToolNet, diploma thesis, Sep 2006.
- Further co-supervised theses in the field of frameworks for software tools integration.
|