Research profile

Formal methods, learning, and adaptive software-intensive systems

My research focuses on the design, analysis, and assurance of complex software-intensive and cyber-physical systems operating under uncertainty. I investigate how formal modeling and verification can be combined with learning-based techniques—including automata learning and AI-driven components—to support adaptability, explainability, and runtime decision-making. Application domains include human–machine teaming, robotics, and data-driven digital systems.

Publications Experience

News

  • 2026 L. Baresi, I. Compagnucci, L. Lestingi, C. Trubiani.
    Adaptive Toggling of Architectural Patterns for Federated Learning.
    Accepted for presentation at SEAMS 2026!
  • 2026 J. Cámara, I. Gerostathopoulos, L. Lestingi, M. Loreti, H. Nakagawa, M. Sirjani, K. Tei.
    Ubi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted Living.
    Accepted for presentation at SEAMS 2026!
  • 2025 P. Benecchi, L. Cardone, M. Camilli, L. Lestingi, R. Mirandola.
    Verify, Augment, Improve: Self-Adaptation Repair via Automated Knowledge Augmentation from Mistakes.
    Accepted for presentation at SEAMS 2026!
  • 2025 B. Guindani, M. Camilli, L. Lestingi, M. M. Bersani.
    Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services.
    Accepted for presentation at ICSE 2026 - SEIS track!
  • 2026 Program Committee member of FormaliSE 2026 .
  • 2026 Program Committee member of CAIN 2026 .
  • 2026 Program Committee member of SEAMS 2026 .
  • 2025 Program Co-Chair of Ex-ASE @ ASE 2025 .
  • 2025 Program Co-Chair of DATAMOD @ SEFM 2025 .
  • 2025 L. Lestingi, M. M. Bersani, M. Camilli, R. Mirandola, M. Rossi, P. Scandurra.
    Proactive Self-Adaptation and Assurance of Explainable Human–Machine Teaming Systems.
    In Journal of Systems and Software.
  • 2025 S. Corbo, L. Bancale, V. De Gennaro, L. Lestingi, V. Scotti, M. Camilli.
    How Toxic Can You Get? Search-Based Toxicity Testing for Large Language Models.
    In IEEE Transactions on Software Engineering.
  • 2025 L. Baresi, S. Bianco, L. Lestingi, I. Wehbe.
    Federated Learning for Cross-Dataset Generalization in Litter Detection.
    Accepted for presentation at PAIS 2025!
  • 2025 Program Committee member of QUATIC 2025 (Verification, Validation, and Testing track).
  • 2025 Program Committee member of FMAS 2025 .
  • 2025 Program Committee member of AREA 2025 .
  • 2025 B. Guindani, M. Camilli, L. Lestingi, M. M. Bersani.
    Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows.
    Accepted for presentation at ISSRE 2025!
  • 2025 L. Baresi, L. Lestingi, I. Wehbe.
    Architecting Federated Learning Systems: A Requirement-Driven Approach.
    Accepted for presentation at ECSA 2025!
  • 2025 A. Casciani, L. Lestingi, A. Marrella, A. Matta.
    A Conversational Framework for Faithful Multi-Perspective Analysis of Production Systems.
    Accepted for presentation at CAiSE 2025!
  • 2025 Program Co-Chair of FAACS @ ICSA 2025 .

Experience

2025 –

RTD-A (Fixed-Term Researcher)

Politecnico di Milano — DEIB, DeepSE group

2023 – 2025

Postdoctoral Researcher

Politecnico di Milano — DEIB

2019 – 2023

Ph.D. in Information Technology

Politecnico di Milano