Gerald Sonneck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
1
Active years
1998–2007
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | SAFECOMP | RAMSS Analysis for a Co-operative Integrated Traffic Management System. | Armin Selhofer, Thomas Gruber, Michael Putz, Erwin Schoitsch, Gerald Sonneck |
| 2001 | SAFECOMP | A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. | Gnther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck |
| 2000 | SAFECOMP | 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 |
| 1999 | SAFECOMP | Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project. | Gerald Sonneck, Erwin Schoitsch |
| 1998 | SAFECOMP | A Holistic View on the Dependability of Software-Intensive Systems. | Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini |