Silvia Bonfanti

63 papers A 3B 1C 18Journal 15Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract). CoRR Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli
2026	J	`jnl`	Journal Research Data Policies in Materials Science. CoRR Lukas Hörmann, Hemanadhan Myneni, Rwayda Kh. S. Al-Hamd, Katarina Batalovic, Silvia Bonfanti, Federico Grasselli, Saulius Grazulis, Bahattin Koç, Konstantinos Konstantinou, Ivor Loncaric, Nataliya Lopanitsyna, José Manuel Oliveira, Paolo Pegolo, Patrícia Ramos, Kevin Rossi, Sebastian P. Schwaminger, Edith Simmen, Milica Todorovic, Markus Stricker, Jonathan Schmidt
2026	J	`jnl`	My feature model has changed... What should I do with my tests? J. Syst. Softw. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2026	C	`ed.`	Testing Software and Systems - 37th IFIP WG 6.1 International Conference, ICTSS 2025, Limassol, Cyprus, September 17-19, 2025, Proceedings ICTSS Silvia Bonfanti, George Angelos Papadopoulos
2025	J	`jnl`	A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems. Formal Aspects Comput. Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2025	—	`conf`	Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications. NFM Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli
2025	J	`jnl`	Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines. Sci. Comput. Program. Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
2025	C	`conf`	Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE. ICTSS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli
2025	J	`jnl`	SIMSPIRE: A Simulator of the Respiratory System. IEEE Access Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2025	C	`conf`	Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [email protected]. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli, Patrizia Scandurra
2024	—	`conf`	A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers. DeepTest@ICSE Wasim Essbai, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2024	J	`jnl`	A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. Int. J. Softw. Tools Technol. Transf. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2024	—	`conf`	ASMETA Tool Set for Rigorous System Design. FM (2) Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2024	J	`jnl`	Computational design of mechanical metamaterials. Nat. Comput. Sci. Silvia Bonfanti, Stefan Hiemer, Raja Zulkarnain, Roberto Guerra, Michael Zaiser, Stefano Zapperi
2024	J	`jnl`	Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. IEEE Trans. Software Eng. Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
2024	C	`conf`	From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2024	C	`ed.`	Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings ABZ Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
2024	—	`ed.`	Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium - Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers ECSA (Tracks, Workshops and Doctoral Symposium) Bedir Tekinerdogan, Romina Spalazzese, Hasan Sözer, Silvia Bonfanti, Danny Weyns
2024	—	`conf`	Testing the Evolution of Feature Models with Specific Combinatorial Tests. ICSTW Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2024	C	`conf`	The Mechanical Lung Ventilator Case Study. ABZ Silvia Bonfanti, Angelo Gargantini
2023	—	`conf`	A Mobile Application for Milano Ventilatore Meccanico: A First Prototype. HEALTHINF Silvia Bonfanti, Angelo Gargantini, Luca Novelli
2023	J	`jnl`	A component framework for the runtime enforcement of safety properties. J. Syst. Softw. Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
2023	C	`conf`	Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. ABZ Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra
2023	—	`conf`	On the Reuse of Existing Configurations for Testing Evolving Feature Models. SPLC (B) Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2023	J	`jnl`	RATE: A model-based testing approach that combines model refinement and test execution. Softw. Test. Verification Reliab. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, Feng Duan
2023	C	`ed.`	Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings ICTSS Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
2023	C	`conf`	formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2022	—	`conf`	Compositional Simulation of Abstract State Machines for Safety Critical Systems. FACS Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2022	J	`jnl`	Guidelines for the development of a critical software under emergency. Inf. Softw. Technol. Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
2022	A	`conf`	Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini
2022	—	`conf`	Towards an Evaluation Framework for Autonomous Systems. ACSOS-C Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
2021	B	`conf`	A Runtime Safety Enforcement Approach by Monitoring and Adaptation. ECSA Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
2021	C	`conf`	Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. ICTSS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2021	—	`conf`	Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study. HEALTHINF Silvia Bonfanti, Angelo Gargantini
2021	—	`conf`	Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. AppFM@FM Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2021	—	`conf`	Efficient Computation of Robustness of Convolutional Neural Networks. AITest Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2021	—	`conf`	Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications. BIOSTEC (Selected Papers) Silvia Bonfanti, Angelo Gargantini
2021	C	`conf`	Extending ASMETA with Time Features. ABZ Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2021	A	`conf`	Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. ISSRE Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
2021	A	`conf`	ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2021	—	`conf`	The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2020	—	`conf`	Dealing with Robustness of Convolutional Neural Networks for Image Classification. AITest Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2020	J	`jnl`	Design and validation of a C++ code generator from Abstract State Machines specifications. J. Softw. Evol. Process. Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2020	C	`conf`	Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2019	—	`conf`	Addressing Usability in a Formal Development Environment. FM Workshops (1) Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2019	C	`conf`	Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. ICTSS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei
2019	—	`conf`	Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. TOOLS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2018	J	`jnl`	A systematic literature review of the use of formal methods in medical software systems. J. Softw. Evol. Process. Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	C	`conf`	AsmetaA: Animator for Abstract State Machines. ABZ Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	—	`conf`	Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. MEDI Workshops Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	—	`conf`	Generation of C++ Unit Tests from Abstract State Machines Specifications. ICST Workshops Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018	J	`jnl`	Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
2018	C	`conf`	Validation of Transformation from Abstract State Machine Models to C++ Code. ICTSS Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2017	—	`conf`	Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. NFM Silvia Bonfanti, Marco Carissoni, Angelo Gargantini, Atif Mashkoor
2017	—	`—`	Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code. Silvia Bonfanti
2017	—	`conf`	The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper). ECSA (Companion) Silvia Bonfanti, Valentina Centurelli, Elvinia Riccobene, Patrizia Scandurra
2016	C	`conf`	How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. ABZ Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2016	C	`conf`	Unified Syntax for Abstract State Machines. ABZ Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier
2016	—	`conf`	Visual Notation and Patterns for Abstract State Machines. STAF Workshops Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2015	—	`conf`	A Low-cost Virtual Reality Game for Amblyopia Rehabilitation. REHAB Angelo Gargantini, Fabio Terzi, Matteo Zambelli, Silvia Bonfanti
2015	—	`conf`	A Mobile Application for the Stereoacuity Test. HCI (17) Silvia Bonfanti, Angelo Gargantini, Andrea Vitali
2015	—	`conf`	Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors. REHAB (Revised Selected Papers) Silvia Bonfanti, Angelo Gargantini
2015	C	`conf`	Formal validation and verification of a medical software critical component. MEMOCODE Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene