Skip to main content
SpringerLink
Log in

Formal Aspects of Component Software

17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Gwen Salaün

    1. Grenoble Alpes University, Saint-Martin-d'Hères, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anton Wijs

    1. Eindhoven University of Technology, Eindhoven, The Netherlands

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

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

Included in the following conference series:

Conference proceedings info: FACS 2021.

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

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Learning Assumptions for Verifying Cryptographic Protocols Compositionally

      • Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina Păsăreanu
      Pages 3-23

  3. Modelling and Composition

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Component-Based Approach Combining UML and BIP for Rigorous System Design

      • Salim Chehida, Abdelhakim Baouya, Saddek Bensalem
      Pages 27-43

    3. Composable Partial Multiparty Session Types

      • Claude Stolze, Marino Miculan, Pietro Di Gianantonio
      Pages 44-62

    4. A Canonical Algebra of Open Transition Systems

      • Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Paweł Sobociński
      Pages 63-81

    5. Corinne, a Tool for Choreography Automata

      • Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto
      Pages 82-92

  4. Verification

    1. Front Matter

      Pages 93-93
      Download chapter PDF

    2. Specification and Safety Verification of Parametric Hierarchical Distributed Systems

      • Marius Bozga, Radu Iosif
      Pages 95-114

    3. A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions

      • Jan Martens, Jan Friso Groote, Lars van den Haak, Pieter Hijma, Anton Wijs
      Pages 115-133Open Access

    4. Automated Generation of Initial Configurations for Testing Component Systems

      • Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
      Pages 134-152

    5. Monitoring Distributed Component-Based Systems

      • Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga
      Pages 153-173

  5. Back Matter

    Pages 175-175
    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 17th International Symposium, FACS 2021, which was hel virtually in October 2021.

The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. 
Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Editors and Affiliations

  • Grenoble Alpes University, Saint-Martin-d'Hères, France

    Gwen Salaün

  • Eindhoven University of Technology, Eindhoven, The Netherlands

    Anton Wijs

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation