Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, and Frantisek Plasil. The Invariant Refinement Method, volume 8998 of LNCS, chapter 1.3.7. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).
Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, and Jan Kofron. Correctness of Service Components and Service Component Ensembles, volume 8998 of LNCS, chapter 1.2.3. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias Hölzl, Alberto Lluch Lafuente, Andrea Vandin, and Martin Wirsing. Reconciling White-Box and Black-Box Perspectives on Behavioral Self-Adaptation, volume 8998 of LNCS, chapter 1.3.1. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).
Nicklas Hoch, Giacoma Valentina Monreale, Ugo Montanari, Matteo Sammartino, and Alain Tcheukam Siwe. From Local to Global Knowledge and Back, volume 8998 of LNCS, chapter 1.3.2. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).
Matthias Hölzl and Thomas Gabor. Reasoning and Learning for Awareness and Adaptation, volume 8998 of LNCS, chapter 1.3.4. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).
Emil Vassev and Mike Hinchey. KnowLang: Knowledge Representation for Self-Adaptive Systems. IEEE Computer, 48(2), February 2015.
Ugo Montanari, Rosario Pugliese, and Francesco Tiezzi. Programming Autonomic Systems with Multiple Constraint Stores, volume 8950 of LLNC, pages 627–647. Springer, 2015.
Carlo Pinciroli, Michael Bonani, Francesco Mondada, and Marco Dorigo. Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms, volume 8998 of LNCS, chapter 1.3.7. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).
Emil Vassev. Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang. EAI Endorsed Transactions on Self-Adaptive Systems, 1(1):e6, January 2015. (doi:10.4108/sas.1.1.e6)
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, and Andrea Vandin. The SCEL Language: Design, Implementation, Verification, volume 8998 of LNCS, chapter 1.2.1. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).