Formal Aspects of Component Software

13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

  • Olga Kouchnarenko
  • Ramtin Khosravi
Conference proceedings FACS 2016

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10231)

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Invited Papers

  3. Full Research Papers

    1. Front Matter
      Pages 15-15
    2. Luís Cruz-Filipe, Fabrizio Montesi
      Pages 17-35
    3. Pascal Poizat, Gwen Salaün, Ajay Krishna
      Pages 36-53
    4. Lars Luthmann, Stephan Mennicke, Malte Lochau
      Pages 54-72
    5. Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli
      Pages 92-110
    6. Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang
      Pages 111-133
    7. Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
      Pages 134-152
    8. Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh
      Pages 153-171
    9. Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
      Pages 172-190
    10. Sung-Shik T. Q. Jongmans
      Pages 191-209
    11. Vanderson Hafemann Fragal, Adenilso Simao, Mohammad Reza Mousavi
      Pages 210-227
  4. Tool Papers

    1. Front Matter
      Pages 229-229
  5. Applications and Experiences Papers

    1. Front Matter
      Pages 239-239
    2. Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar et al.
      Pages 241-259
    3. Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton Ivanov, Panagiotis Katsaros, Joseph Sifakis
      Pages 260-279
  6. Back Matter
    Pages 281-281

About these proceedings


This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besançon, France, in October 2016.

The 11 full papers presented together with one tool paper and 3 invited papers were carefully reviewed and selected from 27 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.


cyber-physical systems formal methods model-based testing self-adaptive system software product line component/service re-engineering and reuse coordination language coq finite state machine formal modeling model validation performance analysis service oriented architectures and business processes software adaptation software components software development techniques software verification and validation statistical model checking stochastic hybrid automata system modeling languages

Editors and affiliations

  1. 1.Université Bourgogne Franche-ComtéBesançonFrance
  2. 2.University of Tehran TehranIran

Bibliographic information