© 2011

Formal Methods for Industrial Critical Systems

16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

  • Gwen Salaün
  • Bernhard Schätz
Conference proceedings FMICS 2011

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

Table of contents

  1. Front Matter
  2. Leonardo de Moura
    Pages 5-5
  3. Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz
    Pages 21-36
  4. Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
    Pages 37-51
  5. Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St-Denis
    Pages 52-67
  6. Ilyas Daskaya, Michaela Huhn, Stefan Milius
    Pages 68-84
  7. Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis
    Pages 85-101
  8. Marten Sijtema, Mariëlle I. A. Stoelinga, Axel Belinfante, Lawrence Marinelli
    Pages 117-133
  9. Matthias Raffelsieper, MohammadReza Mousavi
    Pages 134-148
  10. Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand
    Pages 149-164
  11. Alessandro Aldini, Marco Bernardo, Jeremy Sproston
    Pages 165-179
  12. Frank P. M. Stappers, Michel A. Reniers, Sven Weber
    Pages 196-211
  13. Naghmeh Ghafari, Ramana Kumar, Jeff Joyce, Bernd Dehning, Christos Zamantzas
    Pages 212-227
  14. Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier
    Pages 228-243
  15. Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull
    Pages 244-259
  16. Back Matter

About these proceedings


This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.
The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. 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.


concurrency distributed model checking model-based development time constraint verification

Editors and affiliations

  • Gwen Salaün
    • 1
  • Bernhard Schätz
    • 2
  1. 1.Grenoble INP - INRIA - LIG, Montbonnot Saint-MartinFrance
  2. 2.fortiss GmbH, MünchenGermany

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment