Skip to main content
SpringerLink
Log in

Formal Aspects of Component Software

18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Silvia Lizeth Tapia Tarifa

    1. University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. José Proença

    1. CISTER Research Centre, ISEP, Porto, Portugal

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

Included in the following conference series:

Conference proceedings info: FACS 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 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-x
    Download chapter PDF

  2. Modelling and Verification

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Compositional Simulation of Abstract State Machines for Safety Critical Systems

      • Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
      Pages 3-19

    3. Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components

      • Joshua Heneage Dawes, Domenico Bianculli
      Pages 20-38

    4. Formally Characterizing the Effect of Model Transformations on System Properties

      • Rikayan Chaki, Anton Wijs
      Pages 39-58

    5. Interpretation and Formalization of the Right-of-Way Rules

      • Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron M. Dutle
      Pages 59-73

    6. Formal Model In-The-Loop for Secure Industrial Control Networks

      • Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha
      Pages 74-89

    7. Debugging of BPMN Processes Using Coloring Techniques

      • Quentin Nivon, Gwen Salaün
      Pages 90-109

    8. WEASY: A Tool for Modelling Optimised BPMN Processes

      • Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo
      Pages 110-118

  3. Logics and Semantics

    1. Front Matter

      Pages 119-119
      Download chapter PDF

    2. Embeddings Between State and Action Based Probabilistic Logics

      • Susmoy Das, Arpit Sharma
      Pages 121-140

    3. Footprint Logic for Object-Oriented Components

      • Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian
      Pages 141-160

    4. Decompositional Branching Bisimulation Minimisation of Monolithic Processes

      • Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim Willemse
      Pages 161-182

  4. Types and Choreographies

    1. Front Matter

      Pages 183-183
      Download chapter PDF

    2. Realisability of Branching Pomsets

      • Luc Edixhoven, Sung-Shik Jongmans
      Pages 185-204

    3. Liquidity Analysis in Resource-Aware Programming

      • Silvia Crafa, Cosimo Laneve
      Pages 205-221

    4. Open Compliance in Multiparty Sessions

      • Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro
      Pages 222-243

  5. Back Matter

    Pages 245-245
    Download chapter PDF
Back to top

Other volumes

  1. Formal Aspects of Component Software

Keywords

About this book

This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed.

Editors and Affiliations

  • University of Oslo, Oslo, Norway

    Silvia Lizeth Tapia Tarifa

  • CISTER Research Centre, ISEP, Porto, Portugal

    José Proença

Bibliographic Information

  • Book Title: Formal Aspects of Component Software

  • Book Subtitle: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings

  • Editors: Silvia Lizeth Tapia Tarifa, José Proença

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-20872-0

  • Publisher: Springer Cham

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

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022

  • Softcover ISBN: 978-3-031-20871-3Published: 03 November 2022

  • eBook ISBN: 978-3-031-20872-0Published: 02 November 2022

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 245

  • Number of Illustrations: 26 b/w illustrations, 25 illustrations in colour

  • Topics: Modern Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation