Skip to main content
SpringerLink
Log in

Formal Aspects of Component Software

19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

  • Conference proceedings
  • © 2024

Overview

Editors:
  1. Javier Cámara

    1. University of Malaga, Málaga, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sung-Shik Jongmans

    1. Open University of Netherlands, Heerlen, 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 14485)

Included in the following conference series:

Conference proceedings info: FACS 2023.

  • 802 Accesses

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

  1. Front Matter

    Pages i-xxii
    Download chapter PDF

  2. Research Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Symbolic Path-Guided Test Cases for Models with Data and Time

      • Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Thang Nguyen
      Pages 3-22

    3. Model-Based Testing of Asynchronously Communicating Distributed Controllers

      • Bence Graics, Milán Mondok, Vince Molnár, István Majzik
      Pages 23-44

    4. A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime

      • Stefan Hallerstede, John Hatcliff
      Pages 45-64

    5. A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer

      • Naoya Nitta, Shinji Kageyama, Kouta Fujii
      Pages 65-83

    6. Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components

      • Perla Tannoury, Samir Chouali, Ahmed Hammad
      Pages 84-102

    7. From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs

      • Germán Vidal
      Pages 103-123

  4. Back Matter

    Pages 229-229
    Download chapter PDF
Back to top

Other volumes

  1. Formal Aspects of Component Software

Keywords

About this book

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.

The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.

Editors and Affiliations

  • University of Malaga, Málaga, Spain

    Javier Cámara

  • Open University of Netherlands, Heerlen, The Netherlands

    Sung-Shik Jongmans

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation