Silvia Bonfanti

13 papers and 57 indexed citations i.

Silvia Bonfanti has authored 13 papers that have received a total of 57 indexed citations. This includes 5 papers in Artificial Intelligence, 5 papers in Software and 4 papers in Computational Theory and Mathematics. The topics of these papers are Advanced Software Engineering Methodologies (5 papers), Formal Methods in Verification (4 papers) and Safety Systems Engineering in Autonomy (4 papers). Silvia Bonfanti is often cited by papers focused on Advanced Software Engineering Methodologies (5 papers), Formal Methods in Verification (4 papers) and Safety Systems Engineering in Autonomy (4 papers) and collaborates with scholars based in Italy, Austria and United States. Silvia Bonfanti's co-authors include Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene, Paolo Arcaini and C. Galbiati and has published in prestigious journals such as Graefe s Archive for Clinical and Experimental Ophthalmology, Lecture notes in computer science and Information and Software Technology.