Skip to content

Livia Lestingi

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

10

Active years

2020–2026

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2026CaiSEFIDES: A Neuro-Symbolic Conversational Tool for Faithful Production Process Intelligence.Angelo Casciani, Fabrizio Italia, Livia Lestingi, Matteo Marinacci, Andrea Marrella, Andrea Matta
2026ICSEAgentic Generation of Structured Clinical Specifications for Digital Healthcare Services.Bruno Guindani, Matteo Camilli, Livia Lestingi, Marcello Maria Bersani
2026SEAMSAdaptive Toggling of Architectural Patterns for Federated Learning.Luciano Baresi, Ivan Compagnucci, Livia Lestingi, Catia Trubiani
2026SEAMSVerify, Augment, Improve: Self-Adaptation Repair via Automated Knowledge Augmentation from Mistakes.Pietro Benecchi, Luigi Cardone, Matteo Camilli, Livia Lestingi, Raffaela Mirandola
2026SEAMSUbi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted Living.Javier Cmara, Ilias Gerostathopoulos, Livia Lestingi, Michele Loreti, Hiroyuki Nakagawa, Marjan Sirjani, Kenji Tei
2025CaiSEA Conversational Framework for Faithful Multi-perspective Analysis of Production Systems.Angelo Casciani, Livia Lestingi, Andrea Marrella, Andrea Matta
2025ECAIFederated Learning for Cross-Dataset Generalization in Litter Detection.Luciano Baresi, Simone Bianco, Livia Lestingi, Iyad Wehbe
2025ECSAArchitecting Federated Learning Systems: A Requirement-Driven Approach.Luciano Baresi, Livia Lestingi, Iyad Wehbe
2025ISSREDetecting Dependability Failures in Healthcare Scenarios via Digital Shadows.Bruno Guindani, Matteo Camilli, Livia Lestingi, Marcello Maria Bersani
2023ECSAArchitecting Explainable Service Robots.Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023ICSATowards Better Trust in Human-Machine Teaming through Explainable Dependability.Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023REA Conceptual Framework for Explainability Requirements in Software-Intensive Systems.Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2020SMCA Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2020SEFMFormal Verification of Human-Robot Interaction in Healthcare Scenarios.Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi