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