Silvia Bonfanti

Elvinia Riccobene

Patrizia Scandurra

J. Syst. Softw., April, 2023

RATE: A model-based testing approach that combines model refinement and test execution.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., March, 2023

Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

formal MVC: A Pattern for the Integration of ASM Specifications in UI Development.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

On the Reuse of Existing Configurations for Testing Evolving Feature Models.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

A Mobile Application for Milano Ventilatore Meccanico: A First Prototype.

[BibT_eX]

[DOI]

Luca Novelli

Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

2022

Guidelines for the development of a critical software under emergency.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2022

Robustness assessment and improvement of a neural network for blood oxygen pressure estimation.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Compositional Simulation of Abstract State Machines for Safety Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

Towards an Evaluation Framework for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021

Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2021

Lessons Learned from the Development of a Mechanical Ventilator for COVID-19.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

ROBY: a Tool for Robustness Analysis of Neural Network Classifiers.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

A Runtime Safety Enforcement Approach by Monitoring and Adaptation.

[BibT_eX]

[DOI]

Elvinia Riccobene

Patrizia Scandurra

Proceedings of the Software Architecture - 15th European Conference, 2021

The ASMETA Approach to Safety Assurance of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic, Computation and Rigorous Methods, 2021

Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Engineering Systems and Technologies, 2021

Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study.

[BibT_eX]

[DOI]

Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021

Extending ASMETA with Time Features.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Efficient Computation of Robustness of Convolutional Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

Design and validation of a C++ code generator from Abstract State Machines specifications.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2020

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Dealing with Robustness of Convolutional Neural Networks for Image Classification.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study.

[BibT_eX]

[DOI]

Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

Addressing Usability in a Formal Development Environment.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

A systematic literature review of the use of formal methods in medical software systems.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2018

Integrating formal methods into medical software development: The ASM approach.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Validation of Transformation from Abstract State Machine Models to C++ Code.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2018

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Model and Data Engineering, 2018

Generation of C++ Unit Tests from Abstract State Machines Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

AsmetaA: Animator for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper).

[BibT_eX]

[DOI]

Proceedings of the 11th European Conference on Software Architecture, 2017

2016

Visual Notation and Patterns for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Unified Syntax for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

A Low-cost Virtual Reality Game for Amblyopia Rehabilitation.

[BibT_eX]

[DOI]

Proceedings of the 3rd 2015 Workshop on ICTs for improving Patients Rehabilitation Research Techniques, 2015

Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors.

[BibT_eX]

[DOI]

Proceedings of the ICTs for Improving Patients Rehabilitation Research Techniques, 2015

Formal validation and verification of a medical software critical component.

[BibT_eX]

[DOI]

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

A Mobile Application for the Stereoacuity Test.

[BibT_eX]

[DOI]