default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th 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.
last updated on 2025-11-13 22:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
