The Community for Technology Leaders
RSS Icon
Subscribe
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2005)
Heidelberg, Germany
Oct. 12, 2005 to Oct. 14, 2005
ISBN: 0-7695-2377-3
TABLE OF CONTENTS
Papers
pp. xi,xii
Organization (PDF)
pp. ix,x
Invited Talks
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
Chris Walter , WW Technology Group
Peter Ellis , WW Technology Group
Brian LaValley , WW Technology Group
pp. 34-43
Session 2: System Level Frameworks
Yu Lei , University of Texas at Arlington
Eric Wong , University of Texas at Dallas
pp. 66-75
Session 3: Software Issues: Composition, Analysis, Assurance Cases
Iain Bate , University of York
Philippa Conmy , University of York
pp. 79-88
Naeem Seliya , University of Michigan-Dearborn
Taghi M. Khoshgoftaar , Florida Atlantic University
Shi Zhong , Florida Atlantic University
pp. 89-98
T. Scott Ankrum , The MITRE Corporation
Alfred H. Kromholz , The MITRE Corporation
pp. 99-108
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
Naoki Kobayashi , Hiroshima University
Tadashi Tadashi , Hiroshima University
pp. 143-152
Dejan Desovski , West Virginia University
Yan Liu , West Virginia University
Bojan Cukic , West Virginia University
pp. 153-162
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
Author Index
Author Index (PDF)
pp. 173
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool