Pubblicazioni

Ugo Dal Lago; Furio Honsell; Marina Lenisa; Paolo Pistone, On Quantitative Algebraic Higher-Order Theories, in: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel., «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 228, pp. 1 - 18 (atti di: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022., Haifa, Israel, August 2-5, 2022.) [Contributo in Atti di convegno] Open Access

Melissa Antonelli; Ugo Dal Lago; Paolo Pistone, Curry and Howard Meet Borel, in: In Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '22), New York, Association for Computing Machinery, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2022, pp. 1 - 13 (atti di: 37th Annual ACM/IEEE Symposium on Logic in Computer Science., Haifa, Israel., August 2 - 5, 2022.) [Contributo in Atti di convegno] Open Access

Beniamino Accattoli; Ugo Dal Lago; Gabriele Vanoni, Reasonable Space for the Lambda-Calculus, Logarithmically, in: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '22)., New York, Association for Computing Machinery, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2022, pp. 1 - 13 (atti di: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science., Haifa, Israel., August 2 - 5, 2022.) [Contributo in Atti di convegno] Open Access

Stacchio L.; Angeli A.; Lisanti G.; Marfia G., Applying deep learning approaches to mixed quantitative-qualitative analyses, in: ACM International Conference Proceeding Series, 2022, pp. 161 - 166 (atti di: 2nd ACM Conference on Information Technology for Social Good, GoodIT 2022, Limassol, 7-9 settembre 2022) [Contributo in Atti di convegno] Open Access

Grasselli C.; Melis A.; Rinieri L.; Berardi D.; Gori G.; Al Sadi A., An Industrial Network Digital Twin for enhanced security of Cyber-Physical Systems, in: 2022 International Symposium on Networks, Computers and Communications (ISNCC), IEEE, 2022, pp. 1 - 7 (atti di: International Symposium on Networks, Computers and Communications (ISNCC), Shenzhen, CN, 19-22 July 2022) [Contributo in Atti di convegno]

Bartelucci, N; Bellavista, P; Pusztai, T; Morichetta, A; Dustdar, S, High-Level Metrics for Service Level Objective-aware Autoscaling in Polaris: a Performance Evaluation, in: Proceedings of the 6th IEEE International Conference on Fog and Edge Computing (ICFEC), 2022, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, IEEE COMPUTER SOC, 2022, pp. 73 - 77 (atti di: 6th IEEE International Conference on Fog and Edge Computing (ICFEC), 2022, Messina, Italy, May 16-19, 2022) [Contributo in Atti di convegno]

Rojo J.; Hernandez J.; Foschini L.; Bellavista P.; Berrocal J.; Murillo Rodriguez J.M.; Garcia-Alonso J., Blockchains' federation for enabling actor-centered data integration, in: Proceedings of the IEEE International Conference on Communications (ICC), 2022, «IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS», 2022, 2022-May, pp. 3430 - 3435 (atti di: IEEE International Conference on Communications (ICC), 2022, Seoul, Korea, May 16-20, 2022) [Contributo in Atti di convegno]

Al Jawarneh I.M.; Bellavista P.; Corradi A.; Foschini L.; Montanari R., Efficient Geospatial Analytics on Time Series Big Data, in: Proceedings of the IEEE International Conference on Communications (ICC), 2022, «IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS», 2022, 2022-May, pp. 3002 - 3008 (atti di: IEEE International Conference on Communications (ICC), 2022, Seoul, Korea, May 16-20, 2022) [Contributo in Atti di convegno]

Bellavista, P, Enabling Distributed and Hybrid Digital Twins in the Industry5.0 Cloud Continuum, in: Software Engineering and Formal Methods (SEFM), 2021, Co-located Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, Revised Selected Papers, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13230, pp. 139 - 142 (atti di: Software Engineering and Formal Methods (SEFM), 2021, Co-located Workshops, CoSim-CPS, Virtual event, December 6-10, 2021) [Contributo in Atti di convegno]

Gianluca Berardi, Luca De Luigi, Samuele Salti, Luigi Di Stefano, Learning the Space of Deep Models, in: 2022 26th International Conference on Pattern Recognition (ICPR), New York, IEEE Computer Society, «PROCEEDINGS INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION», 2022, pp. 2482 - 2488 (atti di: IAPR INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, Montreal, Canada, 21-25 Agosto 2022) [Contributo in Atti di convegno] Open Access

Canali Claudia; Di Modica G.; Lancellotti Riccardo; Scotece D., Optimal Placement of Micro-services Chains in a Fog Infrastructure, in: Proceedings of the 12th International Conference on Cloud Computing and Services Science - CLOSER, AV D MANUELL, 27A 2 ESQ, SETUBAL, 2910-595, PORTUGAL, Science and Technology Publications, Lda, 2022, pp. 199 - 206 (atti di: 12th International Conference on Cloud Computing and Services Science, CLOSER 2022, Online, 2022) [Contributo in Atti di convegno] Open Access

Ghibellini A.; Bononi L.; Di Felice M., Intelligence at the IoT Edge: Activity Recognition with Low-Power Microcontrollers and Convolutional Neural Networks, in: 2022 IEEE 19th Annual Consumer Communications & Networking Conference (CCNC), NY, IEEE, 2022, pp. 707 - 710 (atti di: 2022 IEEE 19th Annual Consumer Communications & Networking Conference (CCNC), Las Vegas, NV, USA, 08-11 January 2022) [Contributo in Atti di convegno]

Montecchiari L.; Trotta A.; Bononi L.; Di Felice M., Bluetooth Mesh Technology for the Joint Monitoring of Indoor Environments and Mobile Device Localization: A Performance Study, in: proceedings of the 2022 IEEE 19th Annual Consumer Communications & Networking Conference (CCNC), NY, IEEE, 2022, pp. 193 - 199 (atti di: 2022 IEEE 19th Annual Consumer Communications & Networking Conference (CCNC), Las Vegas NV USA, 08-11 January 2022) [Contributo in Atti di convegno] Open Access

Stabili D.; Romagnoli R.; Marchetti M.; Sinopoli B.; Colajanni M., Exploring the consequences of cyber attacks on Powertrain Cyber Physical Systems, in: 2022 International Conference on Control, Robotics and Informatics (ICCRI), New York, IEEE, 2022, pp. 96 - 103 (atti di: 5th International Conference on Control, Robotics and Informatics, Danang, 2022) [Contributo in Atti di convegno] Open Access

Montecchiari, L; Albani, D; Trotta, A; Di Felice, M; Natalizio, E, Uhura: a Software Framework for Swarm Management in Multi-Radio Robotic Networks, in: proceedings of the 18th International Conference on Distributed Computing in Sensor Systems (DCOSS), 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, IEEE COMPUTER SOC, 2022, pp. 244 - 251 (atti di: 18th International Conference on Distributed Computing in Sensor Systems (DCOSS), Marina del Rey, Los Angeles, CA, USA, 30 May 2022 - 01 June 2022) [Contributo in Atti di convegno]

Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni, Stipula: a domain specific language for legal contracts, in: Programming Languages and the Law, 2022, pp. 1 - 4 (atti di: 49th ACM SIGPLAN Symposium on Principles of Programming Languages, Philadelphia, USA, 16 January 2022) [Contributo in Atti di convegno]

Gheri L.; Lanese I.; Sayers N.; Tuosto E.; Yoshida N., Design-By-Contract for Flexible Multiparty Session Protocols, in: 36th European Conference on Object-Oriented Programming (ECOOP 2022), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 222, pp. 1 - 28 (atti di: 36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, 6 - 10 June 2022) [Contributo in Atti di convegno] Open Access

Fabbretti G.; Lanese I.; Stefani J.-B., Generation of a Reversible Semantics for Erlang in Maude, in: Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Cham, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13478, pp. 106 - 122 (atti di: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, esp, 2022) [Contributo in Atti di convegno] Open Access

Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S., The Reversible Temporal Process Language, in: Formal Techniques for Distributed Objects, Components, and Systems - 42nd {IFIP} {WG} 6.1 International Conference, FORTE 2022, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13273, pp. 31 - 49 (atti di: 42nd IFIP WG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, ita, 2022) [Contributo in Atti di convegno] Open Access

Bucchiarone A.; Guidi C.; Lanese I.; Bencomo N.; Spillner J., A MAPE-K Approach to Autonomic Microservices, in: 2022 IEEE 19th International Conference on Software Architecture Companion, ICSA-C 2022, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, Institute of Electrical and Electronics Engineers Inc., 2022, pp. 100 - 103 (atti di: 19th IEEE International Conference on Software Architecture Companion, ICSA-C 2022, usa, 2022) [Contributo in Atti di convegno] Open Access