© 2009

Formal Methods for Industrial Critical Systems

14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

  • María Alpuente
  • Byron Cook
  • Christophe Joubert
Conference proceedings FMICS 2009

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Contributed Papers

    1. José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira
      Pages 37-52
    2. David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine
      Pages 53-69
    3. Sami Evangelista, Lars Michael Kristensen
      Pages 70-85
    4. Ángel Herranz, Julio Mariño, Manuel Carro, Juan José Moreno Navarro
      Pages 102-116
    5. Matthias Raffelsieper, MohammadReza Mousavi, Jan-Willem Roorda, Chris Strolenberg, Hans Zantema
      Pages 133-148
    6. Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko van Eekelen, Sjaak Smetsers
      Pages 149-164
    7. Kenneth J. Turner, Koon Leai Larry Tan
      Pages 165-180
    8. Javier de Dios, Ricardo Peña
      Pages 181-196
  4. Selected Posters

    1. Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccoló Zingoni
      Pages 197-198
    2. Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai
      Pages 199-201
    3. Lukas Ladenberger, Jens Bendisposto, Michael Leuschel
      Pages 202-204
    4. Dragan Bošnački, Aad Mathijssen, Yaroslav S. Usenko
      Pages 205-206
    5. Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur
      Pages 207-209

About these proceedings


This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009.

The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters.

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.


Java Linux Simulation automation avionics case study compositional modeling concurrency constraints distributed verification formal methods formal specification modeling testing verification

Editors and affiliations

  • María Alpuente
    • 1
  • Byron Cook
    • 2
  • Christophe Joubert
    • 1
  1. 1.DSIC/ELPUniversidad Politécnica de ValenciaValenciaSpain
  2. 2.Microsoft ResearchCambridgeUK

Bibliographic information