Pubblicazioni

Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Aggregate processes in field calculus, in: Coordination Models and Languages, Heideberg, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11533, pp. 200 - 217 (atti di: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019, Kongens Lyngby, Denmark, 17-21 June, 2019) [Contributo in Atti di convegno]

Ruta Liepina; Giuseppe Contissa; Kasper Drazewski; Francesca Lagioia; Marco Lippi; Hans-Wolfgang Micklitz; Przemysław Pałka; Giovanni Sartor; Paolo Torroni, GDPR Privacy Policies in CLAUDETTE: Challenges of Omission, Context and Multilingualism, in: Automated Semantic Analysis of Information in Legal Text 2019. Proceedings of the Third Workshop on Automated Semantic Analysis of Information in Legal Texts co-located with the 17th International Conference on Artificial Intelligence and Law (ICAIL 2019), Aachen, Sun SITE Central Europe / RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2019, 2385, pp. 1 - 7 (atti di: Third Workshop on Automated Semantic Analysis of Information in Legal Texts co-located with the 17th International Conference on Artificial Intelligence and Law (ICAIL 2019), Montreal, QC, Canada, June 21, 2019.) [Contributo in Atti di convegno] Open Access

Civolani, Lorenzo; Pierre, Guillaume; Bellavista, Paolo, FogDocker: Start Container Now, Fetch Image Later, in: UCC'19: Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, 2019, pp. 51 - 59 (atti di: UCC '19: IEEE/ACM 12th International Conference on Utility and Cloud Computing, Auckland (New Zealand), Dicembre 2019) [Contributo in Atti di convegno]

Camacho, Carlos; Llana, Luis; Núñez, Alberto; Bravetti, Mario, Probabilistic software product lines, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2019, 107, pp. 54 - 78 [Articolo in rivista]

Bravetti M.; Zavattaro G., Relating Session Types and Behavioural Contracts: The Asynchronous Case, in: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11724, pp. 29 - 47 (atti di: 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Oslo, Norway, September 18-20, 2019) [Contributo in Atti di convegno] Open Access

Casadei, Roberto; Viroli, Mirko, Coordinating computation at the edge: A decentralized, self-organizing, spatial approach, in: Fog and Mobile Edge Computing (FMEC), International Conference on, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 60 - 67 (atti di: 4th International Conference on Fog and Mobile Edge Computing, FMEC 2019, Rome, Italy, 2019) [Contributo in Atti di convegno]

Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal, On a Higher-Order Calculus of Computational Fields, in: Formal Techniques for Distributed Objects, Components, and Systems, Heideberg, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11535, pp. 289 - 292 (atti di: 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, dnk, 2019) [Contributo in Atti di convegno]

Danilo Pianini, Roberto Casadei, Mirko Viroli:, Security in collective adaptive systems: A roadmap, in: Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 86 - 91 (atti di: 4th IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, swe, 2019) [Contributo in Atti di convegno]

Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli:, On context-orientation in aggregate programming, in: Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 92 - 97 (atti di: 4th IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, Umea, Sweden, 16-20 June 2019) [Contributo in Atti di convegno]

Lanese, I.; Sangiorgi, D.; Zavattaro, G., Playing with bisimulation in erlang, in: Models, Languages, and Tools for Concurrent and Distributed Programming., Cham, Springer Verlag, 2019, pp. 71 - 91 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [Capitolo/Saggio in libro] Open Access

de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G., Analysis of SLA compliance in the cloud: An automated, model-based approach, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2019, 302, pp. 1 - 15 (atti di: 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018, Amsterdam, Olanda, 2018) [Contributo in Atti di convegno] Open Access

Dal Lago U.; Hoshino N., The Geometry of Bayesian Programming, in: Proceedings of the 34th Symposium on Logic in Computer Science (LICS), IEEE, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2019, 2019-, pp. 1 - 13 (atti di: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, SFU Harbour Centre in Downtown Vancouver, can, 2019) [Contributo in Atti di convegno]

Kobayashi, N.; Dal Lago, U.; Grellois, C., On the termination problem for probabilistic higher-order recursive programs, in: Proceedings of the 34th Symposium on Logic in Computer Science (LICS), Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2019, 2019-, pp. 1 - 12 (atti di: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, SFU Harbour Centre in Downtown Vancouver, can, 2019) [Contributo in Atti di convegno] Open Access

Isam Mashhour Al Jawarneh, Paolo Bellavista, Filippo Bosi, Luca Foschini, Giuseppe Martuscelli, Rebecca Montanari, Amedeo Palopoli, Container Orchestration Engines: A Thorough Functional and Performance Comparison, in: Proceedings of 2019 IEEE International Conference on Communications (ICC), 2019, pp. 1 - 6 (atti di: ICC 2019 - 2019 IEEE International Conference on Communications (ICC), Shanghai, China, 20-24 May 2019) [Contributo in Atti di convegno]

Accattoli, Beniamino; Condoluci, Andrea; Guerrieri, Giulio; Coen, Claudio Sacerdoti, Crumbling Abstract Machines, in: PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, 2019, pp. 1 - 15 (atti di: 21st International Symposium on Principles and Practice of Programming Languages, Porto, 7-9/10/2019) [Contributo in Atti di convegno]

Condoluci, Andrea; Accattoli, Beniamino; Coen, Claudio Sacerdoti, Sharing Equality is Linear, in: PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, 2019, pp. 1 - 14 (atti di: 21st International Symposium on Principles and Practice of Programming Languages 2019, Porto, 7-9/10/2019) [Contributo in Atti di convegno]

Scotece D.; Paiker N.R.; Foschini L.; Bellavista P.; Ding X.; Borcea C., MEFS: Mobile edge file system for edge-assisted mobile apps, in: 20th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks, WoWMoM 2019, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 1 - 9 (atti di: 20th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks, WoWMoM 2019, Residence Inn by Marriott Arlington Pentagon City, usa, 2019) [Contributo in Atti di convegno]

Bellavista P.; Corradi A.; Foschini L.; Scotece D., Differentiated service/data migration for edge services leveraging container characteristics, «IEEE ACCESS», 2019, 7, pp. 139746 - 139758 [Articolo in rivista] Open Access

Paolo Bellavista, Periklis Chatzimisios, Luca Foschini, Marianna Paradisioti, Domenico Scotece, A Support Infrastructure for Machine Learning at the Edge in Smart City Surveillance, in: 2019 IEEE Symposium on Computers and Communications (ISCC), 2019, pp. 1189 - 1194 (atti di: 2019 IEEE Symposium on Computers and Communications (ISCC), Barcelona, Spain, Spain, 29 June-3 July 2019) [Contributo in Atti di convegno]

Avanzini Martin; Dal Lago U.; Ghyselen A., Type-based complexity analysis of probabilistic functional programs, in: Proceedings of the 34th Symposium on Logic in Computer Science, IEEE, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2019, 2019-, pp. 1 - 13 (atti di: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, SFU Harbour Centre in Downtown Vancouver, can, 2019) [Contributo in Atti di convegno]