Petri nets state space analysis in the cloud. - Matteo Camilli (ICSE, 2012)

Symbolic State Space Exploration of RT Systems in the Cloud. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (SYNASC, 2012)

Preserving Co-Location Privacy in Geo-Social Networks - Matteo Camilli (CoRR, 2012)

State Space Exploration of RT Systems in the Cloud - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (CoRR, 2012)

MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (RP, 2013)

Distributed CTL Model Checking in the Cloud. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (CoRR, 2013)

Formal verification problems in a big data world: towards a mighty synergy. - Matteo Camilli (ICSE Companion, 2014)

CTL Model Checking in the Cloud Using MapReduce. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra; Mattia Monga (SYNASC, 2014)

Verification of Reachability Problems for Time Basic Petri Nets. - Matteo Camilli (CoRR, 2014)

Constructing Coverability Graphs for Time Basic Petri Nets. - Matteo Camilli (CoRR, 2014)

Specifying and verifying real-time self-adaptive systems. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra (ISSRE, 2015)

Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra; Mattia Monga (SYNASC, 2016)

Distributed CTL model checking using MapReduce: theory and practice. - Carlo Bellettini; Matteo Camilli; Lorenzo Capra; Mattia Monga (Concurr. Comput. Pract. Exp., 2016)

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra; Carlo Bellettini (NFM, 2017)

Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). - Matteo Camilli; Carlo Bellettini; Lorenzo Capra (SEFM Workshops, 2017)

A Formal Framework for Specifying and Verifying Microservices Based Process Flows. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra; Mattia Monga (SEFM Workshops, 2017)

Towards Inverse Uncertainty Quantification in Software Development (Short Paper). - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra; Carlo Bellettini (SEFM, 2017)

A high-level petri net-based formal model of distributed self-adaptive systems. - Matteo Camilli; Carlo Bellettini; Lorenzo Capra (ECSA (Companion), 2018)

Online Model-Based Testing under Uncertainty. - Matteo Camilli; Carlo Bellettini; Angelo Gargantini; Patrizia Scandurra (ISSRE, 2018)

A Symmetric Nets Emulator for Adaptive P/T Nets. - Lorenzo Capra; Matteo Camilli (SYNASC, 2018)

Zone-based formal specification and timing analysis of real-time self-adaptive systems. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra (Sci. Comput. Program., 2018)

PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. - Matteo Camilli; Lorenzo Capra; Carlo Bellettini (Petri Nets, 2019)

Emulating Self-adaptive Stochastic Petri Nets. - Lorenzo Capra; Matteo Camilli (EPEW, 2019)

HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. - Matteo Camilli; Angelo Gargantini; Rosario Madaudo; Patrizia Scandurra (IFM, 2019)

Formalizing distributed self-adaptive systems using high-level petri nets. - Lorenzo Capra; Matteo Camilli (SummerSim, 2019)

Continuous Formal Verification of Microservice-Based Process Flows. - Matteo Camilli (ECSA Companion, 2020)

Domain Metric Driven Decomposition of Data-Intensive Applications. - Matteo Camilli; Carmine Colarusso; Barbara Russo; Eugenio Zimeo (ISSRE Workshops, 2020)

Model-Based Testing Under Parametric Variability of Uncertain Beliefs. - Matteo Camilli; Barbara Russo (SEFM, 2020)

Model-based hypothesis testing of uncertain software systems. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra (Softw. Test. Verification Reliab., 2020)

Runtime Equilibrium Verification for Resilient Cyber-Physical Systems. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (ACSOS, 2021)

PPTAMλ: What, Where, and How of Cross-domain Scalability Assessment. - Alberto Avritzer; Matteo Camilli; Andrea Janes; Barbara Russo; Jasmin Jahic; André van Hoorn; Ricardo Britto 001; Catia Trubiani (ICSA Companion, 2021)

Towards Risk Modeling for Collaborative AI. - Matteo Camilli; Michael Felderer; Andrea Giusti; Dominik T. Matt; Anna Perini; Barbara Russo; Angelo Susi (WAIN@ICSE, 2021)

Uncertainty-aware Exploration in Model-based Testing. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra; Catia Trubiani (ICST, 2021)

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 (REFSQ, 2021)

Provenance Navigator: Towards More Usable Privacy and Data Management Strategies for Smart Apps. - Sandeep Gupta 002; Matteo Camilli; Maria Papaioannou (STAST, 2021)

A Multivariate Characterization and Detection of Software Performance Antipatterns. - Alberto Avritzer; Ricardo Britto 001; Catia Trubiani; Barbara Russo; Andrea Janes; Matteo Camilli; André van Hoorn; Robert Heinrich; Martina Rapp; Jörg Henß (ICPE, 2021)

Collaborative AI Needs Stronger Assurances Driven by Risks. - Jubril Gbolahan Adigun; Matteo Camilli; Michael Felderer; Andrea Giusti; Dominik T. Matt; Anna Perini; Barbara Russo; Angelo Susi (CoRR, 2021)

Formal specification and verification of decentralized self-adaptive systems using symmetric nets. - Matteo Camilli; Lorenzo Capra (Discret. Event Dyn. Syst., 2021)

[dataset] Runtime Equilibrium Verification for Resilient Cyber-physical Systems. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (Zenodo, 2021)

Microservices Integrated Performance and Reliability Testing. - Matteo Camilli; Antonio Guerriero; Andrea Janes; Barbara Russo; Stefano Russo 001 (AST@ICSE, 2022)

Continuous Dependability Assessment of Microservice Systems. - Alberto Avritzer; Matteo Camilli; Andrea Janes; Barbara Russo; Catia Trubiani; André van Hoorn (ECSA (Tracks and Workshops), 2022)

Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra; Catia Trubiani (ECSA (Tracks and Workshops), 2022)

XSA: eXplainable Self-Adaptation. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (ASE, 2022)

WeakSATD: Detecting Weak Self-admitted Technical Debt. - Barbara Russo; Matteo Camilli; Moritz Mock (MSR, 2022)

Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (SEAMS, 2022)

Collaborative Artificial Intelligence Needs Stronger Assurances Driven by Risks. - Jubril Gbolahan Adigun; Matteo Camilli; Michael Felderer; Andrea Giusti; Dominik T. Matt; Anna Perini; Barbara Russo; Angelo Susi (Computer, 2022)

Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets. - Matteo Camilli; Lorenzo Capra (Discret. Event Dyn. Syst., 2022)

Modeling Performance of Microservices Systems with Growth Theory. - Matteo Camilli; Barbara Russo (Empir. Softw. Eng., 2022)

Scalability testing automation using multivariate characterization and detection of software performance antipatterns. - Alberto Avritzer; Ricardo Britto 001; Catia Trubiani; Matteo Camilli; Andrea Janes; Barbara Russo; André van Hoorn; Robert Heinrich; Martina Rapp; Jörg Henß; Ram Kishan Chalawadi (J. Syst. Softw., 2022)

Automated test-based learning and verification of performance models for microservices systems. - Matteo Camilli; Andrea Janes; Barbara Russo (J. Syst. Softw., 2022)

Impact of Architectural Smells on Software Performance: an Exploratory Study. - Francesca Arcelli Fontana; Matteo Camilli; Davide Rendina; Andrei Gabriel Taraboi; Catia Trubiani (EASE, 2023)

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)

Engineering Self-adaptive Microservice Applications: An Experience Report. - Vincenzo Riccio; Giancarlo Sorrentino; Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (ICSOC (1), 2023)

Risk-driven Online Testing and Test Case Diversity Analysis for ML-enabled Critical Systems. - Jubril Gbolahan Adigun; Tom Philip Huck; Matteo Camilli; Michael Felderer (ISSRE, 2023)

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é (ISSREW, 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)

WEPPE'23 Workshop Chairs' Welcome. - Alberto Avritzer; Matteo Camilli (ICPE (Companion), 2023)

Special issue on Architecting Dependable Multi-paradigm Computing Systems. - Patrizia Scandurra; Matteo Camilli; Raffaela Mirandola; Sungwon Kang (Computing, 2023)

Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (ACM Trans. Auton. Adapt. Syst., 2023)

Actor-Driven Decomposition of Microservices through Multi-level Scalability Assessment. - Matteo Camilli; Carmine Colarusso; Barbara Russo; Eugenio Zimeo (ACM Trans. Softw. Eng. Methodol., 2023)

Multi-requirement Parametric Falsification. - Matteo Camilli; Raffaela Mirandola (ICSE Companion, 2024)

Integrated QoS- and Vulnerability-Driven Self-adaptation for Microservices Applications. - Matteo Camilli; Fabio Luccioletti; Raffaela Mirandola; Patrizia Scandurra (ICSOC (2), 2024)

Dependability Modeling in an Industrial Environment. - Alberto Avritzer; James J. Cusick; Andrea Janes; Matteo Camilli; Barbara Russo; Catia Trubiani; André van Hoorn (ISSRE (Workshops), 2024)

A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems. - Luciano Baresi; Matteo Camilli; Tommaso Dolci; Giovanni Quattrocchi (ASE, 2024)

Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine Learning. - Francesco Renato Negri; Niccolo Nicolosi; Matteo Camilli; Raffaela Mirandola (SEAMS@ICSE, 2024)

RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications. - Vincenzo Riccio; Giancarlo Sorrentino; Ettore Zamponi; Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (SEAMS@ICSE, 2024)

Many-Objective Self-adaptation under Model Uncertainty. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (Zenodo, 2024)

Parametric Falsification of Many Probabilistic Requirements Under Flakiness. - Matteo Camilli; Raffaela Mirandola (ICSE, 2025)

WEPPE25: 5th Workshop on Education and Practice of Performance Engineering. - Alberto Avritzer; Matteo Camilli; James J. Cusick; Andrea Janes (ICPE (Companion), 2025)

Many-objective Self-adaptation under Model Uncertainty. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (ACM Trans. Auton. Adapt. Syst., 2025)

Software Aging Detection and Rejuvenation Assessment in Heterogeneous Virtual Networks. - Alberto Avritzer; Andrea Janes; Andrea Marin; Catia Trubiani; André van Hoorn; Matteo Camilli; Daniel S. Menasché; André B. Bondi (IEEE Trans. Emerg. Top. Comput., 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)