Formal Techniques for Distributed Objects, Components, and Systems

38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

  • Christel Baier
  • Luís Caires
Conference proceedings FORTE 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
    Pages 1-20
  3. Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
    Pages 21-40
  4. Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
    Pages 41-57
  5. Ruggero Lanotte, Massimo Merro, Andrei Munteanu
    Pages 58-78
  6. Jovanka Pantović, Ivan Prokić, Hugo Torres Vieira
    Pages 101-120
  7. Laure Petrucci, Jaco van de Pol
    Pages 121-140
  8. Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld
    Pages 141-160
  9. Jonas Westman, Mattias Nyberg
    Pages 181-195
  10. Back Matter
    Pages 197-197

About these proceedings


This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.

The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.


Model-Based Design Object technology modularity Software Adaptation Service-oriented computer system Software quality Safety Verification Adaptive distributed systems Security Privacy Semantics Software engineering distributed computer systems specifications distributed systems

Editors and affiliations

  1. 1.Technische Universität DresdenDresdenGermany
  2. 2.Departamento de InformáticaUniversidade Nova de LisboaCaparicaPortugal

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-92611-7
  • Online ISBN 978-3-319-92612-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site