| Safety assessment of collaborative robotics through automated formal verification F Vicentini, M Askarpour, MG Rossi, D Mandrioli IEEE Transactions on Robotics 36 (1), 42-61, 2020 | 73 | 2020 |
| Formal model of human erroneous behavior for safety analysis in collaborative robotics M Askarpour, D Mandrioli, M Rossi, F Vicentini Robotics and computer-integrated Manufacturing 57, 465-476, 2019 | 67 | 2019 |
| SAFER-HRC: Safety analysis through formal verification in human-robot collaboration M Askarpour, D Mandrioli, M Rossi, F Vicentini Computer Safety, Reliability, and Security: 35th International Conference …, 2016 | 48 | 2016 |
| Piros: Cooperative, safe and reconfigurable robotic companion for cnc pallets load/unload stations F Vicentini, N Pedrocchi, M Beschi, M Giussani, N Iannacci, P Magnoni, ... Bringing innovative robotic technologies from research labs to industrial …, 2020 | 29 | 2020 |
| Formal verification of human-robot interaction in healthcare scenarios L Lestingi, M Askarpour, MM Bersani, M Rossi Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020 | 23 | 2020 |
| Modeling operator behavior in the safety analysis of collaborative robotic applications M Askarpour, D Mandrioli, M Rossi, F Vicentini Computer Safety, Reliability, and Security: 36th International Conference …, 2017 | 23 | 2017 |
| RoboMAX: Robotic Mission Adaptation eXemplars M Askarpour, C Tsigkanos, C Menghi, R Calinescu, P Pelliccione, ... Symposium on Software Engineering for Adaptive and Self-Managing Systems …, 2021 | 16 | 2021 |
| Co-simulation of human-robot collaboration: From temporal logic to 3D simulation M Askarpour, M Rossi, O Tiryakiler arXiv preprint arXiv:2007.11737, 2020 | 15 | 2020 |
| Formally-based model-driven development of collaborative robotic applications M Askarpour, L Lestingi, S Longoni, N Iannacci, M Rossi, F Vicentini Journal of Intelligent & Robotic Systems 102 (3), 59, 2021 | 14 | 2021 |
| A deployment framework for formally verified human-robot interactions L Lestingi, M Askarpour, MM Bersani, M Rossi IEEE Access 9, 136616-136635, 2021 | 12 | 2021 |
| A model-driven approach for the formal analysis of human-robot interaction scenarios L Lestingi, M Askarpour, MM Bersani, M Rossi 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2020 | 11 | 2020 |
| Risk assessment in collaborative robotics M Askarpour Proceedings of FMDS, 2016 | 11 | 2016 |
| Mission specification patterns for mobile robots: Providing support for quantitative properties C Menghi, C Tsigkanos, M Askarpour, P Pelliccione, G Vazquez, ... IEEE Transactions on Software Engineering, 2022 | 8 | 2022 |
| How to formally model human in collaborative robotics M Askarpour arXiv preprint arXiv:2012.01647, 2020 | 8 | 2020 |
| Formal methods in designing critical cyber-physical systems M Askarpour, C Ghezzi, D Mandrioli, M Rossi, C Tsigkanos From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 7 | 2019 |
| Teaching formal methods: an experience report M Askarpour, MM Bersani International Workshop on Frontiers in Software Engineering Education, 3-18, 2019 | 6 | 2019 |
| Search-based software testing driven by automatically generated and manually defined fitness functions F Formica, T Fan, C Menghi ACM Transactions on Software Engineering and Methodology 33 (2), 1-37, 2023 | 5 | 2023 |
| Experimental implementation of discrete time quantum walk with the ibm qiskit library P Olivieri, M Askarpour, E Di Nitto 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q …, 2021 | 5 | 2021 |
| Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration M Askarpour Politecnico di Milano, Italy, 2018 | 5 | 2018 |
| Statistical model checking of human-robot interaction scenarios L Lestingi, M Askarpour, MM Bersani, M Rossi arXiv preprint arXiv:2007.11738, 2020 | 4 | 2020 |
Federico VicentiniBoston Dynamics IncVerified email at bostondynamics.com
