Conference Program

Day 1

• 09:00 - 9:25 Welcome
• 09:25 - 10:25 Session 1: Performance optimization of software systems
• 10:25 - 10:55 Session 2.1: Tools and Frameworks
• 10:55 - 11:15 Break
• 11:15 - 11:45 Session 2.2: Tools and Frameworks
• 11:45 - 13:00 Sessione 3: Critical systems and security assessment
• 13:00 - 14:00 Lunch
• 14:10 - 14:40 Invited
• 14:40 - 16:00 Session 4: Performance modeling and evaluation of software
• 16:00 - 16:20 Coffee Break
• 16:20 - 17:20 Session 5: Industrial application and 5/6G applications

Day 2

• 09:00-12:00 Discussion and next steps

Talks

Session 1: Performance optimization of software systems

• Optimal Scaling of Microservice Architectures Using Queueing Networks,
  Antonio Capizzi, Salvatore Distefano, Marco Scarpa, and Giovanni Mancini
• μOpt: An Efficient Optimal Autoscaler for Microservice Applications, Emilio Incerto, IMTLucca; Roberto Pizziol, IMTLucca;Mirco Tribastone, IMTLucca;
• Many-Objective Optimization of Non-Functional Attributes based on Refactoring of Software Models, Vittorio Cortellessa, Universita’ degli studi dell’Aquila; Daniele Di Pompeo, Universita’ degli studi dell’Aquila;Vincenzo Stoico, Universita’ degli studi dell’Aquila;Michele Tucci, Universita’ degli studi dell’Aquila
• Performance gain of microservices applications using tracing and locality-aware clustering, Carmine Colarusso, University of Sannio; Assunta De Caro, University of Sannio; Ida Falco, University of Sannio; Lorenzo Goglia, University of Sannio; Eugenio Zimeo, University of Sannio and CINI

Session 2: Tools and Frameworks

• COORDINATE: Performance Analysis of Fault-Tolerant Coordination Mechanisms, Riccardo Pinciroli, Gran Sasso Science Institute; Catia Trubiani, Gran Sasso Science Institute
• Serverledge: a Framework for QoS-Aware Function-as-a-Service in the Edge-Cloud Continuum, Gabriele Russo Russo, University of Rome Tor Vergata; Valeria Cardellini, University of Rome Tor Vergata; Francesco Lo Presti, University of Rome Tor Vergata
• Evento: a performance oriented framework for cloud native reactive systems, Gabor Galazzo - Università del Piemonte Orientale, Giuliana Franceschinis - Università del Piemonte Orientale
• A multiformalism-based model for performance evaluation of multi-architecture green data centers, Marco Gribaudo, Politecnico di Milano; Enrico Barbierato, a, Università Cattolica del Sacro Cuore; Daniele Manini, Università di Torino

Sessione 3: Critical systems and security assessment

• Trends on mixed-criticality system architectures: new venues for application of QoS analysis techniques, Raffaele Zippo, Università di Pisa; Md Amirul Islam, Università di Pisa; Giovanni Stea, Università di Pisa
• Early-stage Security Analysis of a Public Transport Supervision System using an Extension of the ADVISE Meta Modeling Framework, Francesco Mariotti; Leonardo Montecchi; Simone Nardi; Andrea Bondavalli; Paolo Lollini
• Analysis of the Confirmation Time in Proof-of-Work Blockchains, Ivan Malakhov, Universita’ Ca’ Foscari Venezia; Andrea Marin, Universita’ Ca’ Foscari Venezia; Sabina Rossi, Universita’ Ca’ Foscari Venezia; Daria Smuseva, Universita’ Ca’ Foscari Venezia
• Evaluating the role of software quality on policies for privacy and security, Mauro Iacono, Università degli Studi della Campania “Luigi Vanvitelli”; Michele Mastroianni, Università degli Studi di Salerno

Invited

• Service Quality Adaptive Processes, Lorenzo Franceschini, PagoPA; Alessio Dore, PagoPA

Session 4: Performance modeling and evaluation of software

• Dependability 2.0: beyond current vision and concepts through a cause-effect approach, Salvatore Distefano, Università degli Studi di Messina

• Towards effective assessment of steady state performance in Java software: Are we there yet?, Luca Traini, Università degli studi dell’Aquila; Vittorio Cortellessa, Università degli studi dell’Aquila; Daniele Di Pompeo, Università degli studi dell’Aquila; Michele Tucci, Università degli studi dell’Aquila
• Automated Detection of Software Performance Antipatterns in Java-based Applications – A Perspective on Service Quality Catia Trubiani, Gran Sasso Science Institute; Riccardo Pinciroli, Gran Sasso Science Institute; Andrea Biaggi, Università Milano-Bicocca; Francesca Arcelli Fontana, Università Milano-Bicocca
• Modeling Software Aging and Rejuvenation beyond the enabling restriction, L.Carnevali, University of Florence; R.Reali, University of Florence; M.Paolieri, University of Southern California; B.Picano, University of Florence; L.Scommegna, University of Florence; R.Verdecchia, University of Florence; E.Vicario, University of Florence
• Human Interaction in Search-based Software Quality Optimization, Vittorio Cortellessa, University of L’Aquila; Daniele Di Pompeo, University of L’Aquila; Michele Tucci, University of L’Aquila

Session 5: Industrial application and 5/6G applications

• Towards Novel Statistical Methods for Anomaly Detection in Industrial Processes, Simone Tonini, Department of Excellence EMbeDS Sant’Anna School for Advanced Studies Pisa Italy; Fernando Barsacchi, A. Celli Group Porcari Lucca Italy; Francesca Chiaromonte, Department of Excellence EMbeDS and Institute of Economics Sant’Anna School for Advanced Studies Pisa Italy and Dept. of Statistics and Huck Institutes of the Life Sciences The Pennsylvania State University USA; Daniele Licari, Department of Excellence EMbeDS Sant’Anna School for Advanced Studies Pisa Italy; Andrea Vandin, Department of Excellence EMbeDS and Institute of Economics Sant’Anna School for Advanced Studies Pisa Italy and DTU Technical University of Denmark Lyngby Denmark
• Application of Machine Learning techniques for regression analysis on software/hardware systems in an industrial environment, Federico Di Menna, University of L’Aquila; Luca Traini, University of L’Aquila; Vittorio Cortellessa, University of L’Aquila
• A testbed for the explainable forecasting of video-streaming quality in B5G/6G networks, Pietro Ducange, University of Pisa; Francesco Marcelloni, University of Pisa; Giovanni Nardini, University of Pisa; Alessandro Renda, University of Pisa; Giovanni Stea, University of Pisa
• A Stackelberg Game approach for managing an AI application in Mobile Edge Cloud systems, Roberto Sala, Politecnico di Milano; Hamta Sedghani, Politecnico di Milano; Danilo Ardagna, Politecnico di Milano