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) [Contribution to conference proceedings]
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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 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) [Contribution to conference proceedings]
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, 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) [Contribution to conference proceedings]
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 [Scientific article]
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 [Scientific article]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) [Contribution to conference proceedings]
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 [Chapter or essay]
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 [Chapter or essay]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) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
Gabbrielli, Maurizio; Giallorenzo, Saverio; Guidi, Claudio; Mauro, Jacopo; Montesi, Fabrizio, Self-Reconfiguring Microservices, in: Theory and Practice of Formal Methods, Springer-Verlag, 2016, 9660, pp. 194 - 210 (atti di: Theory and Practice of Formal Methods, Eindhoven, April 2016) [Contribution to conference proceedings]
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 [Scientific article]
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, 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) [Contribution to conference proceedings]
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, 2014, 8706, pp. 161 - 170 (atti di: International Conference on Software Language Engineering, Vasteras, Sweden, 15-16/9/2014) [Contribution to conference proceedings]
