| 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 | 44 | 2021 |
| 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 | 31 | 2018 |
| 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 | 31 | 2017 |
| 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 | 29 | 2020 |
| 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 | 25 | 2018 |
| 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 | 22 | 2015 |
| 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 | 17 | 2015 |
| 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 | 16 | 2019 |
| A mobile application for the stereoacuity test S Bonfanti, A Gargantini, A Vitali Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk …, 2015 | 16 | 2015 |
| 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 | 15 | 2016 |
| 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 | 14 | 2021 |
| 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 | 14 | 2018 |
| 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 | 12 | 2019 |
| Visual notation and patterns for abstract state machines P Arcaini, S Bonfanti, A Gargantini, E Riccobene Federation of International Conferences on Software Technologies …, 2016 | 12 | 2016 |
| 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 | 10 | 2021 |
| 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 | 10 | 2020 |
| 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 | 9 | 2022 |
| AsmetaA: animator for abstract state machines S Bonfanti, A Gargantini, A Mashkoor International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018 | 9 | 2018 |
| 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 | 8 | 2018 |
| 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 | 7 | 2021 |
Angelo GargantiniUniversity of BergamoVerified email at unibg.it
