Silvia Bonfanti, PhD
Title
Cited by
Cited by
Year
Integrating formal methods into medical software development: The ASM approach
P Arcaini, S Bonfanti, A Gargantini, A Mashkoor, E Riccobene
Science of Computer Programming 158, 148-167, 2018
222018
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino
S Bonfanti, M Carissoni, A Gargantini, A Mashkoor
NASA Formal Methods Symposium, 295-301, 2017
212017
Formal validation and verification of a medical software critical component
P Arcaini, S Bonfanti, A Gargantini, A Mashkoor, E Riccobene
2015 ACM/IEEE International Conference on Formal Methods and Models forá…, 2015
212015
A low-cost virtual reality game for amblyopia rehabilitation
A Gargantini, F Terzi, M Zambelli, S Bonfanti
Proceedings of the 3rd 2015 Workshop on ICTs for Improving Patientsá…, 2015
132015
Design and validation of a C++ code generator from abstract state machines specifications
S Bonfanti, A Gargantini, A Mashkoor
Journal of Software: Evolution and Process 32 (2), e2205, 2020
122020
Damage accumulation in silica glass nanofibers
S Bonfanti, EE Ferrero, AL Sellerio, R Guerra, S Zapperi
Nano letters 18 (7), 4100-4106, 2018
112018
How to assure correctness and safety of medical software: the hemodialysis machine case study
P Arcaini, S Bonfanti, A Gargantini, E Riccobene
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, andá…, 2016
102016
A mobile application for the stereoacuity test
S Bonfanti, A Gargantini, A Vitali
International Conference on Digital Human Modeling and Applications iná…, 2015
92015
A systematic literature review of the use of formal methods in medical software systems
S Bonfanti, A Gargantini, A Mashkoor
Journal of Software: Evolution and Process 30 (5), e1943, 2018
82018
Generation of C++ unit tests from abstract state machines specifications
S Bonfanti, A Gargantini, A Mashkoor
2018 IEEE International Conference on Software Testing, Verification andá…, 2018
82018
Visual notation and patterns for abstract state machines
P Arcaini, S Bonfanti, A Gargantini, E Riccobene
Federation of International Conferences on Software Technologiesá…, 2016
82016
Generation of behavior-driven development C++ tests from Abstract State Machine scenarios
S Bonfanti, A Gargantini, A Mashkoor
International Conference on Model and Data Engineering, 146-152, 2018
62018
Combining model refinement and test generation for conformance testing of the IEEE PHD protocol using abstract state machines
A Bombarda, S Bonfanti, A Gargantini, M Radavelli, F Duan, Y Lei
IFIP International Conference on Testing Software and Systems, 67-85, 2019
52019
Developing medical devices from abstract state machines to embedded systems: a smart pill box case study
A Bombarda, S Bonfanti, A Gargantini
International Conference on Objects, Components, Models and Patterns, 89-103, 2019
52019
Unified syntax for abstract state machines
P Arcaini, S Bonfanti, M Dausend, A Gargantini, A Mashkoor, A Raschke, ...
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, andá…, 2016
52016
Dealing with robustness of convolutional neural networks for image classification
P Arcaini, A Bombarda, S Bonfanti, A Gargantini
2020 IEEE International Conference On Artificial Intelligence Testingá…, 2020
42020
Validation of transformation from abstract state machine models to C++ code
S Bonfanti, A Gargantini, A Mashkoor
IFIP International Conference on Testing Software and Systems, 17-32, 2018
42018
AsmetaA: animator for abstract state machines
S Bonfanti, A Gargantini, A Mashkoor
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, andá…, 2018
42018
The novel Mechanical Ventilator Milano for the COVID-19 pandemic
A Abba, C Accorsi, P Agnes, E Alessi, P Amaudruz, A Annovi, ...
Physics of Fluids 33 (3), 037122, 2021
32021
Modelling an automotive software-intensive system with adaptive features using asmeta
P Arcaini, S Bonfanti, A Gargantini, E Riccobene, P Scandurra
International Conference on Rigorous State-Based Methods, 302-317, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20