Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II

  • Conference proceedings
  • © 2025

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 University, 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 15220)

Included in the following conference series:

Conference proceedings info: ISoLA 2024.

  • 1951 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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 74.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

About this book

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. 

ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

 

Keywords

Table of contents (21 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Rigorous Engineering of Collective Adaptive Systems Introduction to the 5\(^{\textrm{th}}\) Track Edition

    • Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone
    Pages 1-12

  3. Optimality-Preserving Reduction of Chemical Reaction Networks

    • Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
    Pages 13-32

  4. Exploring Consensus Robustness in Swarms with Disruptive Individuals

    • Julia Klein, Alberto d’Onofrio, Tatjana Petrov
    Pages 33-48

  5. Towards Real-Time Aggregate Computing

    • Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
    Pages 49-68

  6. Epistemic Ensembles in Semantic and Symbolic Environments

    • Rolf Hennicker, Alexander Knapp, Martin Wirsing
    Pages 69-87

  7. The Evolving Conscious Agent, I

    • Yifeng Chen, J. W. Sanders
    Pages 88-103

  8. Emergence in Multi-agent Systems: A Safety Perspective

    • Philipp Altmann, Julian Schönberger, Steffen Illium, Maximilian Zorn, Fabian Ritz, Tom Haider et al.
    Pages 104-120

  9. The EM-BDD Algorithm For Learning Hidden Markov Models

    • Eva Ósk Gunnarsdóttir, Anna Ingólfsdóttir
    Pages 121-138

  10. Is Machine Learning Model Checking Privacy Preserving?

    • Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti
    Pages 139-155

  11. Matching Expectations in Ensembles: Connecting Verifiable Credentials and the Semantic Web

    • Jan Sürmeli, Sergen Yilmaz
    Pages 156-172

  12. Once and for All: How to Compose Modules – The Composition Calculus

    • Peter Fettke, Wolfgang Reisig
    Pages 173-190

  13. RailCabs and Birds in Julia

    • Uwe Aßmann, Christian Gutsche
    Pages 191-207

  14. How Well Do LLMs Understand DEECo Ensemble-Based Component Architectures

    • Michal Töpfer, Danylo Khalyeyev, Tomáš Bureš, Petr Hnětynka, František Plášil
    Pages 208-223

  15. Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim Code

    • Khalid Bourr, Francesco Tiezzi, Lorenzo Bettini
    Pages 224-242

  16. Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL

    • Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky
    Pages 243-262

  17. An Approach for Extended Swarm Formation Flight with Drones: \(\texttt {PROTEASE}^{2.0}\)

    • Oliver Kosak, Philipp Kastenmüller, Constantin Wanninger, Wolfgang Reif
    Pages 263-280

  18. Monitoring Local and Global Properties of Collective Adaptive Systems

    • Nicola Del Giudice, Michele Loreti, Michela Quadrini, Aniqa Rehman
    Pages 281-296

  19. Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic

    • Marco Maggesi, Cosimo Perini Brogi
    Pages 297-315

  20. Statistical Model Checking of Cooperative Autonomous Driving Systems

    • Cinzia Bernardeschi, Giuseppe Lettieri, Federico Rossi
    Pages 316-332
Back to top

Other volumes

  1. Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

  2. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

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

  4. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

  5. Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Editors and Affiliations

  • University of Limerick, CSIS and Lero, Limerick, Ireland

    Tiziana Margaria

  • TU Dortmund University, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation