Matteo Camilli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
41
Venues
15
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
41 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSA | A Layered Control Loop Architecture for Transparent Self-Adaptation. | Martina Missana, Arianna Paone, Andrea Tarabotto, Francesco Renato Negri, Niccol Nicolosi, Matteo Camilli, Raffaela Mirandola |
| 2026 | ICSE | Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services. | Bruno Guindani, Matteo Camilli, Livia Lestingi, Marcello Maria Bersani |
| 2026 | SEAMS | Verify, Augment, Improve: Self-Adaptation Repair via Automated Knowledge Augmentation from Mistakes. | Pietro Benecchi, Luigi Cardone, Matteo Camilli, Livia Lestingi, Raffaela Mirandola |
| 2025 | ICSE | Parametric Falsification of Many Probabilistic Requirements Under Flakiness. | Matteo Camilli, Raffaela Mirandola |
| 2025 | ISSRE | Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows. | Bruno Guindani, Matteo Camilli, Livia Lestingi, Marcello Maria Bersani |
| 2024 | ICSE | Multi-requirement Parametric Falsification. | Matteo Camilli, Raffaela Mirandola |
| 2024 | ICSOC | Integrated QoS- and Vulnerability-Driven Self-adaptation for Microservices Applications. | Matteo Camilli, Fabio Luccioletti, Raffaela Mirandola, Patrizia Scandurra |
| 2024 | ISSRE | Dependability Modeling in an Industrial Environment. | Alberto Avritzer, James J. Cusick, Andrea Janes, Matteo Camilli, Barbara Russo, Catia Trubiani, Andr van Hoorn |
| 2024 | SEAMS | Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine Learning. | Francesco Renato Negri, Niccol Nicolosi, Matteo Camilli, Raffaela Mirandola |
| 2024 | SEAMS | RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications. | Vincenzo Riccio, Giancarlo Sorrentino, Ettore Zamponi, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra |
| 2023 | EASE | Impact of Architectural Smells on Software Performance: an Exploratory Study. | Francesca Arcelli Fontana, Matteo Camilli, Davide Rendina, Andrei Gabriel Taraboi, Catia Trubiani |
| 2023 | ECSA | Architecting Explainable Service Robots. | Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra |
| 2023 | ICSA | Towards Better Trust in Human-Machine Teaming through Explainable Dependability. | Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra |
| 2023 | ICSOC | Engineering Self-adaptive Microservice Applications: An Experience Report. | Vincenzo Riccio, Giancarlo Sorrentino, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra |
| 2023 | ISSRE | Risk-driven Online Testing and Test Case Diversity Analysis for ML-enabled Critical Systems. | Jubril Gbolahan Adigun, Tom Philip Huck, Matteo Camilli, Michael Felderer |
| 2023 | ISSRE | Assessment of Aging and Rejuvenation for Resiliency in Heterogeneous Network Clusters. | Alberto Avritzer, Andrea Janes, Andrea Marin, Andr van Hoorn, Matteo Camilli, Catia Trubiani, Daniel S. Menasch |
| 2023 | RE | A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. | Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra |
| 2022 | AST | Microservices Integrated Performance and Reliability Testing. | Matteo Camilli, Antonio Guerriero, Andrea Janes, Barbara Russo, Stefano Russo |
| 2022 | ECSA | Continuous Dependability Assessment of Microservice Systems. | Alberto Avritzer, Matteo Camilli, Andrea Janes, Barbara Russo, Catia Trubiani, Andr van Hoorn |
| 2022 | ECSA | Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning. | Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra, Catia Trubiani |
| 2022 | MSR | WeakSATD: Detecting Weak Self-admitted Technical Debt. | Barbara Russo, Matteo Camilli, Moritz Mock |
| 2022 | SEAMS | Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging. | Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra |
| 2021 | ICSA | PPTAM | Alberto Avritzer, Matteo Camilli, Andrea Janes, Barbara Russo, Jasmin Jahic, Andr van Hoorn, Ricardo Britto, Catia Trubiani |
| 2021 | ICST | Uncertainty-aware Exploration in Model-based Testing. | Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani |
| 2021 | REFSQ | Risk-Driven Compliance Assurance for Collaborative AI Systems: A Vision Paper. | Matteo Camilli, Michael Felderer, Andrea Giusti, Dominik Tobias Matt, Anna Perini, Barbara Russo, Angelo Susi |
| 2020 | ECSA | Continuous Formal Verification of Microservice-Based Process Flows. | Matteo Camilli |
| 2020 | ISSRE | Domain Metric Driven Decomposition of Data-Intensive Applications. | Matteo Camilli, Carmine Colarusso, Barbara Russo, Eugenio Zimeo |
| 2020 | SEFM | Model-Based Testing Under Parametric Variability of Uncertain Beliefs. | Matteo Camilli, Barbara Russo |
| 2019 | IFM | HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. | Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra |
| 2018 | ECSA | A high-level petri net-based formal model of distributed self-adaptive systems. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra |
| 2018 | ISSRE | Online Model-Based Testing under Uncertainty. | Matteo Camilli, Carlo Bellettini, Angelo Gargantini, Patrizia Scandurra |
| 2018 | SYNASC | A Symmetric Nets Emulator for Adaptive P/T Nets. | Lorenzo Capra, Matteo Camilli |
| 2017 | SEFM | Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). | Matteo Camilli, Carlo Bellettini, Lorenzo Capra |
| 2017 | SEFM | A Formal Framework for Specifying and Verifying Microservices Based Process Flows. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
| 2017 | SEFM | Towards Inverse Uncertainty Quantification in Software Development (Short Paper). | Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini |
| 2016 | SYNASC | Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
| 2015 | ISSRE | Specifying and verifying real-time self-adaptive systems. | Matteo Camilli, Angelo Gargantini, Patrizia Scandurra |
| 2014 | ICSE | Formal verification problems in a big data world: towards a mighty synergy. | Matteo Camilli |
| 2014 | SYNASC | CTL Model Checking in the Cloud Using MapReduce. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
| 2012 | ICSE | Petri nets state space analysis in the cloud. | Matteo Camilli |
| 2012 | SYNASC | Symbolic State Space Exploration of RT Systems in the Cloud. | Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga |