Advertisement

© 2020

Formal Techniques for Distributed Objects, Components, and Systems

40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

  • Alexey Gotsman
  • Ana Sokolova
Conference proceedings FORTE 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xii
  2. Full Papers

    1. Front Matter
      Pages 1-1
    2. Marco Bernardo, Claudio Antares Mezzina
      Pages 22-38
    3. Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
      Pages 39-58
    4. Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
      Pages 59-77 Open Access
    5. Sergio Feo-Arenis, Milan Vujinović, Bernd Westphal
      Pages 78-95
    6. Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
      Pages 96-114
    7. Adam Shimi, Aurélie Hurault, Philippe Queinnec
      Pages 133-149
    8. Shukun Tokas, Olaf Owe
      Pages 169-186
  3. Tutorials

    1. Front Matter
      Pages 187-187
    2. Igor Konnov, Marijana Lazić, Ilina Stoilkovska, Josef Widder
      Pages 189-207
    3. A. Laura Voinea, Ornela Dardha, Simon J. Gay
      Pages 208-224
  4. Short Paper

    1. Front Matter
      Pages 225-225
    2. Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
      Pages 227-235
  5. Back Matter
    Pages 237-237

About these proceedings

Introduction

This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.*

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

*The conference was held virtually due to the COVID-19 pandemic.

Chapter ‘Conformance-Based Doping Detection for Cyber-Physical Systems’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Keywords

architecture verification and validation artificial intelligence computer security correlation analysis databases distributed computer systems distributed systems embedded systems formal logic model checking network protocols software architecture software design software engineering verification

Editors and affiliations

  • Alexey Gotsman
    • 1
  • Ana Sokolova
    • 2
  1. 1.IMDEA Software InstitutePozuelo de AlarcónSpain
  2. 2.University of SalzburgSalzburgAustria

Bibliographic information

  • Book Title Formal Techniques for Distributed Objects, Components, and Systems
  • Book Subtitle 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
  • Editors Alexey Gotsman
    Ana Sokolova
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect.Notes Computer
  • DOI https://doi.org/10.1007/978-3-030-50086-3
  • Copyright Information IFIP International Federation for Information Processing 2020
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-030-50085-6
  • eBook ISBN 978-3-030-50086-3
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XII, 237
  • Number of Illustrations 437 b/w illustrations, 32 illustrations in colour
  • Topics Software Engineering
    Logics and Meanings of Programs
    Computer Systems Organization and Communication Networks
    Artificial Intelligence
  • Buy this book on publisher's site