Gerald Sonneck

According to our database, Gerald Sonneck authored at least 5 papers between 1998 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

RAMSS Analysis for a Co-operative Integrated Traffic Management System.

Armin Selhofer, Thomas Gruber, Michael Putz, Erwin Schoitsch, Gerald Sonneck

Proceedings of the Computer Safety, 2007

2001

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

Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck

Proceedings of the Computer Safety, 2001

2000

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

Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald

Proceedings of the Computer Safety, 2000

1999

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

Gerald Sonneck, Erwin Schoitsch

Proceedings of the Computer Safety, 1999

1998

A Holistic View on the Dependability of Software-Intensive Systems.

Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini

Proceedings of the Computer Safety, 1998