Livia Lestingi

According to our database, Livia Lestingi authored at least 15 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Specification, stochastic modeling and analysis of interactive service robotic applications.

Livia Lestingi, Davide Zerla, Marcello M. Bersani, Matteo Rossi

Robotics Auton. Syst., May, 2023

Model-driven development of formally verified human-robot interactions

Livia Lestingi

PhD thesis, 2023

A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.

Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.

Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Towards Better Trust in Human-Machine Teaming through Explainable Dependability.

Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra

Proceedings of the 20th International Conference on Software Architecture, 2023

Architecting Explainable Service Robots.

Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra

Proceedings of the Software Architecture - 17th European Conference, 2023

2022

Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior.

Livia Lestingi, Marcello M. Bersani, Matteo Rossi

IEEE Intell. Syst., 2022

Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings.

Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

Formally-based Model-Driven Development of Collaborative Robotic Applications.

Mehrnoosh Askarpour, Livia Lestingi, Samuele Longoni, Niccolò Iannacci, Matteo Rossi, Federico Vicentini

J. Intell. Robotic Syst., 2021

A Deployment Framework for Formally Verified Human-Robot Interactions.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

IEEE Access, 2021

Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper).

Livia Lestingi

Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

2020

Statistical Model Checking of Human-Robot Interaction Scenarios.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Formal Verification of Human-Robot Interaction in Healthcare Scenarios.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications.

Mehrnoosh Askarpour, Livia Lestingi, Federico Buran, Matteo Rossi, Federico Vicentini

Proceedings of the IEEE International Conference on Human-Machine Systems, 2020