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