Silvia Bonfanti

Silvia Bonfanti

Università degli Studi di Bergamo - Bergamo / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 6039756
University of Bergamo
person_outline Silvia Bonfanti's MOST POPULAR ARTICLES
1-) The novel Mechanical Ventilator Milano for the COVID-19 pandemicA Abba, C Accorsi, P Agnes, E Alessi, P Amaudruz, A Annovi, ...Physics of Fluids 33 (3), 2021522021
2-) Design and validation of a C++ code generator from abstract state machines specificationsS Bonfanti, A Gargantini, A MashkoorJournal of Software: Evolution and Process 32 (2), e2205, 2020352020
3-) Integrating formal methods into medical software development: The ASM approachP Arcaini, S Bonfanti, A Gargantini, A Mashkoor, E RiccobeneScience of Computer Programming 158, 148-167, 2018352018
4-) A systematic literature review of the use of formal methods in medical software systemsS Bonfanti, A Gargantini, A MashkoorJournal of Software: Evolution and Process 30 (5), e1943, 2018352018
5-) Asm2C++: A Tool for Code Generation from Abstract State Machines to ArduinoS Bonfanti, M Carissoni, A Gargantini, A MashkoorNASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017322017