A Mobile Application for the Stereoacuity Test. - Silvia Bonfanti; Angelo Gargantini; Andrea Vitali (HCI (17), 2015)

Formal validation and verification of a medical software critical component. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor; Elvinia Riccobene (MEMOCODE, 2015)

Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors. - Silvia Bonfanti; Angelo Gargantini (REHAB (Revised Selected Papers), 2015)

A Low-cost Virtual Reality Game for Amblyopia Rehabilitation. - Angelo Gargantini; Fabio Terzi; Matteo Zambelli; Silvia Bonfanti (REHAB, 2015)

Unified Syntax for Abstract State Machines. - Paolo Arcaini; Silvia Bonfanti; Marcel Dausend; Angelo Gargantini; Atif Mashkoor; Alexander Raschke; Elvinia Riccobene; Patrizia Scandurra; Michael Stegmaier (ABZ, 2016)

How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (ABZ, 2016)

Visual Notation and Patterns for Abstract State Machines. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (STAF Workshops, 2016)

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 (ECSA (Companion), 2017)

Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. - Silvia Bonfanti; Marco Carissoni; Angelo Gargantini; Atif Mashkoor (NFM, 2017)

AsmetaA: Animator for Abstract State Machines. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (ABZ, 2018)

Generation of C++ Unit Tests from Abstract State Machines Specifications. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (ICST Workshops, 2018)

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (MEDI Workshops, 2018)

Validation of Transformation from Abstract State Machine Models to C++ Code. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (ICTSS, 2018)

Integrating formal methods into medical software development: The ASM approach. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor; Elvinia Riccobene (Sci. Comput. Program., 2018)

A systematic literature review of the use of formal methods in medical software systems. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (J. Softw. Evol. Process., 2018)

Addressing Usability in a Formal Development Environment. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FM Workshops (1), 2019)

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Marco Radavelli; Feng Duan; Yu Lei 001 (ICTSS, 2019)

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (TOOLS, 2019)

Dealing with Robustness of Convolutional Neural Networks for Image Classification. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (AITest, 2020)

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ABZ, 2020)

Design and validation of a C++ code generator from Abstract State Machines specifications. - Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor (J. Softw. Evol. Process., 2020)

Efficient Computation of Robustness of Convolutional Neural Networks. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (AITest, 2021)

Extending ASMETA with Time Features. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (ABZ, 2021)

Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study. - Silvia Bonfanti; Angelo Gargantini (HEALTHINF, 2021)

Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications. - Silvia Bonfanti; Angelo Gargantini (BIOSTEC (Selected Papers), 2021)

The ASMETA Approach to Safety Assurance of Software Systems. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Logic, Computation and Rigorous Methods, 2021)

A Runtime Safety Enforcement Approach by Monitoring and Adaptation. - Silvia Bonfanti; Elvinia Riccobene; Patrizia Scandurra (ECSA, 2021)

ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ICST, 2021)

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 (ISSRE, 2021)

Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ICTSS, 2021)

Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (AppFM@FM, 2021)

Towards an Evaluation Framework for Autonomous Systems. - Andrea Bombarda; Silvia Bonfanti; Martina De Sanctis; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Patrizia Scandurra (ACSOS-C, 2022)

Compositional Simulation of Abstract State Machines for Safety Critical Systems. - Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FACS, 2022)

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 (ICST, 2022)

Guidelines for the development of a critical software under emergency. - Andrea Bombarda; Silvia Bonfanti; Cristiano Galbiati; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Masayuki Wada (Inf. Softw. Technol., 2022)

A Mobile Application for Milano Ventilatore Meccanico: A First Prototype. - Silvia Bonfanti; Angelo Gargantini; Luca Novelli (HEALTHINF, 2023)

On the Reuse of Existing Configurations for Testing Evolving Feature Models. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (SPLC (B), 2023)

formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ABZ, 2023)

Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. - Silvia Bonfanti; Elvinia Riccobene; Davide Santandrea; Patrizia Scandurra (ABZ, 2023)

RATE: A model-based testing approach that combines model refinement and test execution. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Yu Lei 001; Feng Duan (Softw. Test. Verification Reliab., 2023)

A component framework for the runtime enforcement of safety properties. - Silvia Bonfanti; Elvinia Riccobene; Patrizia Scandurra (J. Syst. Softw., 2023)

ASMETA Tool Set for Rigorous System Design. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FM (2), 2024)

A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers. - Wasim Essbai; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (DeepTest@ICSE, 2024)

Testing the Evolution of Feature Models with Specific Combinatorial Tests. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ICSTW, 2024)

From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini (ABZ, 2024)

The Mechanical Lung Ventilator Case Study. - Silvia Bonfanti; Angelo Gargantini (ABZ, 2024)

Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. - Andrea Bombarda; Silvia Bonfanti; Martina De Sanctis; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Patrizia Scandurra (IEEE Trans. Software Eng., 2024)

A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Int. J. Softw. Tools Technol. Transf., 2024)

Computational design of mechanical metamaterials. - Silvia Bonfanti; Stefan Hiemer; Raja Zulkarnain; Roberto Guerra; Michael Zaiser; Stefano Zapperi (Nat. Comput. Sci., 2024)

Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Nico Pellegrinelli (NFM, 2025)

Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Nico Pellegrinelli; Patrizia Scandurra (ABZ, 2025)

SIMSPIRE: A Simulator of the Respiratory System. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (IEEE Access, 2025)

Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines. - Silvia Bonfanti; Elvinia Riccobene; Patrizia Scandurra (Sci. Comput. Program., 2025)

A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems. - Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Formal Aspects Comput., 2025)