Contact

All Stories

  1. Uncertainty Interaction in Software-Intensive Systems: A Community Roadmap

    Article • ACM Transactions on Autonomous and Adaptive Systems, September 2026, ACM (Association for Computing Machinery)

    Fuyuki Ishikawa, Anne Koziolek, Livia Lestingi, Sumona Mukhopadhyay, Alessandro Vittorio Papadopoulos, Danilo Pianini, Karthik Vaidhyanathan

  2. Verify, Augment, Improve: Self-Adaptation Repair via Automated Knowledge Augmentation from Mistakes

    Article • April 2026, ACM (Association for Computing Machinery)

    Livia Lestingi

  3. Adaptive Toggling of Architectural Patterns for Federated Learning

    Article • April 2026, ACM (Association for Computing Machinery)

    Livia Lestingi

  4. Ubi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted Living

    Article • April 2026, ACM (Association for Computing Machinery)

    Livia Lestingi

  5. Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services

    Article • April 2026, ACM (Association for Computing Machinery)

    Livia Lestingi

  6. Proactive self-adaptation and assurance of explainable Human–Machine Teaming

    Article • Journal of Systems and Software, October 2025, Elsevier

    Livia Lestingi

  7. Preliminary Study of DSL Code Generation for Robotics with LLMs

    Article • August 2025, Springer Science + Business Media

    Livia Lestingi

  8. A Conversational Framework for Faithful Multi-perspective Analysis of Production Systems

    Article • January 2025, Springer Science + Business Media

    Livia Lestingi

  9. Data-Driven Energy Modeling of Machining Centers Through Automata Learning

    Article • IEEE Transactions on Automation Science and Engineering, January 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Livia Lestingi

  10. How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models

    Article • IEEE Transactions on Software Engineering, January 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Livia Lestingi

  11. Verification-Oriented Specification of Multi-agent Interaction Patterns

    Article • October 2024, Springer Science + Business Media

    Livia Lestingi

  12. Towards Verifiable Multi-Agent Interaction Pattern Specification

    Article • April 2024, ACM (Association for Computing Machinery)

    Livia Lestingi

  13. Model-Driven Development of Formally Verified Human-Robot Interactions

    Article • January 2024, Springer Science + Business Media

    Livia Lestingi

  14. A Conceptual Framework for Explainability Requirements in Software-Intensive Systems

    Article • September 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Livia Lestingi

  15. Analyzing the impact of human errors on interactive service robotic scenarios via formal verification

    Article • Software & Systems Modeling, August 2023, Springer Science + Business Media

    Livia Lestingi

  16. Specification, stochastic modeling and analysis of interactive service robotic applications

    Article • Robotics and Autonomous Systems, May 2023, Elsevier

    Livia Lestingi

  17. Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Livia Lestingi

  18. Towards Better Trust in Human-Machine Teaming through Explainable Dependability

    Article • March 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Livia Lestingi

  19. Architecting Explainable Service Robots

    Article • January 2023, Springer Science + Business Media

    Livia Lestingi

  20. Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior

    Article • IEEE Intelligent Systems, November 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Livia Lestingi

  21. Towards verified human-robot interaction in service settings

    Article • May 2022, ACM (Association for Computing Machinery)

    Livia Lestingi

  22. Formally-based Model-Driven Development of Collaborative Robotic Applications

    Article • Journal of Intelligent & Robotic Systems, June 2021, Springer Science + Business Media

    Livia Lestingi

  23. A Deployment Framework for Formally Verified Human-Robot Interactions

    Article • IEEE Access, January 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Livia Lestingi

  24. Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper)

    Article • January 2021, Springer Science + Business Media

    Livia Lestingi

  25. A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios

    Article • October 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Livia Lestingi

  26. Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications

    Article • September 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Livia Lestingi

  27. Statistical Model Checking of Human-Robot Interaction Scenarios

    Article • Electronic Proceedings in Theoretical Computer Science, July 2020, Open Publishing Association

    Livia Lestingi

  28. Formal Verification of Human-Robot Interaction in Healthcare Scenarios

    Article • January 2020, Springer Science + Business Media

    Livia Lestingi