Skip to main content
SpringerLink
Log in

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Tiziana Margaria

    1. University of Limerick, CSIS 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 13703)

Included in the following conference series:

Conference proceedings info: ISoLA 2022.

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

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Rigorous Engineering of Collective Adaptive Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition

      • Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
      Pages 3-12

    3. Correct by Design Coordination of Autonomous Driving Systems

      • Marius Bozga, Joseph Sifakis
      Pages 13-29

    4. Neural Predictive Monitoring for Collective Adaptive Systems

      • Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
      Pages 30-46

    5. An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs

      • Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky
      Pages 47-64

    6. Discrete Models of Continuous Behavior of Collective Adaptive Systems

      • Peter Fettke, Wolfgang Reisig
      Pages 65-81

    7. Modelling Flocks of Birds from the Bottom Up

      • Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
      Pages 82-96

    8. Towards Drone Flocking Using Relative Distance Measurements

      • Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
      Pages 97-109

    9. Epistemic Ensembles

      • Rolf Hennicker, Alexander Knapp, Martin Wirsing
      Pages 110-126Open Access

    10. A Modal Approach to Consciousness of Agents

      • Chen Yifeng, J. W. Sanders
      Pages 127-141

    11. An Experimental Toolchain for Strategy Synthesis with Spatial Properties

      • Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
      Pages 142-164

    12. Toward a Kinetic Framework to Model the Collective Dynamics of Multi-agent Systems

      • Stefania Monica, Federico Bergenti, Franco Zambonelli
      Pages 165-180

    13. Understanding Social Feedback in Biological Collectives with Smoothed Model Checking

      • Julia Klein, Tatjana Petrov
      Pages 181-198Open Access

    14. Efficient Estimation of Agent Networks

      • Alexander Leguizamon-Robayo, Max Tschaikowski
      Pages 199-214

    15. Attuning Adaptation Rules via a Rule-Specific Neural Network

      • Tomáš Bureš, Petr Hnětynka, Martin Kruliš, František Plášil, Danylo Khalyeyev, Sebastian Hahner et al.
      Pages 215-230

    16. Measuring Convergence Inertia: Online Learning in Self-adaptive Systems with Context Shifts

      • Elvin Alberts, Ilias Gerostathopoulos
      Pages 231-248

    17. Capturing Dependencies Within Machine Learning via a Formal Process Model

      • Fabian Ritz, Thomy Phan, Andreas Sedlmeier, Philipp Altmann, Jan Wieghardt, Reiner Schmid et al.
      Pages 249-265

    18. On Model-Based Performance Analysis of Collective Adaptive Systems

      • Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
      Pages 266-282

    19. Programming Multi-robot Systems with X-KLAIM

      • Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
      Pages 283-300
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. Software Engineering

  3. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

  4. Leveraging Applications of Formal Methods, Verification and Validation. Practice

Keywords

About this book

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. 

The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.


Editors and Affiliations

  • University of Limerick, CSIS 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