Coordination of a Research Project: Aeolus - Mastering the Cloud Complexity.
Ruolo editoriale nella rivista «Journal of Software (JSW)»
de Gouw, Stijn; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi, Declarative elasticity in ABS, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2016, 9846, pp. 118 - 134 (atti di: 5th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, Vienna, Austria, 5 Settembre 2016 - 7 Settembre 2016) [Contribution to conference proceedings]
Hüttel, Hans; Lanese, Ivan; Vasconcelos, Vasco T.; Caires, Lúis; Carbone, Marco; Deniélou, Pierre Malo; Mostrous, Dimitris; Padovani, Luca; Ravara, António; Tuosto, Emilio; Vieira, Hugo Torres; Zavattaro, Gianluigi, Foundations of session types and behavioural contracts, «ACM COMPUTING SURVEYS», 2016, 49, Article number: 2873052 , pp. 1 - 36 [Scientific article]Open Access
Mauro, Jacopo; Zavattaro, Gianluigi, On the expressiveness of synchronization in component deployment, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Berlin, Springer Verlag, 2016, pp. 344 - 359 [Chapter or essay]
Di Cosmo, Roberto; Eiche, Antoine; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub, Automatic Deployment of Services in the Cloud with Aeolus Blender, in: Proceedings of the 13th International Conference on Service-Oriented Computing (ICSOC'15), Berlin, Lecture Notes in Computer Science - Springer, 2015, 9435, pp. 397 - 411 (atti di: 13th International Conference on Service-Oriented Computing (ICSOC'15), Goa, India, November 16-19, 2015) [Contribution to conference proceedings]
Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub, Automatic application deployment in the cloud: From practice to theory and back, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2015, 42, pp. 1 - 16 (atti di: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, 1-4 September, 2015) [Contribution to conference proceedings]
Lascu, Tudor A.; Mauro, Jacopo; Zavattaro, Gianluigi, Automatic deployment of component-based applications, «SCIENCE OF COMPUTER PROGRAMMING», 2015, 113, pp. 261 - 284 [Scientific article]
Mauro, Jacopo; Zavattaro, Gianluigi, On the complexity of reconfiguration in systems with legacy components, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2015, 9234, pp. 382 - 393 (atti di: 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, Milan, Italy, August 24-28, 2015) [Contribution to conference proceedings]
De Gouw, Stijn; Lienhardt, Michael; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi, On the integration of automatic deployment into the ABS modeling language, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9306, pp. 49 - 64 (atti di: 4th European Conference on Service Oriented and Cloud Computing, ESOCC 2015, Taormina, Italia, September 15-17, 2015) [Contribution to conference proceedings]
Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi, The evolution of Jolie: From orchestrations to adaptable choreographies, in: Software, Services, and Systems, Springer International Publishing, 2015, 8950, pp. 506 - 521 (atti di: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Munich, Germany, 5-6 March 2015) [Contribution to conference proceedings]
Zavattaro, Gianluigi, When to move to transfer nets: On the limits of Petri nets as models for process Calculi, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Berlin, Springer Verlag, 2015, pp. 339 - 353 [Chapter or essay]
Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G., Aeolus: A component model for the cloud, «INFORMATION AND COMPUTATION», 2014, 239, pp. 100 - 121 [Scientific article]
Tudor A. Lascu; Jacopo Mauro; Gianluigi Zavattaro, Automatic Component Deployment in the Presence of Circular Dependencies, in: Lecture Notes in Computer ScienceFormal Aspects of Component Software, Springer, 2014, 8348, pp. 254 - 272 (atti di: Proceedings of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27-29, 2013) [Contribution to conference proceedings]
Bravetti, M.; Zavattaro, G., Choreographies and behavioural contracts on the way to dynamic updates, in: Proceedings First Workshop on Logics and Model-checking for Self-*Systems, MOD* 2014, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2014, 168, pp. 12 - 31 (atti di: First Workshop on Logics and Model-checking for Self-*Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014) [Contribution to conference proceedings]
