Peer-reviewed journal papers - Digital platforms for space industry
Milestone 24 - Digital platforms for space industry
A. Peer-reviewed journal papers
1. Moretti, M., Rossi, A., & Senin, N. "Optical tomography by laser line scanning and digital twinning for in-process inspection of lattice structures in material extrusion." Additive Manufacturing (2024): 104424. Doi.org/10.1016/j.addma.2024.104424. (Q1)
B. Conference proceedings
1) Simone Fioravanti, Michele Flammini, Bojana Kodric, Giovanna Varricchio: “PAC Learning and Stabilizing Hedonic Games: Towards a Unifying Approach”, 37th AAAI Conference on Artificial Intelligence (AAAI), Washington, D.C., USA, AAAI Press, Palo Alto, California, USA, pp. 5641-5648, February 2023. (INTERNATIONAL)
2) Enxhi Ferko, Alessio Bucaioni, Patrizio Pelliccione, Moris Behnam (2023) Analysing Interoperability in Digital Twin Software Architectures for Manufacturing In: ECSA 2023. (INTERNATIONAL)
3) Angelella S., Albi E., Dionigi M., Logozzo S., Valigi M.C. Proposal and Modeling by Simscape Multibody of a Mechatronic Device for Breast Cancer Cells Experiments (2024) Mechanisms and Machine Science, 164 MMS (INTERNATIONAL)
4) Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto: Behavioural Types for Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9(2): 14:1-14:5 (2023). Behavioural Types for Local-First Software (Artifact). Dagstuhl Artifacts (INTERNATIONAL)
5) Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto: Behavioural Types for Local-First Software. ECOOP 2023: 15:1-15:28. (INTERNATIONAL)
6) Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Dennis Olivetti, Gustav Schmid (2023): “On the Node-Averaged Complexity of Locally Checkable Problems on Trees”, in 37th International Symposium on Distributed Computing (DISC 2023). (INTERNATIONAL)
7) Ngoc-Thanh Nguyen, Keila Lima, Astrid Marie Slålvik, Rogardt Heldal, Eric Knauss, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Camilla Sætre, Lars Michael Kristensen (2023) Synthesized data quality requirements and roadmap for improving reusability of in-situ marine data in: 31st IEEE International Requirements Engineering Conference (RE23). (INTERNATIONAL)
8) Francesca Arcelli Fontana, Matteo Camilli, Davide Rendina, Andrei Gabriel Taraboi, Catia Trubiani: Impact of Architectural Smells on Software Performance: an Exploratory Study. International Conference on Evaluation and Assessment in Software Engineering (EASE), 2023: 22-31. (INTERNATIONAL)
9) Riccardo Pinciroli, Raffaela Mirandola, Catia Trubiani: Modular Quality-of-Service Analysis of Software Design Models for Cyber-Physical Systems. International Conference on Advanced Information Systems Engineering (CAiSE) 2023: 88-104. (INTERNATIONAL)
10) Kenneth Johnson, Samaneh Madanian, Catia Trubiani "Patterns of Applied Control for Public Health Measures on Transportation Services under Epidemic", in the Proceedings of the International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2024. (INTERNATIONAL)
11) A. Staffa, M. Palmieri, G. Morettini, F. Cianetti and C. Braccesi. Integration of Piezoresistive Sensors into AM Structural Components: Evaluation of Sensor Properties and Its Impact on Component Mechanical Performance, 2024. (NATIONAL)
12) D'Incecco, P., Gorinov, D. A., Dolci, M. et al., "The INAF Campo Imperatore Observatory in Abruzzo (Italy) as an Earth Observation Facility for the Study of Venus Night Airglows (VNAs), Proceedings of the 55th Lunar, Planetary Science Conference", held 11-15 March, 2024 at The Woodlands, Texas/Virtual. LPI Contribution No. 3040, id.2202 (2024). https://ntrs.nasa.gov/citations/20240000324 (INTERNATIONAL)
13) M. Dolci, E. Brocato, G. Rodeghiero et al., "Upgrading the AZT24 telescope at the Campo Imperatore high-altitude observatory: design and installation of a new, seeing-enhanced NIR imager", Proceedings of the SPIE Astronomical Telescopes + Instrumentation 2024 Conference, id. 13096-336 (2024). (INTERNATIONAL)
14) Rodeghiero, G., Valentini, A., Dolci, M. et al., "A new near-IR imager for the 1.1m infrared telescope of the Campo Imperatore Observatory", Proceedings of the 6th Chianti Topics, held 26-29 February, 2024 in Florence. Video Mem. SAIt, under publication (2024). (NATIONAL)
15) Luciana Rebelo, Érica Souza, Gian Berkenbrock, Gerson Barbosa, Marlon Silva, André Endo, Nandamudi Vijaykumar, Catia Trubiani (2023) "Prioritizing test cases with Markov Chains: a Preliminary Investigation", in 35th International Conference on Testing Software and Systems (ICTSS 2023). (INTERNATIONAL)
16) Samira Silva, Ricardo Caldas, Patrizio Pelliccione, Antonia Bertolino (2025) An adaptive testing approach based on field data In: 6th ACM/IEEE International Conference on Automation of Software Test (AST). (INTERNATIONAL)
17) Alberto Avritzer, Andrea Janes, Catia Trubiani, Helena Rodrigues, Yuanfang Cai, Daniel Sadoc Menasché and Álvaro José Abreu de Oliveira, “Architecture and Performance Antipatterns Correlation in Microservice Architectures”, International Conference on Software Architecture (ICSA), 2025. (INTERNATIONAL)
18) Alessio Bucaioni, Amleto Di Salle, Ludovico Iovino, Patrizio Pelliccione, Franco Raimondi (2025) Architecture as Code In: 22nd International Conference on Software Architecture (ICSA 2025). (INTERNATIONAL)
19) Compagnucci Ivan, Pinciroli Riccardo, & Trubiani Catia. Performance Analysis of Architectural Patterns for Federated Learning Systems. 22nd IEEE International Conference on Software Architecture. ICSA 2025. (INTERNATIONAL)
20) Di Frischia, S., Dolci, M. 2024: AI detection of S/N<1 Sources in infrared images: a deep learning algorithm developed for the AZT24 facility at Campo Imperatore Observatory, Proceedings of the SPIE, id. 13101, p. 131012Y (INTERNATIONAL)
21) Tiziano Santilli, Marco De Luca, Domenico Amalfitano, Anna Rita Fasolino, Patrizio Pelliccione (2024) Characterizing Software Architectural Metrics for Continuous Compliance in the Automotive Domain In: 21st IEEE International Conference on Software Architecture (ICSA 2024). (INTERNATIONAL)
22) Keila Lima, Ngoc-Thanh Nguyen, Rogardt Heldal, Lars Michael Kristensen, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Eric Knauss (2024) A data-flow oriented software architecture for heterogeneous marine data streams In: 21st IEEE International Conference on Software Architecture (ICSA 2024). (INTERNATIONAL)
23) Alessio Bucaioni, Amleto Di Salle, Ludovico Iovino, Leonardo Mariani, Patrizio Pelliccione (2024) Continuous Conformance of Software Architectures In: 21st IEEE International Conference on Software Architecture (ICSA 2024). (INTERNATIONAL)
24) A. Aloisio, M. Flammini, C.Vinci: “Generalized Distance Polymatrix Games”, Proc. of the 49th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Cochem, Germany, Lecture Notes in Computer Science 14519, Springer, Basel, Switzerland, pp. 25-39. (INTERNATIONAL)
25) V. Bilò, M. Flammini, G.Monaco, L.Moscardelli, C.Vinci: “On Green Sustainability of Resource Selection Games with Equitable Cost-Sharing”, Proc. of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Auckland, New Zealand, IFAAMAS, Richland, South Carolina, USA. (INTERNATIONAL)
26) Gianlorenzo D'Angelo, Esmaeil Delfaraz: Approximation Algorithms for Node-Weighted Directed Steiner Problems. In 35th International Workshop on Combinatorial Algorithms (IWOCA 2024). (INTERNATIONAL)
27) D'Incecco, P., Gorinov, D. A., Dolci, M., Tartaglia, L., De Luise, F., Valentini, G., Cantiello, M., Filiberto, J., Bhiravarasu, S. S., Brocato, E., Rodeghiero, G., Valentini, A., Benedetti, S., Di Carlo, M., Di Cianno, A., Di Frischia, S., Napoleone, N., Piersimoni, A., Portaluri, E., Raimondo, G., Spanò, P., Di Achille, G. 2024: The INAF Campo Imperatore Observatory in Abruzzo (Italy) as an Earth Observation Facility for the Study of Venus Night Airglows (VNAs), Proceedings of the 55th Lunar, Planetary Science Conference, id. 3040, p. 2202 (INTERNATIONAL)
28) Dolci, M., Brocato, E., Rodeghiero, G., Di Frischia, S., D'Incecco, P., Canzari, M., Benedetti, S., De Luise, F., Di Carlo, M., Di Cianno, A., Napoleone, N., Piersimoni, A. M., Portaluri, E., Raimondo, G., Tartaglia, L., Valentini, A., Valentini, G. 2024: Upgrading the AZT24 telescope at the Campo Imperatore high-altitude observatory: design, installation of a new, seeing-enhanced NIR imager, Proceedings of the SPIE, id. 13096, p. 130968W, https://ui.adsabs.harvard.edu/abs/2024SPIE13096E..8WD (INTERNATIONAL)
29) J. Afonso, E. Konjoh Selabi, M. Murgia, A. Ravara, E. Tuosto. TRAC: a tool for data-aware coordination. COORDINATION 2024 (To appear (INTERNATIONAL)
30) C. G. Lopez Pombo, P. Montepagano, E. Tuosto. SEArch: an execution infrastructure for service-based software systems. COORDINATION 2024 (To appear) (INTERNATIONAL)
31) C. Bartolo Burlò, A. Francalanza, A. Scalas, E. Tuosto. COTS: Connected OpenAPI Test Synthesis for RESTful Applications. COORDINATION 2024 (To appear). (INTERNATIONAL)
32) Carlos G. Lopez Pombo, Agustı́n E. Martinez-Suñé, Emilio Tuosto: Automated Static Analysis of QoS Properties of Communicating Systems. To appear at FM 2024. (INTERNATIONAL) This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
33) Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li: Avoiding the Shoals - A New Approach to Liveness Checking. CAV (1) 2024: 234-254. (INTERNATIONAL). This work has been funded by the European Union–NextGenerationEU, under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041–VITALITY–CUP C63C22000560006
34) P. Haller, A. Hussein, H. Melgratti, A. Scalas, E. Tuosto: Fair Join Pattern Matching for Actors. To Appear at ECOOP 2024 (INTERNATIONAL). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001.
35) Omar Inverso, Emerson Sales, Emilio Tuosto: Accurate Static Data Race Detection for C. To Appear at FM 2024 (INTERNATIONAL) This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001.
C. Monographs/others
1) Franco Barbanera, Ivan Lanese, Emilio Tuosto: A Theory of Formal Choreographic Languages. Log. Methods Comput. Sci. 19(3) (2023). A Theory of Formal Choreographic Languages. Log. Methods Comput. Sci. (Journal Paper without Q, but with DOI)
2) Ngoc Thanh Nguyen, Rogardt Heldal, Keila Lima, Tosin Daniel Oyetoyan, Patrizio Pelliccione, Lars Michael Kristensen, Kjetil Waldeland Høydal, Pål Asle Reiersgaard, Yngve Kvinnsland (2023) Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems IEEE Internet of Things Journal. DOI: 10.1109/JIOT.2023.3283252. Journal Paper without Q, but with DOI
3) Roger Nazir, Alessio Bucaioni, Patrizio Pelliccione (2023) Architecting ML-enabled systems: challenges, best practices, and design decisions Journal of Systems & Software (JSS). https://doi.org/10.1016/j.jss.2023.111860. Architecting ML-enabled systems: challenges, best practices, and design decisions Journal of Systems & Software (JSS). (Journal Paper without Q, but with DOI)
4) Gianlorenzo D'Angelo, Debashmita Poddar, Cosimo Vinci: Better bounds on the adaptivity gap of influence maximization under full-adoption feedback. Artif. Intell. 318: 103895 (2023). https://doi.org/10.1016/j.artint.2023.103895. Cosimo Vinci: Better bounds on the adaptivity gap of influence maximization under full-adoption feedback. (Journal Paper without Q, but with DOI )
5) Samira Silva, Patrizio Pelliccione, Antonia Bertolino (2023) Self-Adaptive Testing in the Field, ACM Transactions on Autonomous and Adaptive Systems. https://doi.org/10.1145/3627163. Self-Adaptive Testing in the Field, ACM Transactions on Autonomous and Adaptive Systems. (Journal Paper without Q, but with DOI)
6) Franco Barbanera, Ivan Lanese, Emilio Tuosto: Composition of synchronous communicating systems. J. Log. Algebraic Methods Program. 135: 100890 (2023). https://doi.org/10.1016/j.jlamp.2023.100890. Composition of synchronous communicating systems. J. Log. Algebraic Methods Program (Journal Paper without Q, but with DOI)
7) Giovanni Quattrocchi, Emilio Incerto, Riccardo Pinciroli, Catia Trubiani, Luciano Baresi", Autoscaling Solutions for Cloud Applications under Dynamic Workloads", accepted for IEEE Transactions on Services Computing (TSC), to appear. DOI:10.1109/TSC.2024.3354062 Autoscaling Solutions for Cloud Applications under Dynamic Workloads", accepted for IEEE Transactions on Services Computing (TSC), to appear. (Journal Paper without Q, but with DOI)
8) P. Krupa, O. Inverso, M. Tribastone, A. Bemporad. “Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems”. Elsevier Automatica 2024. https://doi.org/10.1016/j.automatica.2023.111411 (Journal Paper without Q, but with DOI)
9) Rossi, A., Pescara, T., Gambelli, A. M., Gaggia, F., Asthana, A., Perrier, Q., Basta, G., Moretti, M., Senin, N., Rossi, F., Orlando, G. & Calafiore, R. “Biomaterials for extrusion-based bioprinting and biomedical applications”. Frontiers in Bioengineering and Biotechnology, 12 (2024): 1393641.doi.org/10.3389/fbioe.2024.1393641 (Journal Paper without Q, but with DOI)
10) Srajan Goyal, Alberto Griggio, Stefano Tonetta: System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator. Sci. Comput. Program. 242: 103253 (2025) (Journal Paper without Q, but with DOI)
11) Samira Silva, Ricardo Caldas, Patrizio Pelliccione, Antonia Bertolino (2025) Different Approaches for Testing Body Sensor Network Applications Journal of Systems & Software (JSS). (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
12) Luciana Brasil Rebelo dos Santos, Érica Ferreira de Souza, André Takeshi Endo, Catia Trubiani, Riccardo Pinciroli, Nandamudi Lankalapalli Vijaykumar. "Performance regression testing initiatives: A systematic mapping". Information and Software Technology, Volume 179, 2025, 107641, ISSN 0950-5849 (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
13) João Paulo Costa de Araujo, Genáına Nunes Rodrigues, Marc Carwehl, Thomas Vogel, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione (2024) Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach IEEE Software (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
14) Ricardo Caldas, Juan Antonio Piñera Garcìa, Matei Schiopu, Patrizio Pelliccione, Genaína Rodrigues, Thorsten Berger (2024) Runtime Verification and Field-based Testing for ROS-based Robotic Systems IEEE Transactions on Software Engineering (TSE) (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
15) A Petrucci, F Basciani, P Pelliccione: "AI/ML for safety-critical software: the case of the space domain", IEEE Software. (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
16) Lorenzo Bettini, Amleto Di Salle, Ludovico Iovino, Pierantonio. Supporting reusable model migration with Edelta. The Journal of Systems & Software (JSS). (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
17) Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra (2024) Evaluation framework for autonomous systems: the case of Programmable Electronic Medical Systems IEEE Transactions on Software Engineering (TSE). (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
18) Tiziano Santilli, Patrizio Pelliccione, Rebekka Wohlrab, Ali Shahrokni (2024) Continuous Compliance in the Automotive Industry IEEE Software. (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
19) Davide Bilò, Gianlorenzo D'Angelo, Luciano Gualà, Stefano Leucci, Mirko Rossi: Blackout-tolerant temporal spanners. J. Comput. Syst. Sci. 141: 103495 (2024). (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
20) Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto: A Dynamic Temporal Logic for Quality of Service in Choreographic Models. ICTAC 2023: 119-138 (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
21) Srajan Goyal, Alberto Griggio, Stefano Tonetta: System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator. Science of Computer Programming Sci. 242: 103253 (2025). https://doi.org/10.1016/j.scico.2024.103253 (Journal Papers without Q, but with DOI). This work has been funded by the European Union–NextGenerationEU, under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041–VITALITY–CUP C63C22000560006
22) Martin Jonáš, Jan Strejček and Alberto Griggio: "Combining Symbolic Execution with Predicate Abstraction and CEGAR. FMCAD 2024". https://doi.org/10.34727/2024/isbn.978-3-85448-065-5 (Journal Papers without Q, but with DOI). This work has been funded by the European Union–NextGenerationEU, under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041–VITALITY–CUP C63C22000560006
23) Sven Peldszus, Davide Brugali, Daniel Strüber, Patrizio Pelliccione, Thorsten Berger (2024) Software Reconfiguration in Robotics. To appear at Empirical Software Engineering journal. (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
24) Filippo Fabiani, Bartolomeo Stellato, Daniele Masti, Paul J. Goulart - A neural network-based approach to hybrid systems identification for control (2024 maybe 2025) To appear in Automatica. (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
25) Ngoc-Thanh Nguyen, Rogardt Heldal and Patrizio Pelliccione, Concept-drift-adaptive Anomaly Detector for Marine Sensor Data Streams. Internet of Things journal, Elsevier. To appear. 2024. (Journal Paper without Q, but with DOI). This work has been funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR) National Innovation Ecosystem grant ECS00000041 - VITALITY – CUP: D13C21000430001
