@Proceedings{Gnesi2001,
  title      = {Proceedings of the 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems 2000},
  editor     = {Stefania Gnesi and Ina Schieferdecker and Axel Rennoch},
  eventtitle = {FMICS'2000, April 3 - 4, 2000 in Berlin},
  articleno     = {91},
  publisher  = {Sankt Augustin: GMD Forschungszentrum Informationstechnik},
  series     = {GMD Report},
  abstract   = {The European Research Consortium for Informatics and Mathematics (ERCIM) has recently celebrated its 10th anniversary. The ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) is organizing its 5th International Workshop. FMICS workshops are dedicated to interested researchers at ERCIM sites, universities and industry active in the industrial application of formal methods. Among a variety of formal methods conferences and workshops FMICS is increasing its popularity. The idea of FMICS workshops is to attract people with industrial relevant topics, with internationally well-known invited speakers and with high-quality technical papers in combination with a discussion podium for the exchange of ideas. The workshop character of FMICS is realized on a minimal cost base. This time, FMICS is organized right after ETAPS'2000 - the European Joint Conferences on Theory and Practice of Software in Berlin. After starting the FMICS workshop series 1996 in Oxford (UK) further workshops followed 1997 in Cesena (I), 1998 in Amsterdam (NL) and 1999 in Trento (I). In 2000, the workshop is hosted and organized at the GMD Research Institute for Open Communication Systems (FOKUS) in Berlin, Germany. This year' workshop includes sessions on modelling, verification, testing and software development, MSC/SDL, and various applications and case studies. We are pleased to present two interesting invited talks: G{\"u}nter Karjoth, IBM Zurich (CH), addresses the value of formal methods for security properties such as confidentiality and authenticity. Holger Hermanns, University of Twente (NL), investigates in the performance and reliability model checking and construction. We wish to thank the members of the programme committee, especially the FMICS working group chairman Hubert Garavel, for the excellent assistance during the planing of the workshop, the invited speakers, the authors and the reviewers for their scientific contributions, the people from the GMD Fokus Competence Center TIP for preparing the workshop event, and ERCIM and GMD for their financial and organizational support of FMICS.},
  file       = {:2001/Gnesi2001 - Proceedings of the 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems 2000.pdf:PDF},
  issn       = {1435-2702},
  numpages   = {383},
  type       = {book},
  year       = {2001}
}