Gerald Sonneck

Publication Activity (10 Years)

Years Active: 1998-2007
Publications (10 Years): 0

Publications

Armin Selhofer, Thomas Gruber, Michael Putz, Erwin Schoitsch, Gerald Sonneck
RAMSS Analysis for a Co-operative Integrated Traffic Management System. SAFECOMP (2007)
Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. SAFECOMP (2001)
Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module. SAFECOMP (2000)
Gerald Sonneck, Erwin Schoitsch
Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project. SAFECOMP (1999)
Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini
A Holistic View on the Dependability of Software-Intensive Systems. SAFECOMP (1998)