Concepedia

Silvia Bonfanti

SB

11

Publications

258

Citations

10

H-Index

2015

Active since

Affiliations

University of Bergamo(Current)

University of Milan

Software Competence Center Hagenberg (Austria)

Nicolaus Copernicus Astronomical Center

Charles University

Silvia Bonfanti is an author at University of Bergamo specializing in engineering, software engineering, and formal methods.

Top concepts

EngineeringFormal MethodsSoftware EngineeringComputer ScienceSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringMedicineVerification

Publications per year

2015–2022

11

Publications

11

The novel Mechanical Ventilator Milano for the COVID-19 pandemic

Alessandro Abbà, C. Accorsi, P. Agnes et al. · Physics of Fluids · 2021 · 70 citations · Full text

Integrating formal methods into medical software development: The ASM approach

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini et al. · Science of Computer Programming · 2017 · 29 citations · Full text

Software Maintenance, Formal Specification, Method Engineering +13

A systematic literature review of the use of formal methods in medical software systems

Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor · Journal of Software Evolution and Process · 2018 · 29 citations

Software Maintenance, Engineering, Software Systems +25

Design and validation of a C++ code generator from Abstract State Machines specifications

Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor · Journal of Software Evolution and Process · 2019 · 25 citations · Full text

Engineering, Compiler Technology, Verification +28

Formal validation and verification of a medical software critical component

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini et al. · 2015 · 22 citations

Software Maintenance, Engineering, Verification +26

Rows per page

1–5 of 11