Gabbrielli, Maurizio;
Giallorenzo, Saverio;
Lanese, Ivan;
Zingaro, Stefano Pio;, A Language-based Approach for Interoperability of IoT Platforms, in: Proceedings of the 51st Hawaii International Conference on System Sciences, 2018, pp. 5697 - 5706 (atti di: 51st Hawaii International Conference on System Sciences, Hawaii, January 2018) [Contributo in Atti di convegno]
Giallorenzo, Saverio*; Montesi, Fabrizio; Gabbrielli, Maurizio, Applied choreographies, in: Giallorenzo, Saverio*, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2018, 10854, pp. 21 - 40 (atti di: 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, esp, 2018) [Contributo in Atti di convegno]
Giallorenzo, Saverio*; Lanese, Ivan; Russo, Daniel, ChIP: A choreographic integration process, in: On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2018, 11230, pp. 22 - 40 (atti di: Confederated International Conferences: Cooperative Information Systems, CoopIS 2018, Ontologies, Databases, and Applications of Semantics, ODBASE 2018, and Cloud and Trusted Computing, C and TC, held as part of OTM 2018, Valletta, Malta, 2018) [Contributo in Atti di convegno]
Callegati, Franco; Giallorenzo, Saverio; Melis, Andrea; Prandini, Marco, Cloud-of-Things meets Mobility-as-a-Service: An insider threat perspective, «COMPUTERS & SECURITY», 2018, 74, pp. 277 - 295 [articolo]
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]
