© 2009

Formal Methods for Industrial Critical Systems

13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers

  • Darren Cofer
  • Alessandro Fantechi
Conference proceedings FMICS 2008

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

Table of contents

  1. Front Matter
  2. Invited Presentations

  3. Panel

  4. Research Papers

    1. Guy Durrieu, Hélène Waeselynck, Virginie Wiels
      Pages 7-22
    2. Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis
      Pages 23-36
    3. Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, Jana Tůmová
      Pages 53-68
    4. José Vander Meulen, Charles Pecheur
      Pages 69-84
    5. Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko van Eekelen
      Pages 85-102
    6. Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
      Pages 103-118
    7. Xiayong Hu, Mark Lawford, Alan Wassyng
      Pages 119-134
    8. Christian Colombo, Gordon J. Pace, Gerardo Schneider
      Pages 135-149
    9. Jiří Barnat, Luboš Brim, Stefan Edelkamp, Damian Sulewski, Pavel Šimeček
      Pages 150-165
    10. Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
      Pages 166-181
    11. Mauricio Alba-Castro, María Alpuente, Santiago Escobar
      Pages 182-198
    12. María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
      Pages 215-231
  5. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International Conference on Automated Software Engineering.

The 14 revised full papers presented together with the abstracts of 3 invited presentations and 2 short presentations introducing the panel were carefully selected from 36 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications. They cover topics such as model checking, testing, software verification, real-time performance, and industrial case studies.


automation avionics case study coloured Petri nets compositional modeling constraints demand-driven evaluation distributed verification flight control formal specification formal verification functional specification checking software engineering testing verification

Editors and affiliations

  • Darren Cofer
    • 1
  • Alessandro Fantechi
    • 2
  1. 1.Rockwell CollinsBloomingtonUSA
  2. 2.Dipartimento di Sistemi e InformaticaUniversità di FirenzeFirenzeItaly

Bibliographic information