Silvia Bonfanti

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 45

Top Topics

Software Systems

Top Venues

J. Softw. Evol. Process.

Publications

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. ABZ (2024)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Silvia Bonfanti, Angelo Gargantini
The Mechanical Lung Ventilator Case Study. ABZ (2024)
Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. IEEE Trans. Software Eng. 50 (4) (2024)
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
A component framework for the runtime enforcement of safety properties. J. Syst. Softw. 198 (2023)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. ABZ (2023)
Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. ABZ (2023)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, Feng Duan
RATE: A model-based testing approach that combines model refinement and test execution. Softw. Test. Verification Reliab. 33 (2) (2023)
Silvia Bonfanti, Angelo Gargantini, Luca Novelli
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype. HEALTHINF (2023)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
On the Reuse of Existing Configurations for Testing Evolving Feature Models. SPLC (B) (2023)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST (2022)
Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
Guidelines for the development of a critical software under emergency. Inf. Softw. Technol. 152 (2022)
Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
Towards an Evaluation Framework for Autonomous Systems. ACSOS-C (2022)
Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Compositional Simulation of Abstract State Machines for Safety Critical Systems. FACS (2022)
Silvia Bonfanti, Angelo Gargantini
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study. HEALTHINF (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST (2021)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. AppFM@FM (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
Efficient Computation of Robustness of Convolutional Neural Networks. AITest (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods (2021)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
Extending ASMETA with Time Features. ABZ (2021)
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
A Runtime Safety Enforcement Approach by Monitoring and Adaptation. ECSA (2021)
Silvia Bonfanti, Angelo Gargantini
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications. BIOSTEC (Selected Papers) (2021)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. ICTSS (2021)
Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. ISSRE (2021)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
Dealing with Robustness of Convolutional Neural Networks for Image Classification. AITest (2020)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ (2020)
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
Design and validation of a C++ code generator from Abstract State Machines specifications. J. Softw. Evol. Process. 32 (2) (2020)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. ICTSS (2019)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Addressing Usability in a Formal Development Environment. FM Workshops (1) (2019)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. TOOLS (2019)
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
AsmetaA: Animator for Abstract State Machines. ABZ (2018)
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. MEDI Workshops (2018)
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
A systematic literature review of the use of formal methods in medical software systems. J. Softw. Evol. Process. 30 (5) (2018)
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
Validation of Transformation from Abstract State Machine Models to C++ Code. ICTSS (2018)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. 158 (2018)
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
Generation of C++ Unit Tests from Abstract State Machines Specifications. ICST Workshops (2018)
Silvia Bonfanti, Marco Carissoni, Angelo Gargantini, Atif Mashkoor
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. NFM (2017)
Silvia Bonfanti, Valentina Centurelli, Elvinia Riccobene, Patrizia Scandurra
The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper). ECSA (Companion) (2017)
Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier
Unified Syntax for Abstract State Machines. ABZ (2016)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. ABZ (2016)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
Visual Notation and Patterns for Abstract State Machines. STAF Workshops (2016)
Angelo Gargantini, Fabio Terzi, Matteo Zambelli, Silvia Bonfanti
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation. REHAB (2015)
Silvia Bonfanti, Angelo Gargantini, Andrea Vitali
A Mobile Application for the Stereoacuity Test. HCI (17) (2015)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
Formal validation and verification of a medical software critical component. MEMOCODE (2015)
Silvia Bonfanti, Angelo Gargantini
Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors. REHAB (Revised Selected Papers) (2015)