Ing. Silvia Bonfanti, PhD

NAuthorTitleYearJournal/ProceedingsReftypeDOI/URL
12 Bonfanti, S., Centurelli, V., Riccobene, E. and Scandurra, P. The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper) 2017 Proceedings of the 11th European Conference on Software Architecture: Companion Proceedings, ECSA '17, Canterbury, United Kingdom, 2017, 12-15  inproceedings DOI URL 
11 Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A. and Riccobene, E. Integrating formal methods into medical software development: The ASM approach 2017 Science of Computer Programming  article DOI URL 
10 Bonfanti, S., Carissoni, M., Gargantini, A., Mashkoor, A. Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino 2017 NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, Springer International Publishing, 2017, 295-301  inproceedings DOI URL 
9 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  inproceedings DOI URL 
8 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  inproceedings DOI URL 
7 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  inproceedings DOI URL 
6 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  inproceedings  
5 Bonfanti, S. and Gargantini, A. Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors 2015 International Workshop on ICTs for Improving Patients Rehabilitation Research Techniques
pp. 116-125 
inproceedings DOI URL 
4 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 URL 
3 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 
2 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  inproceedings DOI URL 
1 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 
inproceedings DOI URL