Conference Program
The conference will be held in Room 75 of the Monastery of San Nicolò l’Arena.
To foster discussion, the exchange of ideas, and future collaboration, each presentation in the Sessions will last 5 minutes, followed by an open discussion on the topics presented. This discussion will actively involve the speakers, and audience participation or contributions are warmly encouraged.
Day 1 - June 25
- 09:00 - 09:15 Welcoming and Registration
- 09:15 - 09:30 Opening and Institutional Greetings
- 09:30 - 10:00 Keynote
- 10:00 - 11:25 Coffee break
- 10:25 - 11:10 Session 1: Metrics
- 11:10 - 11:55 Session 2: Tools and Frameworks
- 11:55 - 12:45 Session 3: Artificial Intelligence / Machine Learning
- 12:45 - 13:00 Invited speaker
- 13:00 - 13:45 Lunch
- 13:45 - 14:30 Session 4: Quantum Computing
- 14:30 - 15:15 Session 5: Cloud and Edge Computing
- 15:15 - 15:35 Coffee break
- 15:35 - 16:15 Session 6: Performance Modeling and Dependability
- 16:00 - 16:05 Closing
Day 2 - June 27
- 09:00 - 12:00 Meeting of the CINI WG on SSQ
Talks
Keynote
Italian Communication Regulatory Authority (AGCOM): Quality of networks and video streaming services Giovanni Santella, Secretary General AGCOM, Mirko Pellegrino, Officer AGCOM
Invited Speaker
The next generation of SNNs, energy effectiveness and memory optimisation
Max Talanov Institute for Artificial Intelligence R&D of Serbia
Session 1: Metrics
- Toward a Systematic Fairness Testing Framework for Large Language Models
Alessandra Parziale, University of Salerno , Gianmario Voria, University of Salerno , Valeria Pontillo, Gran Sasso Science Institute, Gemma Catolino, University of Salerno, Fabio Palomba, University of Salerno, Andrea De Lucia, University of Salerno - On the Impact of Execution Information in Code Optimization with Language Models
Federico Di Menna University of L’Aquila, Luca Traini, University of L’Aquila, Gabriele Bavota Università della Svizzera italiana, Vittorio Cortellessa University of L’Aquila - Towards Trustworthy AI in Critical Systems: Evaluation Criteria and Metric Alignment
Marco De Santis, University of Salerno, Christiancarmine Esposito, University of Salerno - Real-Time QoE Assessment of Video Streaming based on ITU-T P.1203
Valerio Triolo, University of Messina, Marco Scarpa, University of Messina, Salvatore Serrano, , Salvatore Distefano, University of Messina
Session 2: Tools and Frameworks
- Benchmarking Vulnerability Detectors for Smart Contracts
Gerardo Iuliano, University of Salerno, Matteo Cicalese, University of Salerno, Carlos Esteban Budde, Technical University of Denmark , Davide Corradini, University of Luxembourg, Michele Pasqua, University of Verona, Mariano Ceccato, University of Verona,
Dario Di Nucci, University of Salerno - On the analysis of quality for data lifecycle models
Mauro Iacono, Università della Campania, Michele Mastroianni, Università di Foggia, Christian Riccio, Università della Campania, Bruna Viscardi, Indipendent researcher - Exploiting Formal Semantics and Advanced Computing Paradigms for Scalable Agent-Based Simulation
Marzio Pennisi, University of Eastern Piedmont, Giuliana Franceschinis, University of Eastern Piedmont
Session 3: Artificial Intelligence / Machine Learning
- AI Testing in the Wild: Tools, Strategies, and Challenges from a Grey Literature Review
Alfonso Cannavale, University of Salerno, Valeria Pontillo, Gran sasso Science Institute, Fabio Palomba, University of Salerno, Andrea De Lucia, University of Salerno - Beyond Empirical Boundaries: Toward Understanding and Handling Sensitive Prompts in LLMs
Gianmario Voria, University of Salerno, Martina De Lucia, University of Salerno, Alessandra Raia, University of Salerno, Andrea De Lucia, University of Salerno, Gemma Catolino, University of Salerno, Fabio Palomba, University of Salerno - Towards AI Agents for Selecting Architectural Patterns in Federated Learning Systems
Ivan Compagnucci, Gran sasso Science Institute, Catia Trubiani, Gran sasso Science Institute - A novel chunking-based text-tokenization approach incorporating domain knowledge
Satyajeet Sahoo, Indian Institute of Technology Kharagpur, Jhareswar Maiti, Indian Institute of Technology Kharagpur - Toward Performance Bug Detection with LLMs: Early Observations and Directions
Muhammad Imran, University of L’Aquila Vittorio Cortellessa, University of L’Aquila Davide Di Ruscio, University of L’Aquila Riccardo Rubei, University of L’Aquila Luca Traini, University of L’Aquila
Session 4: Quantum Computing
- Practicability of Quantum Approximate Optimization Algorithms for Test Case Selection
Antonio Trovato, University of Salerno, Martin Beseda, University of L’Aquila, Dario Di Nucci, University of Salerno - QMetric: Benchmarking Quantum Neural Networks Across Circuits, Features, and Training Dimensions
Silvie Illésová, IT4Innovations National Supercomputing Center, Tomasz Rybotycki, Polish Academy of Sciences, Martin Beseda, University of L’Aquila - Quantity, Quality, and Quantum Perspectives in Data-Driven Cybersecurity
Mansur Ziiatdinov, University of Messina, Salvatore Distefano, University of Messina - Teaching scheduling andnrouting algorithms through animations with the JMCH component of JMT
Marco Gribaudo, Politecnico di Milano, Giuseppe Serazzi, Politecnico di Milano, Lorenzo Torri, Politecnico di Milano
Session 5: Cloud and Edge Computing
- Addressing QoS in Kubernetes Pods Autoscaling
Jiregna Abdissa Olana, University of Messina, Maurizio Giacobbe, University of Messina, Sarah Zanafi, University of Messina, Antonio Puliafito, University of Messina - Improving microservices’ placement in multi-Cloud environment with distributed tracing
Carmine Colarusso, University of Sannio, Ida Falco, University of Sannio, Eugenio Zimeo, University of Sannio - Sustainable Serverless Computing in the Edge-Cloud Continuum – Extended Abstract
Cecilia Calavaro, Tor Vergata University of Rome, Valeria Cardellini, Tor Vergata University of Rome, Gabriele Russo Russo, Tor Vergata University of Rome - Hybrid Game-Theoretic Orchestration in Software-Defined Smart Cities
Zahra Javadi, University of Messina, Luca D’Agati, University of Messina, Francesco Longo, University of Messina, Giovanni Merlino, University of Messina
Session 6: Performance Modeling and Dependability
- Workflows of services with stochastic durations: quantitative predictive and prescriptive analytics
Laura Carnevali, University of Florence, Marco Paolieri, University of Southern California Leonardo Scommegna, University of Florence, Enrico Vicario, University of Florence - Using rewriting systems for performance analysis
Lorenzo Capra, Università degli studi di Milano Marco Gribaudo, Politecnico di Milano, Mauro Iacono, Università della Campania - Quantifying Cybersecurity–QoS Trade-Offs in Smart Hospitals: A Comparative Study Using CSPNs and Markovian Agent Models
Enrico Barbierato, Università Cattolica del Sacro Cuore, Alice Gatti, Università Cattolica del Sacro Cuore, Marco Gribaudo, Politecnico di Milano, Mauro Iacono, Università della Campania - Symbolic structural techniques improving the analysis of Stochastic Symmetric Nets
Lorenzo Capra, Università degli Studi di Milano, Massimiliano De Pierro, Università degli Studi di Torino, Giuliana Franceschinis, Università del Piemonte Orientale