Livia Lestingi

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 16

Top Topics

Top Venues

IEEE Intell. Syst.

Publications

Livia Lestingi, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification. Softw. Syst. Model. 23 (2) (2024)
Alberto Tagliaferro, Livia Lestingi, Matteo Rossi
Towards Verifiable Multi-Agent Interaction Pattern Specification. FormaliSE@ICSE (2024)
Livia Lestingi, Davide Zerla, Marcello M. Bersani, Matteo Rossi
Specification, stochastic modeling and analysis of interactive service robotic applications. Robotics Auton. Syst. 163 (2023)
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
Architecting Explainable Service Robots. ECSA (2023)
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. REW (2023)
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. FormaliSE (2023)
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
Towards Better Trust in Human-Machine Teaming through Explainable Dependability. ICSA-C (2023)
Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings. FormaliSE@ICSE (2022)
Livia Lestingi, Marcello M. Bersani, Matteo Rossi
Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior. IEEE Intell. Syst. 37 (6) (2022)
Mehrnoosh Askarpour, Livia Lestingi, Samuele Longoni, Niccolò Iannacci, Matteo Rossi, Federico Vicentini
Formally-based Model-Driven Development of Collaborative Robotic Applications. J. Intell. Robotic Syst. 102 (3) (2021)
Livia Lestingi
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper). FMTea (2021)
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
A Deployment Framework for Formally Verified Human-Robot Interactions. IEEE Access 9 (2021)
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
Statistical Model Checking of Human-Robot Interaction Scenarios. AREA@ECAI (2020)
Mehrnoosh Askarpour, Livia Lestingi, Federico Buran, Matteo Rossi, Federico Vicentini
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications. ICHMS (2020)
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
Formal Verification of Human-Robot Interaction in Healthcare Scenarios. SEFM (2020)
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. SMC (2020)