Silvia Bonfanti

Publications

2026

Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico
Conference presentations Aisberg DOI
Evaluating the Practical Impact of Parallelism in Asmeta
Bombarda, Andrea; Bonfanti, Silvia; Cornejo, Cesar Mauricio; Gargantini, Angelo Michele; Pellegrinelli, Nico
Conference presentations Aisberg DOI
Can Large Language Models Support Modeling Systems with ASMETA? A Case Study with a Planetary Rover
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico
Conference presentations Aisberg DOI
ASMETA: A comprehensive tool set for formal system engineering based on abstract state machines
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Journal Articles/Essays Aisberg DOI

2025

Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [email protected]
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico; Scandurra, Patrizia
Conference presentations Aisberg DOI
SIMSPIRE: A Simulator of the Respiratory System
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Journal Articles/Essays Aisberg DOI
Preface [a: Testing Software and Systems]
Bonfanti, Silvia; Papadopoulos, George A.
Prefaces/Afterwords Aisberg
My feature model has changed... What should I do with my tests?
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Journal Articles/Essays Aisberg DOI
Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Journal Articles/Essays Aisberg DOI
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines
Bonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia
Journal Articles/Essays Aisberg DOI
Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico
Conference presentations Aisberg DOI
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems
Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Journal Articles/Essays Aisberg DOI

2024

The Mechanical Lung Ventilator Case Study
Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI
Testing the Evolution of Feature Models with Specific Combinatorial Tests
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium, Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers
Tekinerdoğan, Bedir; Spalazzese, Romina; Sözer, Hasan; Bonfanti, Silvia; Weyns, Danny
Edited books Aisberg DOI
Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Bonfanti, Silvia; Gargantini, Angelo Michele; Leuschel, Michael; Riccobene, Elvinia; Scandurra, Patrizia
Edited books Aisberg DOI
Preface [a: Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium]
Tekinerdogan, Bedir; Spalazzese, Romina; Sözer, Hasan; Bonfanti, Silvia; Weyns, Danny
Prefaces/Afterwords Aisberg
Preface [a: Rigorous State-Based Methods. 10th International Conference, ABZ 2024 Bergamo, Italy, June 25–28, 2024. Proceedings]
Riccobene, Elvinia; Leuschel, Michael; Bonfanti, Silvia; Gargantini, Angelo Michele; Scandurra, Patrizia
Prefaces/Afterwords Aisberg
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems
Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia
Journal Articles/Essays Aisberg DOI
ASMETA Tool Set for Rigorous System Design
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Conference presentations Aisberg DOI
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features
Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Journal Articles/Essays Aisberg DOI
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers
Essbai, Wasim; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI

2023

formal MVC: A Pattern for the Integration of ASM Specifications in UI Development
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI
Testing Software and Systems. 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings
Bonfanti, Silvia; Gargantini, Angelo Michele; Salvaneschi, Paolo
Edited books Aisberg DOI
RATE: A model-based testing approach that combines model refinement and test execution
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Lei, Yu; Duan, Feng
Journal Articles/Essays Aisberg DOI
Preface [to: Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings]
Bonfanti, Silvia; Gargantini, Angelo Michele; Salvaneschi, Paolo
Prefaces/Afterwords Aisberg
On the Reuse of Existing Configurations for Testing Evolving Feature Models
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
Bonfanti, Silvia; Riccobene, Elvinia; Santandrea, Davide; Scandurra, Patrizia
Conference presentations Aisberg DOI
A component framework for the runtime enforcement of safety properties
Bonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia
Journal Articles/Essays Aisberg DOI
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype
Bonfanti, Silvia; Gargantini, Angelo Michele; Novelli, Luca
Conference presentations Aisberg DOI

2022

Towards an Evaluation Framework for Autonomous Systems
Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia
Conference presentations Aisberg DOI
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Gamba, Daniele; Pedercini, Rita
Conference presentations Aisberg DOI
Guidelines for the development of a critical software under emergency
Bombarda, Andrea; Bonfanti, Silvia; Galbiati, Cristiano; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Wada, Masayuki
Journal Articles/Essays Aisberg DOI
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications
Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI
Compositional Simulation of Abstract State Machines for Safety Critical Systems
Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Conference presentations Aisberg DOI
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI

2021

The novel Mechanical Ventilator Milano for the COVID-19 pandemic
Abba, A.; Accorsi, C.; Agnes, P.; Alessi, E.; Amaudruz, P.; Annovi, A.; Desages, F. Ardellier; Back, S.; Badia, C.; Bagger, J.; Basile, V.; Batignani, G.; Bayo, A.; Bell, B.; Beschi, M.; Biagini, D.; Bianchi, G.; Bicelli, S.; Bishop, D.; Boccali, T.; Bombarda, Andrea; Bonfanti, Silvia; Bonivento, W. M.; Bouchard, M.; Breviario, M.; Brice, S.; Brown, R.; Calvo-Mozota, J. M.; Camozzi, L.; Camozzi, M.; Capra, A.; Caravati, M.; Carlini, M.; Ceccanti, A.; Celano, B.; Cela Ruiz, J. M.; Charette, C.; Cogliati, G.; Constable, M.; Crippa, C.; Croci, G.; Cudmore, S.; Dahl, C. E.; Dal Molin, A.; Daley, M.; Di Guardo, C.; D'Avenio, G.; Davignon, O.; Del Tutto, M.; De Ruiter, J.; Devoto, A.; Diaz Gomez Maqueo, P.; Di Francesco, F.; Dossi, M.; Druszkiewicz, E.; Duma, C.; Elliott, E.; Farina, D.; Fernandes, C.; Ferroni, F.; Finocchiaro, G.; Fiorillo, G.; Ford, R.; Foti, G.; Fournier, R. D.; Franco, D.; Fricbergs, C.; Gabriele, F.; Galbiati, C.; Garcia Abia, P.; Gargantini, Angelo Michele; Giacomelli, L.; Giacomini, F.; Giacomini, F.; Giarratana, L. S.; Gillespie, S.; Giorgi, D.; Girma, T.; Gobui, R.; Goeldi, D.; Golf, F.; Gorel, P.; Gorini, G.; Gramellini, E.; Grosso, G.; Guescini, F.; Guetre, E.; Hackman, G.; Hadden, T.; Hawkins, W.; Hayashi, K.; Heavey, A.; Hersak, G.; Hessey, N.; Hockin, G.; Hudson, K.; Ianni, A.; Ienzi, C.; Ippolito, V.; James, C. C.; Jillings, C.; Kendziora, C.; Khan, S.; Kim, E.; King, M.; King, S.; Kittmer, A.; Kochanek, I.; Kowalkowski, J.; Krücken, R.; Kushoro, M.; Kuula, S.; Laclaustra, M.; Leblond, G.; Lee, L.; Lennarz, A.; Leyton, M.; Li, X.; Liimatainen, P.; Lim, C.; Lindner, T.; Lomonaco, T.; Lu, P.; Lubna, R.; Lukhanin, G. A.; Luzón, G.; Macdonald, M.; Magni, G.; Maharaj, R.; Manni, S.; Mapelli, C.; Margetak, P.; Martin, L.; Martin, S.; Martínez, M.; Massacret, N.; Mcclurg, P.; Mcdonald, A. B.; Meazzi, E.; Migalla, R.; Mohayai, T.; Tosatti, L. M.; Monzani, G.; Moretti, C.; Morrison, B.; Mountaniol, M.; Muraro, A.; Napoli, P.; Nati, F.; Natzke, C. R.; Noble, A. J.; Norrick, A.; Olchanski, K.; Ortiz de Solorzano, A.; Padula, F.; Pallavicini, M.; Palumbo, I.; Panontin, E.; Papini, N.; Parmeggiano, L.; Parmeggiano, S.; Patel, K.; Patel, A.; Paterno, M.; Pellegrino, C.; Pelliccione, P.; Pesudo, V.; Pocar, A.; Pope, A.; Pordes, S.; Prelz, F.; Putignano, O.; Raaf, J. L.; Ratti, C.; Razeti, M.; Razeto, A.; Reed, D.; Refsgaard, J.; Reilly, T.; Renshaw, A.; Retriere, F.; Riccobene, E.; Rigamonti, D.; Rizzi, A.; Rode, J.; Romualdez, J.; Russel, L.; Sablone, D.; Sala, S.; Salomoni, D.; Salvo, P.; Sandoval, A.; Sansoucy, E.; Santorelli, R.; Savarese, C.; Scapparone, E.; Schaubel, T.; Scorza, S.; Settimo, M.; Shaw, B.; Shawyer, S.; Sher, A.; Shi, A.; Skensved, P.; Slutsky, A.; Smith, B.; Smith, N. J. T.; Stenzler, A.; Straubel, C.; Stringari, P.; Suchenek, M.; Sur, B.; Tacchino, S.; Takeuchi, L.; Tardocchi, M.; Tartaglia, R.; Thomas, E.; Trask, D.; Tseng, J.; Tseng, L.; Vanpagee, L.; Vedia, V.; Velghe, B.; Viel, S.; Visioli, A.; Viviani, L.; Vonica, D.; Wada, M.; Walter, D.; Wang, H.; Wang, M. H. L. S.; Westerdale, S.; Wood, D.; Yates, D.; Yue, S.; Zambrano, V.
Journal Articles/Essays Aisberg DOI
The ASMETA Approach to Safety Assurance of Software Systems
Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Book Chapters/Essays Aisberg DOI
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers
Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19
Bombarda, Andrea; Bonfanti, Silvia; Galbiati, Cristiano; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Wada, Masayuki
Conference presentations Aisberg DOI
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare
Bonfanti, Silvia; Bombarda, Andrea; Gargantini, Angelo Michele; Riccobene, Elvinia; Pelliccione, Patrizio
Newspaper or Professional article Aisberg
Extending ASMETA with Time Features
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Conference presentations Aisberg DOI
Evaluation of stereoacuity with a digital mobile application
Bonfanti, Silvia; Gargantini, Angelo Michele; Esposito, Gabriele; Facchin, Alessio; Maffioletti, Marta; Maffioletti, Silvio
Journal Articles/Essays Aisberg DOI
Efficient Computation of Robustness of Convolutional Neural Networks
Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Conference presentations Aisberg DOI
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study
Gargantini, Angelo Michele; Bonfanti, Silvia
Conference presentations Aisberg DOI
A Runtime Safety Enforcement Approach by Monitoring and Adaptation
Bonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia
Conference presentations Aisberg DOI

2020

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Conference presentations Aisberg DOI
Design and validation of a C++ code generator from Abstract State Machines specifications
Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, A.
Journal Articles/Essays Aisberg DOI
Dealing with Robustness of Convolutional Neural Networks for Image Classification
Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI
Addressing usability in a formal development environment
Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Conference presentations Aisberg DOI

2019

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Radavelli, Marco; Duan, Feng; Lei, Yu
Conference presentations Aisberg DOI

2018

Validation of transformation from abstract state machine models to C++ code
Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
Conference presentations Aisberg DOI
Stereo Digital Displays for Diagnosis and Treatment of Amblyopia
Bonfanti, Silvia; Gargantini, Angelo Michele
Book Chapters/Essays Aisberg
Integrating formal methods into medical software development: The ASM approach
Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia
Journal Articles/Essays Aisberg DOI
Generation of behavior-driven development C++ tests from abstract state machine scenarios
Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
Conference presentations Aisberg DOI
Generation of C++ Unit Tests from Abstract State Machines Specifications
Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
Conference presentations Aisberg DOI
Behind optical factors in anisometropic aniseiconia
Esposito, Gabriele; Facchin, Alessio; Maffioletti, MARTA NICOLE; Maffioletti, Silvio; Gargantini, Angelo Michele; Bonfanti, Silvia; Bonsignore, Francesco; Nucci, Paolo
Conference posters Aisberg
AsmetaA: Animator for abstract state machines
Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
Conference presentations Aisberg DOI
A systematic literature review of the use of formal methods in medical software systems
Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
Journal Articles/Essays Aisberg DOI

2017

The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture
Bonfanti, Silvia; Centurelli, Valentina; Riccobene, Elvinia; Scandurra, Patrizia
Conference presentations Aisberg DOI
Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code
Bonfanti, Silvia
Tesi di dottorato Aisberg DOI
Asm2C++: A tool for code generation from abstract state machines to Arduino
Bonfanti, Silvia; Carissoni, Marco; Gargantini, Angelo Michele; Mashkoor, Atif
Conference presentations Aisberg DOI
Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors
Bonfanti, Silvia; Gargantini, Angelo Michele
Conference presentations Aisberg DOI

2016

Visual Notation and Patterns for Abstract State Machines
Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Conference presentations Aisberg DOI
Unified syntax for abstract state machines
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo Michele; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael
Conference presentations Aisberg DOI
How to assure correctness and safety of medical software: The hemodialysis machine case study
Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Conference presentations Aisberg DOI
A preliminary systematic literature review of the use of formal methods in medical software systems
Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
Conference presentations Aisberg

2015

Smartphone based video-telemetry logger for remote maintenance services
Cologni, Alberto Luigi; Fasanotti, Luca; Dovere, Emanuele; Previdi, Fabio; Bonfanti, Silvia; Owen, Franklin Caleb
Conference presentations Aisberg DOI
Formal validation and verification of a medical software critical component
Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia
Conference presentations Aisberg DOI
A mobile application for the stereo acuity test
Bonfanti, Silvia; Gargantini, Angelo Michele; Vitali, Andrea
Conference presentations Aisberg DOI
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation
Gargantini, Angelo Michele; Terzi, Fabio; Zambelli, Matteo; Bonfanti, Silvia
Conference presentations Aisberg DOI