Silvia Bonfanti, PhD
Silvia Bonfanti, PhD
Email verificata su unibg.it
TitoloCitata daAnno
Formal validation and verification of a medical software critical component
P Arcaini, S Bonfanti, A Gargantini, A Mashkoor, E Riccobene
2015 ACM/IEEE International Conference on Formal Methods and Models forá…, 2015
162015
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino
S Bonfanti, M Carissoni, A Gargantini, A Mashkoor
NASA Formal Methods Symposium, 295-301, 2017
122017
Integrating formal methods into medical software development: The ASM approach
P Arcaini, S Bonfanti, A Gargantini, A Mashkoor, E Riccobene
Science of Computer Programming 158, 148-167, 2018
102018
A low-cost virtual reality game for amblyopia rehabilitation
A Gargantini, F Terzi, M Zambelli, S Bonfanti
Proceedings of the 3rd 2015 Workshop on ICTs for Improving Patientsá…, 2015
92015
Visual notation and patterns for abstract state machines
P Arcaini, S Bonfanti, A Gargantini, E Riccobene
Federation of International Conferences on Software Technologiesá…, 2016
62016
How to assure correctness and safety of medical software: the hemodialysis machine case study
P Arcaini, S Bonfanti, A Gargantini, E Riccobene
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, andá…, 2016
52016
A mobile application for the stereoacuity test
S Bonfanti, A Gargantini, A Vitali
International Conference on Digital Human Modeling and Applications iná…, 2015
52015
Unified syntax for abstract state machines
P Arcaini, S Bonfanti, M Dausend, A Gargantini, A Mashkoor, A Raschke, ...
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, andá…, 2016
42016
Generation of C++ unit tests from abstract state machines specifications
S Bonfanti, A Gargantini, A Mashkoor
2018 IEEE International Conference on Software Testing, Verification andá…, 2018
32018
Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios
S Bonfanti, A Gargantini, A Mashkoor
International Conference on Model and Data Engineering, 146-152, 2018
12018
A systematic literature review of the use of formal methods in medical software systems
S Bonfanti, A Gargantini, A Mashkoor
Journal of Software: Evolution and Process 30 (5), e1943, 2018
12018
A preliminary systematic literature review of the use of formal methods in medical software systems
S Bonfanti, A Gargantini, A Mashkoor
Industrial Proceedings of the 23rd EuroAsiaSPI Conference, Graz Universityá…, 2016
12016
Validation of Transformation from Abstract State Machine Models to C++ Code
S Bonfanti, A Gargantini, A Mashkoor
IFIP International Conference on Testing Software and Systems, 17-32, 2018
2018
AsmetaA: Animator for Abstract State Machines
S Bonfanti, A Gargantini, A Mashkoor
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, andá…, 2018
2018
Behind optical factors in anisometropic aniseiconia
G Esposito, A Facchin, M Maffioletti, S Maffioletti, A Gargantini, S Bonfanti, ...
European Conference on Visual Perception, N/A-N/A, 2018
2018
Stereo Digital Displays for Diagnosis and Treatment of Amblyopia
S Bonfanti, A Gargantini
2018
Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code
S Bonfanti
UniversitÓ degli studi di Bergamo, 2017
2017
The female contribution in architecting a set of tools for a formal method
S Bonfanti, V Centurelli, E Riccobene, P Scandurra
ECSA 2017: 11th European Conference on Software Architecture, 12-15, 2017
2017
Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors
S Bonfanti, A Gargantini
International Workshop on ICTs for Improving Patients Rehabilitationá…, 2015
2015
Smartphone based video-telemetry logger for remote maintenance services
AL Cologni, L Fasanotti, E Dovere, F Previdi, S Bonfanti, FC Owen
IFAC-PapersOnLine 48 (3), 822-827, 2015
2015
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20