Livia Lestingi

29 papers A 2B 4Journal 11Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automated Detection and Mitigation of Dependability Failures in Healthcare Scenarios through Digital Twins.
CoRR
Bruno Guindani, Matteo Camilli, Livia Lestingi, Marcello M. Bersani
2026 J jnl
Do You Understand How I Feel?: Towards Verified Empathy in Therapy Chatbots.
CoRR
Francesco Dettori, Matteo Forasassi, Lorenzo Veronese, Livia Lestingi, Vincenzo Scotti, Matteo G. Rossi
2026 J jnl
Proactive self-adaptation and assurance of explainable Human-Machine Teaming.
J. Syst. Softw.
Livia Lestingi, Marcello M. Bersani, Matteo Camilli, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2025 — conf
A Conversational Framework for Faithful Multi-perspective Analysis of Production Systems.
CAiSE (1)
Angelo Casciani, Livia Lestingi, Andrea Marrella, Andrea Matta
2025 B conf
Architecting Federated Learning Systems: A Requirement-Driven Approach.
ECSA
Luciano Baresi, Livia Lestingi, Iyad Wehbe
2025 J jnl
Data-Driven Energy Modeling of Machining Centers Through Automata Learning.
IEEE Trans Autom. Sci. Eng.
Livia Lestingi, Nicla Frigerio, Marcello M. Bersani, Andrea Matta, Matteo G. Rossi
2025 A conf
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows.
ISSRE
Bruno Guindani, Matteo Camilli, Livia Lestingi, Marcello Maria Bersani
2025 A conf
Federated Learning for Cross-Dataset Generalization in Litter Detection.
ECAI
Luciano Baresi, Simone Bianco, Livia Lestingi, Iyad Wehbe
2025 J jnl
How Toxic Can You Get? Search-Based Toxicity Testing for Large Language Models.
IEEE Trans. Software Eng.
Simone Corbo, Luca Bancale, Valeria De Gennaro, Livia Lestingi, Vincenzo Scotti, Matteo Camilli
2025 J jnl
How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models.
CoRR
Simone Corbo, Luca Bancale, Valeria De Gennaro, Livia Lestingi, Vincenzo Scotti, Matteo Camilli
2025 — conf
Preliminary Study of DSL Code Generation for Robotics with LLMs.
TAROS
Alberto Tagliaferro, Livia Lestingi, Matteo G. Rossi
2024 J jnl
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification.
Softw. Syst. Model.
Livia Lestingi, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2024 — conf
Towards Verifiable Multi-Agent Interaction Pattern Specification.
FormaliSE@ICSE
Alberto Tagliaferro, Livia Lestingi, Matteo Rossi
2024 — conf
Verification-Oriented Specification of Multi-agent Interaction Patterns.
AREA
Alberto Tagliaferro, Livia Lestingi, Matteo G. Rossi
2023 — conf
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.
REW
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023 B conf
Architecting Explainable Service Robots.
ECSA
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023 — conf
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.
FormaliSE
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi
2023 — —
Model-driven development of formally verified human-robot interactions
Livia Lestingi
2023 J jnl
Specification, stochastic modeling and analysis of interactive service robotic applications.
Robotics Auton. Syst.
Livia Lestingi, Davide Zerla, Marcello M. Bersani, Matteo Rossi
2023 — conf
Towards Better Trust in Human-Machine Teaming through Explainable Dependability.
ICSA-C
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2022 — conf
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings.
FormaliSE@ICSE
Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi
2022 J jnl
Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior.
IEEE Intell. Syst.
Livia Lestingi, Marcello M. Bersani, Matteo Rossi
2021 J jnl
A Deployment Framework for Formally Verified Human-Robot Interactions.
IEEE Access
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2021 J jnl
Formally-based Model-Driven Development of Collaborative Robotic Applications.
J. Intell. Robotic Syst.
Mehrnoosh Askarpour, Livia Lestingi, Samuele Longoni, Niccolò Iannacci, Matteo Rossi, Federico Vicentini
2021 — conf
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper).
FMTea
Livia Lestingi
2020 B conf
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.
SMC
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2020 B conf
Formal Verification of Human-Robot Interaction in Healthcare Scenarios.
SEFM
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2020 — conf
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications.
ICHMS
Mehrnoosh Askarpour, Livia Lestingi, Federico Buran, Matteo Rossi, Federico Vicentini
2020 — conf
Statistical Model Checking of Human-Robot Interaction Scenarios.
AREA@ECAI
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi