| 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 | 27 | 2020 |
| 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 | 20 | 2023 |
| 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 | 15 | 2021 |
| A Deployment Framework for Formally Verified Human-Robot Interactions L Lestingi, M Askarpour, MM Bersani, M Rossi IEEE Access 9, 136616-136635, 2021 | 13 | 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 | 13 | 2020 |
| 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 | 8 | 2022 |
| HRC-Team: a model-driven approach to formal verification and deployment of collaborative robotic applications L LESTINGI, S LONGONI Italy, 2017 | 8 | 2017 |
| 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 | 7 | 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 | 7 | 2022 |
| 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 | 6 | 2023 |
| Towards verifiable multi-agent interaction pattern specification A Tagliaferro, L Lestingi, M Rossi FormaliSE'24: Proceedings of the 2024 IEEE/ACM 12th International Conference …, 2024 | 4 | 2024 |
| Statistical Model Checking of Human-Robot Interaction Scenarios L Lestingi, M Askarpour, MM Bersani, M Rossi arXiv preprint arXiv:2007.11738, 2020 | 4 | 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 | 3 | 2023 |
| 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 |
| 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 23 (2), 473-502, 2024 | 2 | 2024 |
| Model-driven development of formally verified human-robot interactions L Lestingi Special Topics in Information Technology, 41-51, 2024 | 2 | 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 | 1 | 2023 |
| How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models S Corbo, L Bancale, V De Gennaro, L Lestingi, V Scotti, M Camilli arXiv preprint arXiv:2501.01741, 2025 | | 2025 |
| Verification-Oriented Specification of Multi-agent Interaction Patterns A Tagliaferro, L Lestingi, M Rossi Workshop on Agents and Robots for reliable Engineered Autonomy, 38-53, 2024 | | 2024 |
| Data-Driven Energy Modeling of Machining Centers Through Automata Learning L Lestingi, N Frigerio, MM Bersani, A Matta, M Rossi IEEE Transactions on Automation Science and Engineering, 2024 | | 2024 |
Marcello M. BersaniPost-doc researcher, Politecnico di MilanoEmail yang diverifikasi di elet.polimi.it