Rolf Hennicker, Annabelle Klarl, and Martin Wirsing. Model-Checking Helena Ensemble Specifications with Spin. In Narciso Marti-Oliet, Carolyn Talcott, and Peter Olveczky, editors, Logic, Rewriting, and Concurrency, LNCS. Springer, 2015. Submitted.
Stefanie Neubert, Lenz Belzner, and Martin Wirsing. Algebraic Reinforcement Learning. In Narciso Marti-Oliet, Carolyn Talcott, and Peter Olveczky, editors, Logic, Rewriting, and Concurrency, LNCS. Springer, 2015. Submitted.
Ugo Montanari, Rosario Pugliese, and Francesco Tiezzi. Programming Autonomic Systems with Multiple Constraint Stores. In Rocco De Nicola and Rolf Hennicker, editors, Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, pages 641–661. Springer International Publishing, 2015. (doi:10.1007/978-3-319-15545-6_36)
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).
Nikola Serbedzija. The ASCENS Case Studies: Results and Common Aspects, volume 8998 of LNCS, chapter 1.3.7. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).
Nikola Šerbedžija. Adaptive and Autonomous Systems and Their Impact on Us. In Rocco De Nicola and Rolf Hennicker, editors, Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, pages 662–675. Springer International Publishing, 2015. (doi:10.1007/978-3-319-15545-6_37)
Joseph Sifakis, Saddek Bensalem, Simon Bliudze, and Marius Bozga. A Theory Agenda for Component-Based Design. In Rocco De Nicola and Rolf Hennicker, editors, Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, pages 409–439. Springer International Publishing, 2015. (doi:10.1007/978-3-319-15545-6_24)