| 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 |
| 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 |
| Specification, stochastic modeling and analysis of interactive service robotic applications L Lestingi, D Zerla, MM Bersani, M Rossi Robotics and Autonomous Systems 163, 104387, 2023 | 12 | 2023 |
| 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 |
| HRC-Team: a model-driven approach to formal verification and deployment of collaborative robotic applications L LESTINGI, S LONGONI Italy, 2017 | 8 | 2017 |
| Formal modeling and verification of multi-robot interactive scenarios in service settings L Lestingi, C Sbrolli, P Scarmozzino, G Romeo, MM Bersani, M Rossi Proceedings of the IEEE/ACM 10th International Conference on Formal Methods …, 2022 | 5 | 2022 |
| Statistical Model Checking of Human-Robot Interaction Scenarios L Lestingi, M Askarpour, MM Bersani, M Rossi arXiv preprint arXiv:2007.11738, 2020 | 4 | 2020 |
| Towards Better Trust in Human-Machine Teaming through Explainable Dependability MM Bersani, M Camilli, L Lestingi, R Mirandola, M Rossi, P Scandurra 2023 IEEE 20th International Conference on Software Architecture Companion …, 2023 | 3 | 2023 |
| Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior L Lestingi, MM Bersani, M Rossi IEEE Intelligent Systems 37 (6), 48-56, 2022 | 3 | 2022 |
| Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications M Askarpour, L Lestingi, F Buran, M Rossi, F Vicentini 2020 IEEE International Conference on Human-Machine Systems (ICHMS), 1-6, 2020 | 3 | 2020 |
| Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning MM Bersani, M Camilli, L Lestingi, R Mirandola, M Rossi 2023 IEEE/ACM 11th International Conference on Formal Methods in Software …, 2023 | 2 | 2023 |
| Model-driven development of formally verified human-robot interactions L Lestingi Special Topics in Information Technology, 41-51, 2024 | 1 | 2024 |
| Architecting Explainable Service Robots MM Bersani, M Camilli, L Lestingi, R Mirandola, M Rossi, P Scandurra European Conference on Software Architecture, 153-169, 2023 | | 2023 |
| A Conceptual Framework for Explainability Requirements in Software-Intensive Systems MM Bersani, M Camilli, L Lestingi, R Mirandola, M Rossi, P Scandurra 2023 IEEE 31st International Requirements Engineering Conference Workshops …, 2023 | | 2023 |
| Analyzing the impact of human errors on interactive service robotic scenarios via formal verification L Lestingi, A Manglaviti, D Marinaro, L Marinello, M Askarpour, ... Software and Systems Modeling, 1-30, 2023 | | 2023 |
| Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) L Lestingi Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021 …, 2021 | | 2021 |
| FormaliSE 2022 Committees S Gnesi, N Plat, A Hartmanns, I Schaefer, CE Budde, C Menghi, L Lestingi, ... | | |
Marcello M. BersaniPost-doc researcher, Politecnico di MilanoVerified email at elet.polimi.it
