papers

Here a brief list of published papers presenting the work done in the SAFEST framework:

Pievani, F., Taheri Monfared, A., Bombarda, A., Gargantini, A.
QuTiP-MRL: A Library for Multiple-Valued Reversible Logic Simulations
In: Taibi, D., Smite, D. (eds) Software Engineering and Advanced Applications. SEAA 2025. Lecture Notes in Computer Science, vol 16083. Springer, Cham.
[DOI] [PDF]

B. Guindani, M. Camilli, L. Lestingi, M.M. Bersani.
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows
36th IEEE International Symposium on Software Reliability Engineering (ISSRE). IEEE, 2025
[DOI] [PDF]

Taheri Monfared, A., Bombarda, A., Gargantini, A., Majid, Haghparast et
Efficient and scalable designs for ternary quantum reversible multiplexer and demultiplexer systems Quantum Inf Process 24, 308 (2025)
[DOI] [PDF]

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, and Elvinia Riccobene
SIMSPIRE: A Simulator of the Respiratory System
IEEE Access, Mar 2025
[DOI] [PDF]

Guindani, Camilli, Lestingi, Bersani
Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services
Accepted at the 48th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS). ACM, 2026
[DOI] [PDF]

Gargantini, Angelo
Are (formal) models still really useful in software engineering?
(invited talk) In Proceedings of the 33rd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2025)
[DOI] [PDF]

Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines
Science of Computer Programming, Volume 244, September 2025, 103299
[DOI] [PDF]

Chiara Braghin, Stelvio Cimato, Andrea Marchesi, Fabio Palazzesi and Elvinia Riccobene
Towards Secure and Interoperable Digital Twins for Healthcare Systems
Poster at DTW 2025 International Workshop on Digital Twins: Mathematical Analysis, Formal Methods and Scientific Machine Learning February 19-21, 2025 - Padova, Italy
[PDF]

Silvia Bonfanti, Andrea Bombarda, Angelo Gargantini, Alessandro Colombo, Gionatha Pirola
BREATHE: A Digital twin-based Respiratory System Simulator for Mechanical Ventilator Testing and Training
Poster at DTW 2025 International Workshop on Digital Twins: Mathematical Analysis, Formal Methods and Scientific Machine Learning February 19-21, 2025 - Padova, Italy
[PDF]

Bruno Guindani, Livia Lestingi, Matteo Camilli, Marcello Maria Bersani
Capturing Medical Knowledge into a Safe and Trustworthy Digital Twin
Poster at DTW 2025 International Workshop on Digital Twins: Mathematical Analysis, Formal Methods and Scientific Machine Learning February 19-21, 2025 - Padova, Italy
[PDF]