| 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 | 20 | 2017 |
| 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 | 18 | 2015 |
| 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 | 15 | 2018 |
| 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 | 13 | 2015 |
| 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 | 8 | 2018 |
| Visual notation and patterns for abstract state machines P Arcaini, S Bonfanti, A Gargantini, E Riccobene Federation of International Conferences on Software Technologies …, 2016 | 7 | 2016 |
| A mobile application for the stereoacuity test S Bonfanti, A Gargantini, A Vitali International Conference on Digital Human Modeling and Applications in …, 2015 | 7 | 2015 |
| 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 | 6 | 2018 |
| 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 | 6 | 2016 |
| 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 | 5 | 2016 |
| Damage accumulation in silica glass nanofibers S Bonfanti, EE Ferrero, AL Sellerio, R Guerra, S Zapperi Nano letters 18 (7), 4100-4106, 2018 | 4 | 2018 |
| 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 | 3 | 2020 |
| 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 | 3 | 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 | 3 | 2018 |
| 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 | 2 | 2019 |
| 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 | 2 | 2018 |
| 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 | 1 | 2016 |
| 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 |
Atif MashkoorLIT Secure & Correct Systems Lab @ Johannes Kepler University, Linz, AustriaVerified email at jku.at
