Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Alexey Gotsman

    1. IMDEA Software Institute, Pozuelo de Alarcón, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ana Sokolova

    1. University of Salzburg, Salzburg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FORTE 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Full Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego

      • Davide Basile, Maurice H. ter Beek, Axel Legay
      Pages 3-21

    3. Towards Bridging Time and Causal Reversibility

      • Marco Bernardo, Claudio Antares Mezzina
      Pages 22-38

    4. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory

      • Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
      Pages 39-58

    5. Conformance-Based Doping Detection for Cyber-Physical Systems

      • Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
      Pages 59-77Open Access

    6. On Implementable Timed Automata

      • Sergio Feo-Arenis, Milan Vujinović, Bernd Westphal
      Pages 78-95

    7. Deep Statistical Model Checking

      • Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
      Pages 96-114

    8. Trace Equivalence and Epistemic Logic to Express Security Properties

      • Kiraku Minami
      Pages 115-132

    9. Derivation of Heard-of Predicates from Elementary Behavioral Patterns

      • Adam Shimi, Aurélie Hurault, Philippe Queinnec
      Pages 133-149

    10. Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities

      • Jeremy Sproston
      Pages 150-168

    11. A Formal Framework for Consent Management

      • Shukun Tokas, Olaf Owe
      Pages 169-186

  3. Tutorials

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. Tutorial: Parameterized Verification with Byzantine Model Checker

      • Igor Konnov, Marijana Lazić, Ilina Stoilkovska, Josef Widder
      Pages 189-207

    3. Typechecking Java Protocols with [St]Mungo

      • A. Laura Voinea, Ornela Dardha, Simon J. Gay
      Pages 208-224

  4. Short Paper

    1. Front Matter

      Pages 225-225
      Download chapter PDF

    2. Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)

      • Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
      Pages 227-235

  5. Back Matter

    Pages 237-237
    Download chapter PDF
Back to top

Other volumes

  1. Formal Techniques for Distributed Objects, Components, and Systems

Keywords

About this book

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.

Editors and Affiliations

  • IMDEA Software Institute, Pozuelo de Alarcón, Spain

    Alexey Gotsman

  • University of Salzburg, Salzburg, Austria

    Ana Sokolova

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

  • DOI: https://doi.org/10.1007/978-3-030-50086-3

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: IFIP International Federation for Information Processing 2020

  • Softcover ISBN: 978-3-030-50085-6Published: 10 June 2020

  • eBook ISBN: 978-3-030-50086-3Published: 09 June 2020

  • 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

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation