Pubblicazioni

Magnani, Gabriele; Cattaneo, Daniele; Denisov, Lev; Tagliavini, Giuseppe; Agosta, Giovanni; Cherubin, Stefano, Synergistic Memory Optimisations: Precision Tuning in Heterogeneous Memory Hierarchies, «IEEE TRANSACTIONS ON COMPUTERS», 2025, 74, pp. 3168 - 3180 [Articolo in rivista]

Mirsalari, Seyed Ahmad; Fariselli, Marco; Bijar, Léo; Paci, Francesco; Benini, Luca; Tagliavini, Giuseppe, Enabling Real-Time Streaming Temporal Convolution Network Inference on Ultra-Low-Power Microcontrollers, in: Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI, New York (USA), IEEE Computer Society, 2025, pp. 1 - 6 (atti di: 28th IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2025, Kalamata (Greece), 06-09 luglio 2025) [Contributo in Atti di convegno]

Jebali, Fatma; Andriamisaina, Caaliph; Jan, Mathieu; Ecker, Wolfgang; Egert, Florian; Fischer, Bernhard; Burrello, Alessio; Pagliari, Daniele Jahier; Vinco, Sara; Tagliavini, Giuseppe; Feldner, Ingo; Mauderer, Andreas; Sauer, Axel; Kristmundsson, Arnór; Schober, Alexander; Bernier, Téo; Käyrä, Matti; Schlichtmann, Ulf; Jonack, Rocco, Multi-Partner Project: Advancing the EDA Tools Landscape for the European RISC-V Ecosystem in TRISTAN, in: 2025 Design, Automation & Test in Europe (DATE), Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - DESIGN, AUTOMATION, AND TEST IN EUROPE CONFERENCE AND EXHIBITION», 2025, pp. 1 - 6 (atti di: 2025 Design, Automation and Test in Europe Conference, DATE 2025, Lione (Francia), 2025) [Contributo in Atti di convegno]

Roccetti, Marco, The fear of AI: A simple story of complexity, «ANNALES. PROCEEDINGS OF THE ACADEMY OF SCIENCES OF BOLOGNA. CLASS OF PHYSICAL SCIENCE», 2025, 3, pp. 137 - 148 [Articolo in rivista]

Baillot, Patrick; Lago, Ugo Dal; Kop, Cynthia; Vale, Deivid, A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations, «LOGICAL METHODS IN COMPUTER SCIENCE», 2025, Volume 21, Issue 4, pp. 1 - 35 [Articolo in rivista]

Dal Lago, Ugo; Hoshino, Naohiko; Pistone, Paolo, On the Metric Nature of (Differential) Logical Relations, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2025, 337, pp. 1 - 22 (atti di: 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, Birmingham, UK, 2025) [Contributo in Atti di convegno]

Dal Lago, Ugo, Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages, in: Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 2025, pp. 1 - 3 (atti di: 27th International Symposium on Principles and Practice of Declarative Programming, Rende, Calabria, Italy, September 2025) [Riassunto (Abstract)]

Panarelli, Marco; Galassi, Andrea; Lagioia, Francesca; Liepina, Ruta; Lippi, Marco; Pałka, Przemysław; Sartor, Giovanni, Is It Worth Using LLMs for Unfair Clause Detection in Terms of Service?, in: Proceedings of the Twentieth International Conference on Artificial Intelligence and Law, New York, Association for Computing Machinery, 2025, pp. 1 - 11 (atti di: 20th International Conference on Artificial Intelligence and Law (ICAIL 2025), Chicago, IL, USA, 16/06/2025) [Contributo in Atti di convegno]

Sekiyama, Taro; Dal Lago, Ugo; Unno, Hiroshi, On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2025, 9, pp. 3726 - 3754 [Articolo in rivista]

Mazzocca, Carlo; Mora, Alessio; Romandini, Nicolò; Montanari, Rebecca; Bellavista, Paolo, I Trained That! Client-Side Proof of Participation in Federated Learning, «CLUSTER COMPUTING», 2025, 28, pp. 1 - 12 [Articolo in rivista]

Costagliola, Andrea Roberta; Mazzocca, Carlo; Bujari, Armir; Montanari, Rebecca; Bellavista, Paolo, VESPACE: A verifiable blockchain-based data space solution to empower the data economy, «COMPUTER COMMUNICATIONS», 2025, 239, pp. 1 - 10 [Articolo in rivista]

Nunziati, Gabriele; Fiandrino, Claudio; Foschini, Luca; Bellavista, Paolo, Monitoring 5G Core Networks Vulnerabilities With eBPF, «IEEE NETWORKING LETTERS», 2025, 7, pp. 220 - 223 [Articolo in rivista]

Zhang, Weishan; Bellavista, Paolo; Zhou, Xiaokang; Wang, Chonggang; Lu, Qinghua, Guest Editorial. Introduction to the Special Issue on Responsible and Federated Foundation Models for Industrial IoT, «IEEE INTERNET OF THINGS JOURNAL», 2025, 12, pp. 39181 - 39184 [Articolo in rivista]

Staffolani, Alessandro; Darvariu, Victor-Alexandru; Bellavista, Paolo; Musolesi, Mirco, A Cost-Aware Adaptive Bike Repositioning Agent Using Deep Reinforcement Learning, «IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS», 2025, 26, pp. 4923 - 4933 [Articolo in rivista]

Sun, Gang; Niyato, Dusit; Wang, Jiacheng; Fonseca, Nelson; Bellavista, Paolo; Yeh, Shu-ping, Guest Editorial: Applications of Large Language Models in Internet of Things, «IEEE INTERNET OF THINGS MAGAZINE», 2025, 8, pp. 14 - 16 [Articolo in rivista]

Qaisar, Muhammad Umar Farooq; Yuan, Weijie; Bellavista, Paolo; Ashraf Chaudhry, Shehzad; Han, Guangjie; Ahmed, Adeel, R 2 Com: Reliable and Resilient Communication in Duty-Cycled SDN-Based WSN for Urban Traffic Monitoring in Intelligent Transportation Systems, «IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS», 2025, 26, pp. 19661 - 19678 [Articolo in rivista]

Farooq, Muhammad Azaz; Bellavista, Paolo; Bujari, Armir; Sita, Alberto, Leveraging AI and MLOps for IoT-Edge-Cloud Industrial Digital Twins: a Practical Case Study, in: Proceedings of the 2025 IEEE Conference on Standards for Communications and Networking, 2025, pp. 1 - 6 (atti di: IEEE Conference on Standards for Communications and Networking, Bologna, 15-17 Settembre 2025) [Contributo in Atti di convegno]

Garbugli, Andrea; Bujari, Armir; Bellavista, Paolo, Beyond Control: Embracing Emergent Behavior in Symbiotic Digital Twin and CPS Ecosystems, in: Proceedings of the 55th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} - Workshops, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, IEEE COMPUTER SOC, 2025, pp. 235 - 235 (atti di: 55th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} - Workshops, Naples, 23-26 Giugno 2025) [Contributo in Atti di convegno]

Mora, Alessio; Bellavista, Paolo, Is Client Unlearning Really Necessary in Federating Learning?, in: Proceedings of the International Conference on Artificial Intelligence in Information and Communication, {ICAIIC} 2025, 2025, pp. 0696 - 0701 (atti di: International Conference on Artificial Intelligence in Information and Communication, Fukuoka, Japan, February 18-21, 2025) [Contributo in Atti di convegno]

Leonelli, Caterina; Kefalas, Dimitris; Fdida, Serge; Bellavista, Paolo; Korakis, Thanasis, Dynamic Resource Allocation and Energy Optimization in 5G O-RAN: Real-World Insights and Testbed Evaluations, in: 2025 IEEE International Conference on Communications Workshops, ICC Workshops 2025, Institute of Electrical and Electronics Engineers Inc., 2025, pp. 1019 - 1024 (atti di: 2025 IEEE International Conference on Communications Workshops, ICC Workshops 2025, Montreal, Canada, 2025) [Contributo in Atti di convegno]