


default search action
12th ISoLA 2024: Crete, Greece - Part II
- Tiziana Margaria
, Bernhard Steffen
:
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. Lecture Notes in Computer Science 15220, Springer 2025, ISBN 978-3-031-75106-6 - Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 5rmth Track Edition. 1-12 - Kim G. Larsen
, Daniele Toller
, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
:
Optimality-Preserving Reduction of Chemical Reaction Networks. 13-32 - Julia Klein
, Alberto d'Onofrio
, Tatjana Petrov
:
Exploring Consensus Robustness in Swarms with Disruptive Individuals. 33-48 - Giorgio Audrito
, Ferruccio Damiani
, Gianluca Torta
:
Towards Real-Time Aggregate Computing. 49-68 - Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles in Semantic and Symbolic Environments. 69-87 - Yifeng Chen, Jeff W. Sanders:
The Evolving Conscious Agent, I. 88-103 - Philipp Altmann, Julian Schönberger, Steffen Illium, Maximilian Zorn
, Fabian Ritz, Tom Haider, Simon Burton, Thomas Gabor:
Emergence in Multi-agent Systems: A Safety Perspective. 104-120 - Eva Ósk Gunnarsdóttir, Anna Ingólfsdóttir:
The EM-BDD Algorithm For Learning Hidden Markov Models. 121-138 - Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti:
Is Machine Learning Model Checking Privacy Preserving? 139-155 - Jan Sürmeli
, Sergen Yilmaz
:
Matching Expectations in Ensembles: Connecting Verifiable Credentials and the Semantic Web. 156-172 - Peter Fettke
, Wolfgang Reisig
:
Once and for All: How to Compose Modules - The Composition Calculus. 173-190 - Uwe Aßmann
, Christian Gutsche
:
RailCabs and Birds in Julia - Context-Role Ensemble Engineering in Practice. 191-207 - Michal Töpfer
, Danylo Khalyeyev, Tomás Bures, Petr Hnetynka, Frantisek Plásil:
How Well Do LLMs Understand DEECo Ensemble-Based Component Architectures. 208-223 - Khalid Bourr, Francesco Tiezzi, Lorenzo Bettini:
Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim Code. 224-242 - Jaehun Lee, Kyungmin Bae
, Peter Csaba Ölveczky
:
Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL. 243-262 - Oliver Kosak
, Philipp Kastenmüller
, Constantin Wanninger
, Wolfgang Reif
:
An Approach for Extended Swarm Formation Flight with Drones: tt PROTEASE2.0. 263-280 - Nicola Del Giudice
, Michele Loreti
, Michela Quadrini
, Aniqa Rehman
:
Monitoring Local and Global Properties of Collective Adaptive Systems. 281-296 - Marco Maggesi
, Cosimo Perini Brogi
:
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic. 297-315 - Cinzia Bernardeschi
, Giuseppe Lettieri
, Federico Rossi
:
Statistical Model Checking of Cooperative Autonomous Driving Systems. 316-332 - Yehia Abd Alrahman
, Shaun Azzopardi
, Luca Di Stefano
, Nir Piterman
:
Attributed Point-to-Point Communication in R-CHECK. 333-350 - Michele Pasqua
, Marino Miculan
:
Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems. 351-367

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.