Pubblicazioni

Ben Ramdhane, F.; Dennunzio, A.; Margara, L.; Menara, G., Structural Properties of Non-Linear Cellular Automata: Permutivity, Surjectivity, and Reversibility, in: Proceedings of the 26th Italian Conference on Theoretical Computer Science, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2025, 4039, pp. 224 - 229 (atti di: 26th Italian Conference on Theoretical Computer Science, ICTCS 2025, Campus of Pescara, at the Department of Economic Studies of the University of Chieti-Pescara, ita, 2025) [Contributo in Atti di convegno] Open Access

Palmirani, Monica; Papalia, Ludovico; Bomprezzi, Chantal; Arruzzoli, Arianna; Zichichi, Mirko; Ferretti, Stefano, Multi-level Architecture for Separation of Powers in Legislative Process, in: Proceedings of the Seventh Distributed Ledger Technology Workshop (DLT2025), 2025, pp. 1 - 13 (atti di: Proceedings of the Seventh Distributed Ledger Technology Workshop (DLT2025), Pizzo (VV), 12-14 giugno 2025) [Contributo in Atti di convegno] Open Access

Bravetti, Mario; Padovani, Luca; Zavattaro, Gianluigi, A Sound and Complete Characterization of Fair Asynchronous Session Subtyping, in: 36th International Conference on Concurrency Theory (CONCUR 2025), OKTAVIE-ALLEE, WADEM, 66687, GERMANY, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2025, 348, pp. 1 - 17 (atti di: 36th International Conference on Concurrency Theory (CONCUR 2025), Aarhus, Denmark, August 26-29, 2025) [Contributo in Atti di convegno] Open Access

D'Angelo, Gabriele; Ferretti, Stefano; Marzolla, Moreno, Performance Evaluation of a Self-Clustering Heuristic for Adaptive PADS, in: 2025 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Los Alamitos, CA, IEEE Computer Society, «Proceedings (IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications», 2025, pp. 1 - 8 (atti di: 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Prague, Czech Republic, Sept. 17 2025 to Sept. 19 2025) [Contributo in Atti di convegno]

Raayatpanah, Mohammad Ali; Weise, Thomas; Elias, Jocelyne; Martignon, Fabio; Pimpinella, Andrea, A Mixed-Integer Linear Programming Approach for Congestion-Aware Optimized NFV Deployment, in: Proceedings of the International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, WiOpt, Institute of Electrical and Electronics Engineers Inc., «Proceedings of the International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks», 2025, pp. 1 - 8 (atti di: 23rd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, WiOpt 2025, Linkoping, Sweden, 26-29 May 2025) [Contributo in Atti di convegno] Open Access

Elias, Jocelyne; Martignon, Fabio; Pimpinella, Andrea, Optimizing Relay Placement and Multi-Hop Routing for Smart Meter Networks, in: 2025 23rd Mediterranean Communication and Computer Networking Conference, MedComNet 2025, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., «MEDITERRANEAN COMMUNICATION AND COMPUTER NETWORKING CONFERENCE», 2025, pp. 1 - 6 (atti di: 23rd Mediterranean Communication and Computer Networking Conference, MedComNet 2025, Cagliari, Italy, 25-27 June 2025) [Contributo in Atti di convegno]

Raayatpanah, Mohammad Ali; Elias, Jocelyne; Martignon, Fabio; Pimpinella, Andrea; Poss, Michaël, Resilient NFV Service Chains under Energy-Aware Attacks: A Bilevel Optimization Approach, in: Proceedings - 2025 IEEE International Conference on Smart Computing, SMARTCOMP 2025, Institute of Electrical and Electronics Engineers Inc., « IEEE International Conference on Smart Computing», 2025, pp. 219 - 221 (atti di: 11th IEEE International Conference on Smart Computing, SMARTCOMP 2025, Cork, Ireland, 16-19 June 2025) [Contributo in Atti di convegno]

Ciabattini, L.; Esposito, A.; Moghbelan, Y.; Forlesi, M.; Bruno, J.; Zyrianoff, I.; Gigli, L.; Bononi, L., CrossTime: A Mobile Application for Smarter Pedestrian Navigation and Traffic Light Awareness, in: 2025 26th IEEE International Conference on Mobile Data Management (MDM), 2025, pp. 252 - 257 (atti di: 2025 26th IEEE International Conference on Mobile Data Management (MDM), Irvine, CA, USA, 02-05 June 2025) [Contributo in Atti di convegno]

Rosa, Lorenzo; Calvio, Alessandro; Garbugli, Andrea; Foschini, Luca, A QoS-Aware Data Distribution Platform for Edge-Based Vehicular Digital Twins in Smart Cities, in: IEEE Wireless Communications and Networking Conference, WCNC, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., «IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE», 2025, pp. 1 - 6 (atti di: 2025 IEEE Wireless Communications and Networking Conference, WCNC 2025, Milan, Italy, 24-27 March 2025) [Contributo in Atti di convegno]

Delzanno, G.; Laneve, C.; Sangnier, A.; Zavattaro, G., Decidability Problems for Micro-Stipula, in: C. Di Giusto, A. Ravara, Coordination Models and Languages (COORDINATION 2025), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15731 LNCS, pp. 133 - 152 (atti di: International Conference on Coordination Models and Languages 2025, Lille, France, June 17–19, 2025) [Contributo in Atti di convegno]

Raimondi, Bianca; Giallorenzo, Saverio; Gabbrielli, Maurizio, Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs, in: SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, 2025, pp. 32 - 39 (atti di: 40th Annual ACM Symposium on Applied Computing, SAC 2025, Catania, Italy, 31 March 2025 - 4 April 2025) [Contributo in Atti di convegno] Open Access

Giallorenzo, Saverio; Goretti, Francesco, Breadth-first Cycle Collection Reference Counting: Theory and a Rust Smart Pointer Implementation, in: Proceedings of the ACM Symposium on Applied Computing, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, 2025, pp. 1412 - 1420 (atti di: 40th Annual ACM Symposium on Applied Computing, SAC 2025, Catania, Italia, 2025) [Contributo in Atti di convegno] Open Access

De Palma, G.; Giallorenzo, S.; Mauro, J.; Trentin, M.; Zavattaro, G., Affinity-aware Serverless Function Scheduling, in: Proceedings - 2025 IEEE 22nd International Conference on Software Architecture, ICSA 2025, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, Institute of Electrical and Electronics Engineers Inc., 2025, pp. 49 - 59 (atti di: 22nd IEEE International Conference on Software Architecture, ICSA 2025, Odense, Denmark, 2025) [Contributo in Atti di convegno]

De Palma, Giuseppe; Giallorenzo, Saverio; Heideker, Alexandre; Trentin, Matteo; Trotta, Angelo; Zavattaro, Gianluigi, Distributed serverless function scheduling in ad-hoc drone networks, «AD HOC NETWORKS», 2025, 178, pp. 1 - 22 [Articolo in rivista]

De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Reachability Analysis of Function-as-a-Service Scheduling Policies, in: Integrated Formal Methods. IFM 2025, Cham, SPRINGER, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 16194, pp. 226 - 247 (atti di: Integrated Formal Methods, Paris, France, 17/11/2025) [Contributo in Atti di convegno]

Antici, F.; Bartolini, A.; Domke, J.; Kiziltan, Z.; Yamamoto, K., F-DATA: A Fugaku Workload Dataset for Job-centric Predictive Modelling in HPC Systems, «SCIENTIFIC DATA», 2025, 12, pp. 1 - 13 [Articolo in rivista] Open Access

Akgun, O.; Gent, I. P.; Jefferson, C.; Kiziltan, Z.; Miguel, I.; Nightingale, P.; Salamon, A. Z.; Ulrich-Oltean, F., TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models, «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH», 2025, 82, pp. 1999 - 2056 [Articolo in rivista] Open Access

Pellegrino, A.; Akgun, O.; Dang, N.; Kiziltan, Z.; Miguel, I., Transformer-Based Feature Learning for Algorithm Selection in Combinatorial Optimisation, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2025, 340, pp. 31:1 - 31:22 (atti di: 31st International Conference on Principles and Practice of Constraint Programming, CP 2025, University of Glasgow, gbr, 2025) [Contributo in Atti di convegno] Open Access

Antici, F; Borghesi, A; Domke, J; Kiziltan, Z, UoPC: A User-Based Online Framework to Predict Job Power Consumption in HPC Systems, in: ISC High Performance 2025 Research Paper Proceedings (40th International Conference), New York, IEEE, 2025, pp. 1 - 12 (atti di: ISC High Performance 2025 (40th International Conference), Hamburg, Germany, 10-13 June 2025) [Contributo in Atti di convegno] Open Access

Moretti, M. E.; Broggi, M.; Schiariti, M.; Restelli, F.; Barbieri, E. M.; Fontanella, M. M.; Maltoni, D.; Fioravanti, A.; Zoia, C.; Montalbetti, A.; Leonardi, M.; Camarda, G.; Soldini, E.; Maresca, L.; Mattioli, L.; Ciocca, R.; Boccardi, E.; Dimeco, F.; Ferroli, P., Evaluation of Presurgical Outcome Predictors in Oncological Neurosurgery, «WORLD NEUROSURGERY», 2025, 204, pp. 1 - 8 [Articolo in rivista] Open Access