Skip to main content
  • Conference proceedings
  • © 2020

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Editors:

(view affiliations)

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12477)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ISoLA: International Symposium on Leveraging Applications of Formal Methods

Conference proceedings info: ISoLA 2020.

Buying options

eBook
USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-030-61470-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 119.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (31 papers)

  1. Front Matter

    Pages i-xv
  2. Automating Software Re-Engineering

    1. Front Matter

      Pages 1-1
    2. Automating Software Re-engineering

      • Serge Demeyer, Reiner Hähnle, Heiko Mantel
      Pages 3-8
    3. Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing

      • Serge Demeyer, Ali Parsai, Sten Vercammen, Brent van Bladel, Mehrdad Abdi
      Pages 9-24
    4. Modular Regression Verification for Reactive Systems

      • Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch
      Pages 25-43
    5. Parametric Timed Bisimulation

      • Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher
      Pages 55-71
    6. A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations

      • Marie-Christine Jakobs, Heiko Mantel
      Pages 72-92
    7. Safer Parallelization

      • Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf
      Pages 117-137
    8. Refactoring and Active Object Languages

      • Volker Stolz, Violet Ka I Pun, Rohit Gheyi
      Pages 138-158
  3. Rigorous Engineering of Collective Adaptive Systems

    1. Front Matter

      Pages 159-159
    2. Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition

      • Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
      Pages 161-170
    3. Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles

      • Stefano Mariani, Franco Zambonelli
      Pages 189-204
    4. Engineering Semantic Self-composition of Services Through Tuple-Based Coordination

      • Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
      Pages 205-223
    5. A Dynamic Logic for Systems with Predicate-Based Communication

      • Rolf Hennicker, Martin Wirsing
      Pages 224-242
    6. Abstractions for Collective Adaptive Systems

      • Omar Inverso, Catia Trubiani, Emilio Tuosto
      Pages 243-260
    7. Verifying AbC Specifications via Emulation

      • Rocco De Nicola, Tan Duong, Omar Inverso
      Pages 261-279
    8. Adaptive Security Policies

      • Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
      Pages 280-294

Other Volumes

  1. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
  2. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
  3. Leveraging Applications of Formal Methods, Verification and Validation: Applications

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
  4. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV

About this book

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.

The papers presented were carefully reviewed and selected for inclusion in the proceedings.

Each volume focusses on an individual topic with topical section headings within the volume:

Part I, Verification Principles:
Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.

Part II, Engineering Principles:
Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.

Part III, Applications:
Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.

 

 

Keywords

  • architecting
  • artificial intelligence
  • computer networks
  • computer programming
  • computer systems
  • distributed computer systems
  • embedded systems
  • formal logic
  • linguistics
  • object-oriented programming
  • robotics
  • signal processing
  • software architecture
  • software design
  • software engineering
  • formal verification
  • software re-engineering
  • formal methods

Editors and Affiliations

  • University of Limerick and Lero, Limerick, Ireland

    Tiziana Margaria

  • TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Buying options

eBook
USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-030-61470-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 119.99
Price excludes VAT (USA)