Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Tiziana Margaria

    1. University of Limerick and Lero, Limerick, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Steffen

    1. TU Dortmund, Dortmund, Germany

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

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

Included in the following conference series:

Conference proceedings info: ISoLA 2020.

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

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Automating Software Re-Engineering

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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. Finding Idioms in Source Code Using Subtree Counting Techniques

      • Dmitry Orlov
      Pages 44-54

    6. Parametric Timed Bisimulation

      • Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher
      Pages 55-71

    7. A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations

      • Marie-Christine Jakobs, Heiko Mantel
      Pages 72-92

    8. Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History

      • David A. Naumann
      Pages 93-116

    9. Safer Parallelization

      • Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf
      Pages 117-137

    10. 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
      Download chapter PDF

    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. Composition of Component Models - A Key to Construct Big Systems

      • Wolfgang Reisig
      Pages 171-188

    4. Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles

      • Stefano Mariani, Franco Zambonelli
      Pages 189-204

    5. Engineering Semantic Self-composition of Services Through Tuple-Based Coordination

      • Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
      Pages 205-223

    6. A Dynamic Logic for Systems with Predicate-Based Communication

      • Rolf Hennicker, Martin Wirsing
      Pages 224-242

    7. Abstractions for Collective Adaptive Systems

      • Omar Inverso, Catia Trubiani, Emilio Tuosto
      Pages 243-260

    8. Verifying AbC Specifications via Emulation

      • Rocco De Nicola, Tan Duong, Omar Inverso
      Pages 261-279

    9. Adaptive Security Policies

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

Other volumes

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

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

  3. Leveraging Applications of Formal Methods, Verification and Validation: Applications

  4. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Keywords

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.

 

 

Editors and Affiliations

  • University of Limerick and Lero, Limerick, Ireland

    Tiziana Margaria

  • TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation