Silvia Bonfanti
Orcid: 0000-0001-9679-4551
According to our database1,
Silvia Bonfanti
authored at least 49 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
5
10
3
2
1
1
2
5
4
3
10
2
3
4
2
3
4
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features.
Int. J. Softw. Tools Technol. Transf., June, 2024
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems.
IEEE Trans. Software Eng., April, 2024
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers.
Proceedings of the 5th IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, 2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
2023
J. Syst. Softw., April, 2023
RATE: A model-based testing approach that combines model refinement and test execution.
Softw. Test. Verification Reliab., March, 2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023
2022
Inf. Softw. Technol., 2022
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022
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.
Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021
Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller.
Proceedings of the Testing Software and Systems, 2021
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021
Proceedings of the Software Architecture - 15th European Conference, 2021
Proceedings of the Logic, Computation and Rigorous Methods, 2021
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications.
Proceedings of the Biomedical Engineering Systems and Technologies, 2021
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study.
Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021
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.
J. Softw. Evol. Process., 2020
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
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.
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.
Proceedings of the Testing Software and Systems, 2019
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.
J. Softw. Evol. Process., 2018
Sci. Comput. Program., 2018
Proceedings of the Testing Software and Systems, 2018
Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios.
Proceedings of the New Trends in Model and Data Engineering, 2018
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
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).
Proceedings of the 11th European Conference on Software Architecture, 2017
2016
Proceedings of the Software Technologies: Applications and Foundations, 2016
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
2015
Proceedings of the 3rd 2015 Workshop on ICTs for improving Patients Rehabilitation Research Techniques, 2015
Proceedings of the ICTs for Improving Patients Rehabilitation Research Techniques, 2015
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015