| 2026 | FORTE | AsmetaComp: A Tool for Runtime Contract Checking with I/O Abstract State Machines. | Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2024 | FM | ASMETA Tool Set for Rigorous System Design. | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2024 | ICST | Testing the Evolution of Feature Models with Specific Combinatorial Tests. | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
| 2023 | SPLC | On the Reuse of Existing Configurations for Testing Evolving Feature Models. | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
| 2022 | ICST | Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. | Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini |
| 2021 | ECSA | A Runtime Safety Enforcement Approach by Monitoring and Adaptation. | Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra |
| 2021 | ICST | ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. | Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
| 2021 | ISSRE | Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. | Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada |
| 2019 | FM | Addressing Usability in a Formal Development Environment. | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2018 | ICST | Generation of C++ Unit Tests from Abstract State Machines Specifications. | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
| 2018 | MEDI | Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
| 2017 | ECSA | The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper). | Silvia Bonfanti, Valentina Centurelli, Elvinia Riccobene, Patrizia Scandurra |
| 2015 | HCI | A Mobile Application for the Stereoacuity Test. | Silvia Bonfanti, Angelo Gargantini, Andrea Vitali |
| 2015 | MEMOCODE | Formal validation and verification of a medical software critical component. | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene |