Skip to main content
SpringerLink
Log in
Book cover

Formal Aspects of Component Software

15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Kyungmin Bae

    1. Pohang University of Science and Technology, Pohang, Korea (Republic of)

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Csaba Ölveczky

    1. University of Oslo, Oslo, Norway

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

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

Included in the following conference series:

Conference proceedings info: FACS 2018.

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 (15 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. What Good are Models?

      • Edward A. Lee, Marjan Sirjani
      Pages 3-31

  3. Regular Papers

    1. Front Matter

      Pages 33-33
      Download chapter PDF

    2. Building Correct SDN Components from a Global Event-B Formal Model

      • J. Christian Attiogbé
      Pages 35-53

    3. Event-B Formalization of a Variability-Aware Component Model Patterns Framework

      • Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali
      Pages 54-74

    4. A Logical Characterization of Differential Privacy via Behavioral Metrics

      • Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi
      Pages 75-96

    5. Incremental Computation of Synthesis Rules for Free-Choice Petri Nets

      • Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst
      Pages 97-117

    6. Programming Dynamic Reconfigurable Systems

      • Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
      Pages 118-136

    7. Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

      • Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
      Pages 137-155

    8. Using Coloured Petri Nets for Resource Analysis of Active Objects

      • Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
      Pages 156-174

    9. Adaptive Formal Framework for WMN Routing Protocols

      • Mojgan Kamali, Ansgar Fehnker
      Pages 175-195

    10. IsaK-Static: A Complete Static Semantics of \(\mathbb {K}\) 

      • Liyi Li, Elsa L. Gunter
      Pages 196-215

    11. Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting

      • Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
      Pages 216-236

    12. Actors with Coroutine Support in Java

      • Vlad Serbanescu, Frank de Boer, Mohammad Mahdi Jaghoori
      Pages 237-255

    13. Dynamic Cut-Off Algorithm for Parameterised Refinement Checking

      • Antti Siirtola, Keijo Heljanko
      Pages 256-276

  4. Tool Papers

    1. Front Matter

      Pages 277-277
      Download chapter PDF

    2. FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns

      • Diego Marmsoler, Habtom Kahsay Gidey
      Pages 279-287

    3. The SLCO Framework for Verified, Model-Driven Construction of Component Software

      • Sander de Putter, Anton Wijs, Dan Zhang
      Pages 288-296

  5. Back Matter

    Pages 297-297
    Download chapter PDF
Back to top

Other volumes

  1. Formal Aspects of Component Software

Keywords

About this book

This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.
The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 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

  • Pohang University of Science and Technology, Pohang, Korea (Republic of)

    Kyungmin Bae

  • University of Oslo, Oslo, Norway

    Peter Csaba Ölveczky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation