Segui
Silvia Bonfanti, PhD
Titolo
Citata da
Citata da
Anno
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), 2021
462021
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
332018
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
312020
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino
S Bonfanti, M Carissoni, A Gargantini, A Mashkoor
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
312017
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
272018
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
232015
The ASMETA approach to safety assurance of software systems
P Arcaini, A Bombarda, S Bonfanti, A Gargantini, E Riccobene, ...
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on …, 2021
172021
Developing medical devices from abstract state machines to embedded systems: a smart pill box case study
A Bombarda, S Bonfanti, A Gargantini
Software Technology: Methods and Tools: 51st International Conference, TOOLS …, 2019
172019
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
172015
A mobile application for the stereoacuity test
S Bonfanti, A Gargantini, A Vitali
Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk …, 2015
162015
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
152020
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
152018
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
152016
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
142020
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
Testing Software and Systems: 31st IFIP WG 6.1 International Conference …, 2019
132019
Visual notation and patterns for abstract state machines
P Arcaini, S Bonfanti, A Gargantini, E Riccobene
Federation of International Conferences on Software Technologies …, 2016
122016
Guidelines for the development of a critical software under emergency
A Bombarda, S Bonfanti, C Galbiati, A Gargantini, P Pelliccione, ...
Information and Software Technology 152, 107061, 2022
112022
Evaluation of stereoacuity with a digital mobile application
S Bonfanti, A Gargantini, G Esposito, A Facchin, M Maffioletti, S Maffioletti
Graefe's Archive for Clinical and Experimental Ophthalmology 259 (9), 2843-2848, 2021
102021
AsmetaA: animator for abstract state machines
S Bonfanti, A Gargantini, A Mashkoor
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
102018
Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA
A Bombarda, S Bonfanti, A Gargantini, E Riccobene
arXiv preprint arXiv:2111.08204, 2021
82021
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20