Items where Author is "Cesari, Luca"
Number of items: 4. 2014Cesari, 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) 2010Cesari, Luca and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A tool for rapid development of WS-BPEL applications. In: Proceedings of the 2010 ACM Symposium on Applied Computing. SAC '10 . ACM, pp. 2438-2442. ISBN 978-1-60558-639-7 (2010) Cesari, Luca and Pugliese, Rosario and Tiezzi, Francesco A tool for rapid development of WS-BPEL applications. SIGAPP Applied Computing Review, 11 (1). pp. 27-40. (2010) |
