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 | 24 | 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 | 15 | 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 | 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 | 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 | 11 | 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 |
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 | 6 | 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 | 5 | 2023 |
Statistical Model Checking of Human-Robot Interaction Scenarios L Lestingi, M Askarpour, MM Bersani, M Rossi arXiv preprint arXiv:2007.11738, 2020 | 4 | 2020 |
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 | 3 | 2023 |
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 |
Model-driven development of formally verified human-robot interactions L Lestingi Special Topics in Information Technology, 41-51, 2024 | 2 | 2024 |
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 | 1 | 2024 |
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 | 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 | 1 | 2023 |
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 |
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, ... | | |