LESTINGI, LIVIA
LESTINGI, LIVIA
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
A Conversational Framework for Faithful Multi-perspective Analysis of Production Systems
2025-01-01 Casciani, Angelo; Lestingi, Livia; Marrella, Andrea; Matta, Andrea
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, L.; Askarpour, M.; Bersani, M. M.; Rossi, M. G.
Architecting Explainable Service Robots
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
Architecting Federated Learning Systems: A Requirement-Driven Approach
2025-01-01 Baresi, Luciano; Lestingi, Livia; Wehbe, Iyad
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows
2025-01-01 Guindani, Bruno; Camilli, Matteo; Lestingi, Livia; Bersani, Marcello Maria
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
2022-01-01 Lestingi, Livia; Sbrolli, Cristian; Scarmozzino, Pasquale; Romeo, Giorgio; Bersani, Marcello M.; Rossi, Matteo
Formal Verification of Human-Robot Interaction in Healthcare Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Model-Driven Development of Formally Verified Human-Robot Interactions
2021-01-01 Lestingi, Livia
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications
2020-01-01 Askarpour, Mehrnoosh; Lestingi, Livia; Buran, Federico; Rossi, Matteo Giovanni; Vicentini, Federico
Preliminary Study of DSL Code Generation for Robotics with LLMs
2025-01-01 Tagliaferro, A.; Lestingi, L.; Rossi, Matteo Giovanni
Preliminary Study of DSL Code Generation for Robotics with LLMs
2026-01-01 Tagliaferro, Alberto; Lestingi, Livia; Rossi, Matteo
Statistical Model Checking of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper)
2021-01-01 Lestingi, Livia
Towards Better Trust in Human-Machine Teaming through Explainable Dependability
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
Towards Verifiable Multi-Agent Interaction Pattern Specification
2024-01-01 Tagliaferro, Alberto; Lestingi, Livia; Rossi, Matteo
Verification-Oriented Specification of Multi-agent Interaction Patterns
2025-01-01 Tagliaferro, A.; Lestingi, L.; Rossi, M.