Skip to main content
SpringerLink
Log in
Book cover

Formal Aspects of Component Software

16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Farhad Arbab

    1. CWI, University of Leiden, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sung-Shik Jongmans

    1. Open University of the 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 12018)

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

Included in the following conference series:

Conference proceedings info: FACS 2019.

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 54.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 (14 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Modeling Guidelines for Component-Based Supervisory Control Synthesis

      • Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, Wan Fokkink, Jacobus Rooda
      Pages 3-24

    3. Modelling and Analysing Software in mCRL2

      • Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse
      Pages 25-48

  3. Regular Papers

    1. Front Matter

      Pages 49-49
      Download chapter PDF

    2. A Formally Verified Model of Web Components

      • Achim D. Brucker, Michael Herzberg
      Pages 51-71

    3. Minimizing Characterizing Sets

      • Kadir Bulut, Guy Vincent Jourdan, Uraz Cengiz Türker
      Pages 72-86

    4. A Bond-Graph Metamodel:

      • Reynaldo Cobos Méndez, Julio de Oliveira Filho, Douwe Dresscher, Jan Broenink
      Pages 87-105

    5. Multilabeled Petri Nets

      • Kasper Dokter
      Pages 106-126

    6. A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models

      • Timm Liebrenz, Paula Herber, Sabine Glesner
      Pages 127-146

    7. Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata

      • Lars Luthmann, Hendrik Göttmann, Malte Lochau
      Pages 147-169

    8. RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers

      • Tobias Reiher, Alexander Senier, Jeronimo Castrillon, Thorsten Strufe
      Pages 170-190

    9. State Identification for Labeled Transition Systems with Inputs and Outputs

      • Petra van den Bos, Frits Vaandrager
      Pages 191-212

    10. Combining State- and Event-Based Semantics to Verify Highly Available Programs

      • Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
      Pages 213-232

  4. Short Papers

    1. Front Matter

      Pages 233-233
      Download chapter PDF

    2. Reowolf: Synchronous Multi-party Communication over the Internet

      • Christopher A. Esterhuyse, Hans-Dieter A. Hiep
      Pages 235-242

    3. Modeling and Verifying Dynamic Architectures with FACTum Studio

      • Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler
      Pages 243-251

    4. Revisiting Trace Equivalences for Markov Automata

      • Arpit Sharma
      Pages 252-260

  5. Back Matter

    Pages 261-261
    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 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.


The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. 
FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.


Editors and Affiliations

  • CWI, University of Leiden, Leiden, The Netherlands

    Farhad Arbab

  • Open University of the Netherlands, Heerlen, The Netherlands

    Sung-Shik Jongmans

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation