Silvia Bonfanti, PhD
Silvia Bonfanti, PhD
Verified email at unibg.it
Title
Cited by
Cited by
Year
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
202017
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
182015
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
152018
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
132015
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
82018
Visual notation and patterns for abstract state machines
P Arcaini, S Bonfanti, A Gargantini, E Riccobene
Federation of International Conferences on Software Technologies …, 2016
72016
A mobile application for the stereoacuity test
S Bonfanti, A Gargantini, A Vitali
International Conference on Digital Human Modeling and Applications in …, 2015
72015
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
62018
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
62016
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
52016
Damage accumulation in silica glass nanofibers
S Bonfanti, EE Ferrero, AL Sellerio, R Guerra, S Zapperi
Nano letters 18 (7), 4100-4106, 2018
42018
Design and validation of a C++ code generator from abstract state machines specifications
S Bonfanti, A Gargantini, A Mashkoor
Journal of Software: Evolution and Process 32 (2), e2205, 2020
32020
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
32018
AsmetaA: animator for abstract state machines
S Bonfanti, A Gargantini, A Mashkoor
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
32018
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines
A Bombarda, S Bonfanti, A Gargantini, M Radavelli, F Duan, Y Lei
IFIP International Conference on Testing Software and Systems, 67-85, 2019
22019
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
22018
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
Dealing with Robustness of Convolutional Neural Networks for Image Classification
P Arcaini, A Bombarda, S Bonfanti, A Gargantini
2020 IEEE International Conference On Artificial Intelligence Testing …, 2020
2020
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
P Arcaini, S Bonfanti, A Gargantini, E Riccobene, P Scandurra
International Conference on Rigorous State-Based Methods, 302-317, 2020
2020
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study
A Bombarda, S Bonfanti, A Gargantini
International Conference on Objects, Components, Models and Patterns, 89-103, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20