Computer Safety, Reliability and Security

18th International Conference, SAFECOMP’99 Toulouse, France, September 27–29, 1999 Proceedings

  • Alberto Pasquini
  • Massimo Felici
  • Karama Kanoun
Conference proceedings SAFECOMP 1999

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

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Invited Talk

  3. Assessment and Certification

    1. T. P. Kelly, J. A. McDermid
      Pages 13-26
    2. Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson
      Pages 27-38
  4. Safety Assessment and Human Factors (Poster Session)

  5. Human Factors

  6. Safety Assessment

  7. Design for Safety (Poster Session)

    1. P. G. Beerthuizen, W. Kruidhof
      Pages 163-176
    2. Chin-Feng Fan, Swu Yih
      Pages 177-186
    3. Algirdas Pakstas, Igor Shagaev
      Pages 187-201
    4. J. C. Campelo, P. Yuste, F. Rodríguez, P. J. Gil, J. J. Serrano
      Pages 202-215
  8. Verification and Testing

    1. Sang-Yoon Min, Yoon-Kyu Jang, Sung-Deok Cha, Yong-Rae Kwon, Doo-Hwan Bae
      Pages 226-238
    2. Bernhard K. Aichernig
      Pages 250-259
    3. Gaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino, Eda Marchetti
      Pages 260-271
  9. Design for Safety

  10. Dependability Analysis and Evaluation

    1. Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla
      Pages 310-322
    2. Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda
      Pages 323-335
    3. Silke Kuball, John May, Gordon Hughes
      Pages 336-349
  11. Formal Methods and Security (Poster Session)

    1. Kaisa Sere, Elena Troubitsyna
      Pages 350-360
    2. Monika Heiner, Maritta Heisel
      Pages 361-374
    3. Yun Bai, Vijay Varadharajan
      Pages 375-384
    4. Ireneusz Czarnowski, Piotr Jedrzejowicz, Ewa Ratajczak1
      Pages 385-395
  12. Formal Methods

    1. Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber
      Pages 396-409
    2. A. Chiappini, A. Cimatti, C. Porzia, G. Rotondo, R. Sebastiani, P. Traverso et al.
      Pages 410-419
    3. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
      Pages 420-430
    4. A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit Seshia, R. K. Shyamasundar
      Pages 431-444
  13. Security

  14. Back Matter
    Pages 481-482

About these proceedings


The European Commission emphasizes, in its Fifth Research Framework, the “. . . emerging generic dependability requirements in the information society, stemming both from the ubiquity and volume of embedded and networked systems and services as well as from the global and complex nature of large scale information and communication infrastructures, from citizens, administrations and business in terms of technologies, tools, systems, applications and services". The series of Conference on Computer Safety, Reliability, and Security (Safecomp) contributes to satisfy these requirements by reviewing the state of the art, experiences, and new trends in the relevant scientific and industrial areas. Safecomp is intended to be a platform for technology transfer among academia, industry, and research institutions, providing the opportunity for exchange of ideas, opinions, and visions among experts. This year Safecomp celebrates the 20th anniversary, its first Conference having been organized in Stuttgart by EWICS (European Workshop on Industrial Computer Systems) in 1979, and we hope these Proceedings will contribute to the celebration by supporting Safecomp aims. The Proceedings include the 25 papers that have been presented orally at the Conference and the full version of the 14 papers that have been presented as posters, all of which were selected from 76 submissions. Papers almost uniformly take up Safecomp topics, dealing with the issues of Safety Assessment and Human Factors, Verification and Validation, Design for Safety, Formal Methods, and Security.


Computer Safety Computer Security Dependable Computing Reactive Systems Safety-Critical Systems design formal method structured analysis validation verification

Authors and affiliations

  • Alberto Pasquini
    • 1
  1. 1.ENEA (sp 088)RomaItaly

Editors and affiliations

  • Massimo Felici
    • 1
  • Karama Kanoun
    • 2
  1. 1.ENEA (sp 088)RomaItaly
  2. 2.LAAS-CNRSToulouse Cedex 4France

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66488-8
  • Online ISBN 978-3-540-48249-9
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site