Nicklas Hoch, Henry-Paul Bensler, Dhaminda Abeywickrama, Tomas Bures, and Ugo Montanari. The E-Mobility Case Study, volume 8998 of LNCS, chapter 1.3.7. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).
Nicola Bicocchi, Letizia Leonardi, and Franco Zambonelii. Software-Intensive Systems for Smart Cities: From Ensembles to Superorganisms. In Rocco De Nicola and Rolf Hennicker, editors, Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, pages 538–551. Springer International Publishing, 2015. (doi:10.1007/978-3-319-15545-6_31)
Roberto Bruni, Alberto Lluch-Lafuente, and Ugo Montanari. Constraint Design Rewriting. Science of Computer Programming, 97(1):23–30, January 2015. Available on-line, in press. (doi:10.1016/j.scico.2013.11.015)
Roberto Bruni, Ugo Montanari, and Matteo Sammartino. Reconfigurable and Software-Defined Networks of Connectors and Components, volume 8998 of LNCS, chapter 1.2.2. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, and Andrea Vandin. A White Box Perspective on Behavioural Adaptation. In Rocco De Nicola and Rolf Hennicker, editors, Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, pages 552–581. Springer International Publishing, 2015. (doi:10.1007/978-3-319-15545-6_32)
Lubomír Bulej, Tomás Bures, Ilias Gerostathopoulos1, Vojtech Horky, Jaroslav Keznikl, Lukas Marek, Max Tschaikowski, Mirco Tribastone, and Petr T r uma. Supporting Performance Awareness in Autonomous Ensembles, volume 8998 of LNCS, chapter 1.3.5. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).
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).
Tomáš Bureš, Ilias Gerostathopoulos, Jaroslav Keznikl, František Plášil, and Petr Tůma. Formalization of Invariant Patterns for the Invariant Refinement Method. In Rocco De Nicola and Rolf Hennicker, editors, Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, pages 602–618. Springer International Publishing, 2015. (doi:10.1007/978-3-319-15545-6_34)
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).