Items where Author is "Zambonelli, Franco"

Book Section

Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco Formalising adaptation patterns for autonomic ensembles. In: Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers. Lecture notes in computer science (8348). Springer, pp. 100-118. ISBN 978-3-319-07601-0 (2014)

Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 147-163. ISBN 978-3-662-45233-2 (2014)

Wirsing, Martin and Hölzl, Matthias and Tribastone, Mirco and Zambonelli, Franco ASCENS: engineering autonomic service-component ensembles. In: Formal Methods for Components and Objects. Lecture notes in computer science (7542). Springer, pp. 1-24. ISBN 978-3-642-35887-6 (2013)

Conference or Workshop Item

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)