Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

  • Christiano Braga
  • Peter Csaba Ölveczky
Conference proceedings FACS 2015

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Lenz Belzner, Rolf Hennicker, Martin Wirsing
    Pages 1-30
  3. Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak-Kare Gueye
    Pages 48-65
  4. Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi
    Pages 66-85
  5. Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
    Pages 86-104
  6. Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
    Pages 105-122
  7. Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof
    Pages 123-140
  8. Dragan Bošnački, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede et al.
    Pages 141-160
  9. Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi
    Pages 161-180
  10. Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini
    Pages 181-198
  11. Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I. Pun
    Pages 199-216
  12. Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab
    Pages 217-236
  13. Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi
    Pages 237-255
  14. Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
    Pages 256-274
  15. Yael Meller, Orna Grumberg, Karen Yorav
    Pages 275-293
  16. José Proença, Dave Clarke
    Pages 294-311
  17. Jonas Westman, Mattias Nyberg
    Pages 312-329
  18. Back Matter
    Pages 331-331

About these proceedings


This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.

The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, component-based software development through research on mathematical models for components, composition and adaptation; rigorous approaches to verification, deployment, testing, and certification.


component software model checking modeling simulation software engineering analysis tools b-method certification formal methods formal models formal semantics logic and verification modeling approaches models of computation operational semantics service-oriented computing software architectures timed automata transformation type theory

Editors and affiliations

  • Christiano Braga
    • 1
  • Peter Csaba Ölveczky
    • 2
  1. 1.Universidade Federal FluminenseNiteróiBrazil
  2. 2.University of OsloOsloNorway

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-28933-5
  • Online ISBN 978-3-319-28934-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site