The SCEAS System
Navigation Menu

Search the dblp DataBase


Gerald Sonneck: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2000, pp:187-197 [Conf]
  2. Gerald Sonneck, Erwin Schoitsch
    Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1999, pp:39-45 [Conf]
  3. Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini
    A Holistic View on the Dependability of Software-Intensive Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1998, pp:369-379 [Conf]
  4. Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck
    A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2001, pp:166-175 [Conf]
  5. Armin Selhofer, Thomas Gruber, Michael Putz, Erwin Schoitsch, Gerald Sonneck
    RAMSS Analysis for a Co-operative Integrated Traffic Management System. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:87-92 [Conf]

Search in 0.028secs, Finished in 0.028secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002