Silvia Bonfanti

PhD student in:

Engineering and Applied Sciences

 

Education

o  From January 2014 to December 2016: PhD in Engineering and Applied Sciences from University of Bergamo. The topic of PhD thesis is “Model-based development of Programmable Electronic Medical Systems”. It is in collaboration with SCCH (Software Competence Center Hagenberg - https://www.scch.at/en/)
o  From September 2011 to December 2013: MSc in Computer Engineering (final mark 110 an honour/110).
o  From September 2008 to September 2011: BSc in Computer Engineering.
o  From September 2003 to July 2008: Commercial expert accountant and programmer.

AuthorTitleYearJournal/ProceedingsReftypeDOI/URL
Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A. and Riccobene, E. Formal validation and verification of a medical software critical component 2015 Formal Methods and Models for Codesign (MEMOCODE), 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 80-89  inproceedings DOI  
Gargantini, A., Terzi, F., Zambelli, M. and Bonfanti, S. A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 2015 Proceedings of the 3rd 2015 Workshop on ICTs for Improving Patients Rehabilitation Research Techniques, pp. 81-84  inproceedings DOI URL 
Arcaini, P., Bonfanti, S., Dausend, M., Gargantini, A., Mashkoor, A., Raschke, A., Riccobene, E., Scandurra, P. and Stegmaier, M. Unified Syntax for Abstract State Machines 2016 Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 231-236  inbook DOI URL 
Arcaini, P., Bonfanti, S., Gargantini, A. and Riccobene, E. How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study 2016 Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 344-359  inbook DOI URL 
Arcaini, P., Bonfanti, S., Gargantini, A. and Riccobene, E. Visual Notation and Patterns for Abstract State Machines 2016 Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers, pp. 163-178  inbook DOI URL 
Bonfanti, S., Gargantini, A. and Vitali, A. A Mobile Application for the Stereoacuity Test 2015 Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health: 6th International Conference, DHM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II, pp. 315-326  inbook DOI URL 
Bonfanti, S., Gargantini, A. and Mashkoor, A. A preliminary systematic literature review of the use of formal methods in medical software systems 2016 Industrial Proceedings of the 23rd European & Asian System, Software & Service Process Improvement & Innovation (EuroAsiaSPI2 2016), pp. 9.15-9.23  inbook  
Cologni, A., Fasanotti, L., Dovere, E., Previdi, F., Bonfanti, S. and Owen, F. Smartphone based video-telemetry logger for remote maintenance services 2015 IFAC-PapersOnLine
Vol. 48(3), pp. 822-827 
article DOI  

 

Projects

·       o ASMETA:  metamodel for the Abstract State Machines (ASMs) formal method developed by following the guidelines of the Model-Driven Engineering (MDE) (http://asmeta.sourceforge.net/).

·       o 3D4AMB: aims at developing a system based on the 3D for the diagnosis and treatment of amblyopia in young children (http://3d4amb.unibg.it/).

 

Contacts

E-mail: silvia.bonfanti@unibg.it
Skype: silviabonfi
Phone: +39 0352052374