Advertisement

Computer Safety, Reliability, and Security

24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

  • Rune Winther
  • Bjørn Axel Gran
  • Gustav Dahll
Conference proceedings SAFECOMP 2005

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3688)

Table of contents

  1. Front Matter
  2. Jose Antonio Fonseca, Jorge Rady de Almeida Júnior
    Pages 1-12
  3. Nawal Addouche, Christian Antoine, Jacky Montmain
    Pages 24-36
  4. Martin Hall-May, Tim Kelly
    Pages 37-51
  5. Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha
    Pages 67-80
  6. Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber, Christian Sejkora
    Pages 81-93
  7. Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci
    Pages 94-107
  8. Brahim Hamid, Mohamed Mosbah
    Pages 108-121
  9. Anjali Joshi, Mats P. E. Heimdahl
    Pages 122-135
  10. Meine J. P. van der Meulen, Lorenzo Strigini, Miguel A. Revilla
    Pages 151-164
  11. Ruben Alexandersson, D. Krishna Chaitanya, Peter Öhman, Yasir Siraj
    Pages 165-178
  12. Peter Bishop, Robin Bloomfield, Sofia Guerra, Kostas Tourlas
    Pages 194-207
  13. Tage Stabell-Kulø, Simone Lupetti
    Pages 222-232
  14. Lei Wang, Mingde Zhao, Zengwei Zheng, Zhaohui Wu
    Pages 233-245
  15. Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea
    Pages 246-260
  16. J. H. Nyström, P. W. Trinder, D. J. King
    Pages 275-288
  17. Krzysztof Sacha
    Pages 303-316
  18. Terje Sivertsen, Rune Fredriksen, Atoosa P-J Thunem, Jan-Erik Holmberg, Janne Valkonen, Olli Ventä et al.
    Pages 317-329
  19. Bengt Ljungquist, Thomas Thelin
    Pages 330-343
  20. Denis Hatebur, Maritta Heisel
    Pages 390-404
  21. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005.

The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.

Keywords

Code Unified Modeling Language (UML) communication computer reliability correct systems behaviour data integrity dependable computing distributed systems formal method reaction systems real-time safety-critical systems security systems availability systems protection

Editors and affiliations

  • Rune Winther
    • 1
  • Bjørn Axel Gran
    • 2
  • Gustav Dahll
    • 3
  1. 1.Faculty of Computer SciencesØstfold University College, Os AlléHaldenNorway
  2. 2.Insitute for Energy TechnologySoftware Engineering LaboratoryHaldenNorway
  3. 3.Software Engineering LaboratoryInstitute for Engergy TechnologyHaldenNorway

Bibliographic information

  • DOI https://doi.org/10.1007/11563228
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29200-5
  • Online ISBN 978-3-540-32000-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site