Formal Techniques for Distributed Objects, Components, and Systems

37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

  • Ahmed Bouajjani
  • Alexandra Silva
Conference proceedings FORTE 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Manuel Adameit, Kirstin Peters, Uwe Nestmann
    Pages 1-16
  3. Alasdair Armstrong, Brijesh Dongol
    Pages 33-49
  4. Alasdair Armstrong, Brijesh Dongol, Simon Doherty
    Pages 50-66
  5. Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer
    Pages 67-73
  6. Mauricio Cano, Jaime Arias, Jorge A. Pérez
    Pages 74-91
  7. Luís Cruz-Filipe, Fabrizio Montesi
    Pages 92-107
  8. J. Paul Gibson, Souad Kherroubi, Dominique Méry
    Pages 124-138
  9. Ruggero Lanotte, Massimo Merro, Simone Tini
    Pages 139-155
  10. Nicolás Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry Rabehaja
    Pages 156-170
  11. Fabrizio Montesi
    Pages 171-178
  12. Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson
    Pages 179-193
  13. Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
    Pages 194-209
  14. Stefan J. J. Vijzelaar, Wan J. Fokkink
    Pages 210-224
  15. Marcel von Maltitz, Cornelius Diekmann, Georg Carle
    Pages 225-235
  16. Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
    Pages 236-242
  17. Back Matter
    Pages 243-243

About these proceedings


This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.

The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.


Component- and model-based design Object technology, modularity, software adaptation Software quality, reliability, availability, and safety Security, privacy, and trust in distributed systems Adaptive distributed systems, self-stabilization Self-healing/organizing Verification, validation, formal analysis, and testing Service-oriented and mobile computing systems

Editors and affiliations

  • Ahmed Bouajjani
    • 1
  • Alexandra Silva
    • 2
  1. 1.University Paris DiderotParisFrance
  2. 2.University College LondonLondonUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-60224-0
  • Online ISBN 978-3-319-60225-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software