Skip to main content
SpringerLink
Log in

Formal Techniques for Distributed Objects, Components, and Systems

42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Mohammad Reza Mousavi

    1. King's College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anna Philippou

    1. University of Cyprus, Nicosia, Cyprus

    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 13273)

Included in the following conference series:

Conference proceedings info: FORTE 2022.

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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 (12 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Monitoring Hyperproperties with Circuits

    • Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
    Pages 1-10

  3. Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2

    • Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
    Pages 11-30

  4. The Reversible Temporal Process Language

    • Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
    Pages 31-49

  5. Branch-Well-Structured Transition Systems and Extensions

    • Benedikt Bollig, Alain Finkel, Amrita Suresh
    Pages 50-66

  6. Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems

    • Bineet Ghosh, Étienne André
    Pages 67-87

  7. Co-engineering Safety-Security Using Statistical Model Checking

    • Rajesh Kumar, Siddhant Singh, Bhavesh Narra, Rohan Kela
    Pages 88-92

  8. Fault-Tolerant Multiparty Session Types

    • Kirstin Peters, Uwe Nestmann, Christoph Wagner
    Pages 93-113

  9. Effective Reductions of Mealy Machines

    • Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
    Pages 114-130

  10. Traits: Correctness-by-Construction for Free

    • Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
    Pages 131-150

  11. Encodability Criteria for Quantum Based Systems

    • Anna Schmitt, Kirstin Peters, Yuxin Deng
    Pages 151-169

  12. LTL Under Reductions with Weaker Conditions Than Stutter Invariance

    • Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
    Pages 170-187

  13. Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives

    • Germán Vidal
    Pages 188-207

  14. Back Matter

    Pages 209-209
    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 refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.

Editors and Affiliations

  • King's College London, London, UK

    Mohammad Reza Mousavi

  • University of Cyprus, Nicosia, Cyprus

    Anna Philippou

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation