Gerald Sonneck

Modeling of uncertainty associated with dose-response curves as applied for probabilistic risk assessment in laser safety

David H. Sliney, Frank Rattay, John Mellerio, 2001, SPIE BiOS.

A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module

Walter Kuhn, Georg Droschl, Gerald Sonneck, 2000, SAFECOMP.

Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project

Erwin Schoitsch, Gerald Sonneck, 1999, SAFECOMP.

RAMSS Analysis for a Co-operative Integrated Traffic Management System

Erwin Schoitsch, Michael Putz, Thomas Gruber, 2007, SAFECOMP.

A Holistic View on the Dependability of Software-Intensive Systems

Lorenzo Strigini, Erwin Schoitsch, Gerald Sonneck, 1998, SAFECOMP.

A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B

Gerald Sonneck, Christian Reumann, Günther Zoffmann, 2001, SAFECOMP.

Support for Modular Certification of Safety-Critical Embedded Systems in DECOS – the Generic Safety Case *

Erwin Schoitsch, Jonny Vinter, Egbert Althammer, 2007 .