![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
The ASCENS Approach 2015
- Martin Wirsing, Matthias M. Hölzl, Nora Koch
, Philip Mayer:
Software Engineering for Collective Autonomic Systems - The ASCENS Approach. Lecture Notes in Computer Science 8998, Springer 2015, ISBN 978-3-319-16309-3
Language and Verification for Collective Autonomic Systems
- Rocco De Nicola
, Diego Latella, Alberto Lluch-Lafuente
, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
:
The SCEL Language: Design, Implementation, Verification. 3-71 - Roberto Bruni, Ugo Montanari, Matteo Sammartino:
Reconfigurable and Software-Defined Networks of Connectors and Components. 73-106 - Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron:
Correctness of Service Components and Service Component Ensembles. 107-159
Modeling and Theory of Adaptive and Self-aware Systems
- Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente
, Andrea Vandin
, Martin Wirsing:
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. 163-184 - Nicklas Hoch, Giacoma Valentina Monreale, Ugo Montanari, Matteo Sammartino, Alain Tcheukam Siwe:
From Local to Global Knowledge and Back. 185-220 - Emil Vassev, Mike Hinchey:
Knowledge Representation for Adaptive and Self-aware Systems. 221-247 - Matthias M. Hölzl, Thomas Gabor:
Reasoning and Learning for Awareness and Adaptation. 249-290 - Lubomír Bulej, Tomás Bures, Ilias Gerostathopoulos, Vojtech Horký, Jaroslav Keznikl, Lukás Marek, Max Tschaikowski
, Mirco Tribastone, Petr Tuma
:
Supporting Performance Awareness in Autonomous Ensembles. 291-322
Engineering Techniques for Collective Autonomic Systems
- Matthias M. Hölzl, Nora Koch
, Mariachiara Puviani, Martin Wirsing, Franco Zambonelli:
The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems. 325-354 - Victor Noël
, Franco Zambonelli:
Methodological Guidelines for Engineering Self-organization and Emergence. 355-378 - Emil Vassev, Mike Hinchey:
Engineering Requirements for Autonomy Features. 379-403 - Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka
, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
:
The Invariant Refinement Method. 405-428 - Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente
, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma
, Andrea Vandin
, Emil Vassev:
Tools for Ensemble Design and Runtime. 429-448
Case Studies: Challenges and Feedback
- Nikola B. Serbedzija:
The ASCENS Case Studies: Results and Common Aspects. 451-469 - Carlo Pinciroli, Michael Bonani, Francesco Mondada, Marco Dorigo:
Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms. 471-494 - Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures:
The Autonomic Cloud. 495-512 - Nicklas Hoch, Henry-Paul Bensler, Dhaminda B. Abeywickrama, Tomás Bures, Ugo Montanari:
The E-mobility Case Study. 513-533
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.