Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications. - Mehrnoosh Askarpour; Livia Lestingi; Federico Buran; Matteo Rossi 001; Federico Vicentini (ICHMS, 2020)

Formal Verification of Human-Robot Interaction in Healthcare Scenarios. - Livia Lestingi; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (SEFM, 2020)

A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. - Livia Lestingi; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (SMC, 2020)

Statistical Model Checking of Human-Robot Interaction Scenarios. - Livia Lestingi; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (AREA@ECAI, 2020)

Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper). - Livia Lestingi (FMTea, 2021)

A Deployment Framework for Formally Verified Human-Robot Interactions. - Livia Lestingi; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (IEEE Access, 2021)

Formally-based Model-Driven Development of Collaborative Robotic Applications. - Mehrnoosh Askarpour; Livia Lestingi; Samuele Longoni; Niccolò Iannacci; Matteo Rossi 001; Federico Vicentini (J. Intell. Robotic Syst., 2021)

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 001 (FormaliSE@ICSE, 2022)

Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior. - Livia Lestingi; Marcello M. Bersani; Matteo Rossi 001 (IEEE Intell. Syst., 2022)

Architecting Explainable Service Robots. - Marcello M. Bersani; Matteo Camilli; Livia Lestingi; Raffaela Mirandola; Matteo G. Rossi; Patrizia Scandurra (ECSA, 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 (ICSA-C, 2023)

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. - Marcello M. Bersani; Matteo Camilli; Livia Lestingi; Raffaela Mirandola; Matteo G. Rossi (FormaliSE, 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 (REW, 2023)

Model-driven development of formally verified human-robot interactions - Livia Lestingi (2023)

Specification, stochastic modeling and analysis of interactive service robotic applications. - Livia Lestingi; Davide Zerla; Marcello M. Bersani; Matteo Rossi 001 (Robotics Auton. Syst., 2023)

Verification-Oriented Specification of Multi-agent Interaction Patterns. - Alberto Tagliaferro; Livia Lestingi; Matteo G. Rossi (AREA, 2024)

Towards Verifiable Multi-Agent Interaction Pattern Specification. - Alberto Tagliaferro; Livia Lestingi; Matteo Rossi 001 (FormaliSE@ICSE, 2024)

Analyzing the impact of human errors on interactive service robotic scenarios via formal verification. - Livia Lestingi; Andrea Manglaviti; Davide Marinaro; Luca Marinello; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (Softw. Syst. Model., 2024)

A Conversational Framework for Faithful Multi-perspective Analysis of Production Systems. - Angelo Casciani; Livia Lestingi; Andrea Marrella; Andrea Matta (CAiSE (1), 2025)

Architecting Federated Learning Systems: A Requirement-Driven Approach. - Luciano Baresi; Livia Lestingi; Iyad Wehbe (ECSA, 2025)

Preliminary Study of DSL Code Generation for Robotics with LLMs. - Alberto Tagliaferro; Livia Lestingi; Matteo G. Rossi (TAROS, 2025)

Data-Driven Energy Modeling of Machining Centers Through Automata Learning. - Livia Lestingi; Nicla Frigerio; Marcello M. Bersani; Andrea Matta; Matteo G. Rossi (IEEE Trans Autom. Sci. Eng., 2025)

How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models. - Simone Corbo; Luca Bancale; Valeria De Gennaro; Livia Lestingi; Vincenzo Scotti 001; Matteo Camilli (CoRR, 2025)