Folgen
Silvia Bonfanti, PhD
Titel
Zitiert von
Zitiert von
Jahr
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
472021
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
182021
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
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
162020
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
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
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
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
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
122022
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20