• H
  • HASE
  • 2005
  • Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
Advanced Search 
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
Heidelberg, Germany
October 12-October 14
ISBN: 0-7695-2377-3
Table of Contents
Papers
Invited Talks
Verification Challenges in High Assurance Systems
Session 1: Fault Tolerant Systems: Design & Analysis
P. Domokos, Budapest University of Technology and Economics
I. Majzik, Budapest University of Technology and Economics
pp. 15-24
Laurent Sagaspe, Office National d'Etudes et de Recherches Aérospatiales
Gérard Bel, Office National d'Etudes et de Recherches Aérospatiales
Pierre Bieber, Office National d'Etudes et de Recherches Aérospatiales
Fréderic Boniol, Office National d'Etudes et de Recherches Aérospatiales
Charles Castel, Office National d'Etudes et de Recherches Aérospatiales
pp. 25-33
Session 2: System Level Frameworks
Session 3: Software Issues: Composition, Analysis, Assurance Cases
Naeem Seliya, University of Michigan-Dearborn
Taghi M. Khoshgoftaar, Florida Atlantic University
Shi Zhong, Florida Atlantic University
pp. 89-98
Session 4: System and Software Testing
Gergely Pintér, Budapest University of Technology and Economics
István Majzik, Budapest University of Technology and Economics
pp. 111-120
Stefan Gossens, Framatome ANP GmbH
Fevzi Belli, University of Paderborn
Sami Beydeda, Bundesamt f?r Finanzen
Mario Dal Cin, University Erlangen-Nuremberg
pp. 121-130
Pasquale di Tommaso, Ansaldo Segnalamento Ferroviario S.p.A.
Francesco Flammini, Ansaldo Segnalamento Ferroviario S.p.A. and Universit? "Federico II" di Napoli
Armando Lazzaro, Ansaldo Segnalamento Ferroviario S.p.A.
Raffaele Pellecchia, Ansaldo Segnalamento Ferroviario S.p.A.
Angela Sanseviero, Ansaldo Segnalamento Ferroviario S.p.A.
pp. 131-139
Session 5: Evaluation for Assurance
Francesco Flammini, Università di Napoli "Federico II"
Nicola Mazzocca, Università di Napoli "Federico II"
Mauro Iacono, Seconda Università di Napoli
Stefano Marrone, Seconda Università di Napoli
pp. 163-172
Panel
Is Verification the Showstopper of Moore?s Law?
Author Index
Usage of this product signifies your acceptance of the Terms of Use.