Christoph Ainhauser

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Safety Analysis

Automatically Generate

Software Requirements

Manually Generated

Top Venues

Publications

Raphael Fonte Boa Trindade, Lukas Bulwahn, Christoph Ainhauser
Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements. SAFECOMP (2014)
Christoph Ainhauser, Reinhard Stolle, Jürgen Steurer
Enabling semantic interoperation of dynamic plug-in services. GI Jahrestagung (2) (2008)
Kai Richter, Nico Feiertag, Michael Rudorfer, Oliver Scheickl, Christoph Ainhauser
How Timing Interfaces in AUTOSAR can Improve Distributed Development of Real-Time Software. GI Jahrestagung (2) (2008)