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).
Franco Zambonelli. Engineering Self-organizing Urban Superorganisms. Engineering Applications of Artificial Intelligence, 2015.
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, and Jacques Combaz. Compositional Invariant Generation for Timed Systems. In TACAS, volume 8413 of Lecture Notes in Computer Science, pages 263–278. Springer, 2014. (doi:10.1007/978-3-642-54862-8)
Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, and Franco Zambonelli. Formalising Adaptation Patterns for Autonomic Ensembles. In 10th International Symposium on Formal Aspects of Component Software, volume 8348 of LNCS, pages 100–118, Nanchang, China, October 2014. Springer. (doi:10.1007/978-3-319-07602-7_8)
Saddek Bensalem, Marius Bozga, Jacques Combaz, and Ahlem Triki. Rigorous System Design Flow for Autonomous Systems. In 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2014.
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, and Marius Bozga. Model-Driven Information Flow Security for Component-Based Systems. In FPS@ETAPS, pages 1–20, 2014. (doi:10.1007/978-3-642-54848-2_1)
Nicola Capodieci, Giacomo Cabri, and Franco Zambonelli. Modeling Self-Expression by holons. In International Conference on High Performance Computing & Simulation, HPCS 2014, Bologna, Italy, 21-25 July, 2014, pages 424–431, 2014. (doi:10.1109/HPCSim.2014.6903716)
Victor Noël and Franco Zambonelli. Engineering emergence in Multi-Agent Systems: Following the problem organisation. In International Conference on High Performance Computing & Simulation, HPCS 2014, Bologna, Italy, 21-25 July, 2014, pages 444–451, 2014. (doi:10.1109/HPCSim.2014.6903719)
Andrea Sassi, Marco Mamei, and Franco Zambonelli. Towards a general infrastructure for location-based smart mobility services. In International Conference on High Performance Computing & Simulation, HPCS 2014, Bologna, Italy, 21-25 July, 2014, pages 849–856, 2014. (doi:10.1109/HPCSim.2014.6903778)
Mariachiara Puviani, Giacomo Cabri, and Franco Zambonelli. Agent-based Simulations of Patterns for Self-adaptive Systems. In ICAART 2014 - Proceedings of the 6th International Conference on Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire Valley, France, 6-8 March, 2014, pages 190–200, 2014. (doi:10.5220/0004925001900200)