Mila, Dalla Preda; Maurizio, Gabbrielli; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro, Dynamic Choreographies: Theory And Implementation, «LOGICAL METHODS IN COMPUTER SCIENCE», 2017, 13, pp. 1 - 57 [articolo]Open Access
Callegati, Franco; Giallorenzo, Saverio; Melis, Andrea; Prandini, Marco, Insider Threats in Emerging Mobility-as-a-Service Scenarios, in: Proceedings of 50th Hawaii International Conference on System Sciences, HICSS 2017, AIS Electronic Library (AISeL), 2017, pp. 1 - 12 (atti di: 50th Hawaii International Conference on System Sciences, HICSS 2017, Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017) [Contributo in Atti di convegno]
Nicola Dragoni,
Saverio Giallorenzo,
Alberto Lluch-Lafuente,
Manuel Mazzara,
Fabrizio Montesi,
Ruslan Mustafin,
Larisa Safina, Microservices: Yesterday, Today, and Tomorrow, in: Present and Ulterior Software Engineering., Cham, Springer, 2017, pp. 195 - 216 [capitolo di libro]
Giallorenzo S.; Lanese I.; Mauro J.; Gabbrielli M., Programming adaptive microservice applications: An AIOCJ tutorial, in: Behavioural Types: from Theory to Tools, Gistrup, River Publishers, 2017, pp. 147 - 168 [capitolo di libro]Open Access
Callegati, Franco; Gabbrielli, Maurizio; Giallorenzo, Saverio; Melis, Andrea; Prandini, Marco, Smart Mobility for All - A Global Federated Market for Mobility-as-a-Service Operators, in: 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC), Piscataway, NJ, IEEE, 2017, pp. 1018 - 1025 (atti di: International Conference on Intelligent Transportation Systems (ITSC), Yokohama, Japan, 16-19 Oct. 2017) [Contributo in Atti di convegno]
Callegati, Franco; Giallorenzo, Saverio; Melis, Andrea; Prandini, Marco, Data security issues in MaaS-enabling platforms, in: Proceedings of the 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI), Piscataway, NJ, IEEE, 2016, pp. 1 - 5 (atti di: 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI), Bologna, Italy, 7-9 September 2016) [Contributo in Atti di convegno]
Gabbrielli, Maurizio; Giallorenzo, Saverio; Guidi, Claudio; Mauro, Jacopo; Montesi, Fabrizio, Self-Reconfiguring Microservices, in: Theory and Practice of Formal Methods, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2016, 9660, pp. 194 - 210 (atti di: Theory and Practice of Formal Methods, Eindhoven, April 2016) [Contributo in Atti di convegno]
Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo, Developing correct, distributed, adaptive software, «SCIENCE OF COMPUTER PROGRAMMING», 2015, 97, pp. 41 - 46 [articolo]
Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo, Dynamic choreographies - Safe runtime updates of distributed applications, in: Coordination Models and Languages, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2015, 9037, pp. 67 - 82 (atti di: 17th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2015, Grenoble, France, June 2-4, 2015) [Contributo in Atti di convegno]
Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio, AIOCJ, 2014. [software]
Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio, AIOCJ: A choreographic framework for safe adaptive distributed applications, 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», 2014, 8706, pp. 161 - 170 (atti di: International Conference on Software Language Engineering, Vasteras, Sweden, 15-16/9/2014) [Contributo in Atti di convegno]
Gabbrielli, Maurizio; Giallorenzo, Saverio; Montesi, Fabrizio, Service-Oriented Architectures: From design to production exploiting workflow patterns, in: Distributed Computing and Artificial Intelligence, 11th International Conference, Springer Verlag, «ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING», 2014, 290, pp. 131 - 139 (atti di: 11th International Symposium on Distributed Computing and Artificial Intelligence 2014, DCAI 2014, Salamanca, esp, 2014) [Contributo in Atti di convegno]
Guidi, Claudio; Giallorenzo, Saverio; Gabbrielli, Maurizio, Towards a Composition-based APIaaS Layer, in: CLOSER 2014 - Proceedings of the 4th International Conference on Cloud Computing and Services Science, 2014, pp. 425 - 432 (atti di: 4th International Conference on Cloud Computing and Services Science, Barcelona, Spain, April 3-5 2014) [Contributo in Atti di convegno]
