© 2013

Formal Methods for Industrial Critical Systems

18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

  • Charles Pecheur
  • Michael Dierkes


  • Fast conference proceedings

  • State-of-the-art report

  • Up to date results

Conference proceedings FMICS 2013

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

Table of contents

  1. Front Matter
  2. Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux
    Pages 1-16
  3. Christoph Zengler, Wolfgang Küchlin
    Pages 48-62
  4. Jennifer A. Davis, Matthew Clark, Darren Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan Hoffman et al.
    Pages 63-77
  5. Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jérôme Quévremont
    Pages 78-93
  6. Helene Leroux, Karen Godary-Dejean, David Andreu
    Pages 94-107
  7. Abderahman Kriouile, Wendelin Serwe
    Pages 108-122
  8. Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski
    Pages 123-138
  9. Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer
    Pages 139-153
  10. Paul Jackson, Florian Schanda, Angela Wallenburg
    Pages 154-168
  11. Adil Khurram, Haider Ali, Arham Tariq, Osman Hasan
    Pages 169-183
  12. Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero
    Pages 184-198
  13. Back Matter

About these proceedings


This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selected from 25 submissions and cover topics such as design, specification, code generation and testing based on formal methods, methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, dependable, real-time systems and embedded systems, verification and validation methods, tools for the development of formal design descriptions, case studies and experience reports on industrial applications of formal methods, impact of the adoption of formal methods on the development process and associated costs, application of formal methods in standardization and industrial forums.


FPGA PRISM probabilistic model checking program verification timed petri nets

Editors and affiliations

  • Charles Pecheur
    • 1
  • Michael Dierkes
    • 2
  1. 1.Université catholique de LouvainLouvain-la-NeuveBelgium
  2. 2.Rockwell Collins FranceBlagnacFrance

Bibliographic information