Publications
Journal and Magazine Articles
Lestingi, L., Manglaviti, A., Marinaro, D., Marinello, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2023).
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification.
Software and Systems Modeling.
10.1007/s10270-023-01125-1
Lestingi, L., Zerla, D., Bersani, M. M., & Rossi, M. (2023). Specification, stochastic modeling and analysis of interactive service robotic applications. Robotics and Autonomous Systems 163:104387. 10.1016/j.robot.2023.104387
Lestingi, L., Bersani, M. M., & Rossi, M. (2022). Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior. IEEE Intelligent Systems 37:1-10. 10.1109/MIS.2022.3215698
Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2021). A Deployment Framework for Formally Verified Human-Robot Interactions. IEEE Access 9:136616-136635. 10.1109/ACCESS.2021.3117852
Askarpour, M., Lestingi, L., Longoni, S., Iannacci, N., Rossi, M., & Vicentini, F. (2021). Formally-based Model-Driven Development of Collaborative Robotic Applications. Journal of Intelligent & Robotic Systems, 102(3), 1-26, 10.1007/s10846-021-01386-2.
Lestingi, L., Zerla, D., Bersani, M. M., & Rossi, M. (2023). Specification, stochastic modeling and analysis of interactive service robotic applications. Robotics and Autonomous Systems 163:104387. 10.1016/j.robot.2023.104387
Lestingi, L., Bersani, M. M., & Rossi, M. (2022). Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior. IEEE Intelligent Systems 37:1-10. 10.1109/MIS.2022.3215698
Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2021). A Deployment Framework for Formally Verified Human-Robot Interactions. IEEE Access 9:136616-136635. 10.1109/ACCESS.2021.3117852
Askarpour, M., Lestingi, L., Longoni, S., Iannacci, N., Rossi, M., & Vicentini, F. (2021). Formally-based Model-Driven Development of Collaborative Robotic Applications. Journal of Intelligent & Robotic Systems, 102(3), 1-26, 10.1007/s10846-021-01386-2.
Conference Articles
Bersani M.M., Camilli M., Lestingi L., Mirandola R., Rossi M., Scandurra P. (2023).
Architecting Explainable Service Robots.
In European Conference on Software Architecture (pp. 153-169).
10.1007/978-3-031-42592-9_11.
Bersani M.M., Camilli M., Lestingi L., Mirandola R., Rossi M. (2023). Explainable human-machine teaming using model checking and interpretable machine learning. In 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) (pp. 18-28). IEEE. 10.1109/FormaliSE58978.2023.00010.
Bersani M.M., Camilli M., Lestingi L., Mirandola R., Rossi M., Scandurra P. (2023). Towards better trust in human-machine teaming through explainable dependability. In IEEE 20th International Conference on Software Architecture Companion (ICSA-C) (pp. 86-90). 10.1109/ICSA-C57050.2023.00029.
Lestingi, L., Sbrolli, C., Scarmozzino, P., Romeo, G., Bersani, M.M. & Rossi, M (2022). Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings. In IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) (pp. 80-90). IEEE. 10.1145/3524482.3527653.
Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2020). A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. In IEEE International Conference on Systems, Man, and Cybernetics (SMC) (pp. 1907-1914), IEEE. 10.1109/SMC42975.2020.9283204.
Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2020, September). Formal verification of human-robot interaction in healthcare scenarios. In International Conference on Software Engineering and Formal Methods (pp. 303-324). Springer, Cham. 10.1007/978-3-030-58768-0_17.
Askarpour, M., Lestingi, L., Buran, F., Rossi, M., & Vicentini, F. (2020, September). Model-driven risk analysis for the design of safe collaborative robotic applications. In IEEE International Conference on Human-Machine Systems (ICHMS) (pp. 1-6). IEEE. 10.1109/ICHMS49158.2020.9209450
Bersani M.M., Camilli M., Lestingi L., Mirandola R., Rossi M. (2023). Explainable human-machine teaming using model checking and interpretable machine learning. In 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) (pp. 18-28). IEEE. 10.1109/FormaliSE58978.2023.00010.
Bersani M.M., Camilli M., Lestingi L., Mirandola R., Rossi M., Scandurra P. (2023). Towards better trust in human-machine teaming through explainable dependability. In IEEE 20th International Conference on Software Architecture Companion (ICSA-C) (pp. 86-90). 10.1109/ICSA-C57050.2023.00029.
Lestingi, L., Sbrolli, C., Scarmozzino, P., Romeo, G., Bersani, M.M. & Rossi, M (2022). Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings. In IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) (pp. 80-90). IEEE. 10.1145/3524482.3527653.
Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2020). A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. In IEEE International Conference on Systems, Man, and Cybernetics (SMC) (pp. 1907-1914), IEEE. 10.1109/SMC42975.2020.9283204.
Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2020, September). Formal verification of human-robot interaction in healthcare scenarios. In International Conference on Software Engineering and Formal Methods (pp. 303-324). Springer, Cham. 10.1007/978-3-030-58768-0_17.
Askarpour, M., Lestingi, L., Buran, F., Rossi, M., & Vicentini, F. (2020, September). Model-driven risk analysis for the design of safe collaborative robotic applications. In IEEE International Conference on Human-Machine Systems (ICHMS) (pp. 1-6). IEEE. 10.1109/ICHMS49158.2020.9209450
Workshop Articles
Bersani M.M., Camilli M., Lestingi L., Mirandola R., Rossi M., Scandurra P. (2023).
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.
In 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) (pp. 309-315). IEEE.
10.1109/REW57809.2023.00059
Lestingi, L. Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper). Formal Methods Teaching Workshop. Springer, Cham, 2021. 10.1007/978-3-030-91550-6_6
Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2020). Statistical Model Checking of Human-Robot Interaction Scenarios. arXiv preprint arXiv:2007.11738.
Lestingi, L. Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper). Formal Methods Teaching Workshop. Springer, Cham, 2021. 10.1007/978-3-030-91550-6_6
Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2020). Statistical Model Checking of Human-Robot Interaction Scenarios. arXiv preprint arXiv:2007.11738.
