Ing. Silvia Bonfanti, PhD

AuthorTitleYearJournal/ProceedingsReftypeDOI/URL
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 
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 
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 
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 
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 
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 
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  
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 
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 
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 
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