Matteo Camilli

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 55

Top Topics

Formal Verification

Adaptive Systems

Hypothesis Test

Top Venues

Publications

Francesco Renato Negri, Niccolo Nicolosi, Matteo Camilli, Raffaela Mirandola
Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine Learning. SEAMS@ICSE (2024)
Matteo Camilli, Raffaela Mirandola
Multi-requirement Parametric Falsification. ICSE Companion (2024)
Vincenzo Riccio, Giancarlo Sorrentino, Ettore Zamponi, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications. SEAMS@ICSE (2024)
Jubril Gbolahan Adigun, Tom Philip Huck, Matteo Camilli, Michael Felderer
Risk-driven Online Testing and Test Case Diversity Analysis for ML-enabled Critical Systems. ISSRE (2023)
Alberto Avritzer, Andrea Janes, Andrea Marin, André van Hoorn, Matteo Camilli, Catia Trubiani, Daniel S. Menasché
Assessment of Aging and Rejuvenation for Resiliency in Heterogeneous Network Clusters. ISSREW (2023)
Francesca Arcelli Fontana, Matteo Camilli, Davide Rendina, Andrei Gabriel Taraboi, Catia Trubiani
Impact of Architectural Smells on Software Performance: an Exploratory Study. EASE (2023)
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime. ACM Trans. Auton. Adapt. Syst. 18 (3) (2023)
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
Architecting Explainable Service Robots. ECSA (2023)
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. REW (2023)
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. FormaliSE (2023)
Matteo Camilli, Carmine Colarusso, Barbara Russo, Eugenio Zimeo
Actor-Driven Decomposition of Microservices through Multi-level Scalability Assessment. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Patrizia Scandurra, Matteo Camilli, Raffaela Mirandola, Sungwon Kang
Special issue on Architecting Dependable Multi-paradigm Computing Systems. Computing 105 (9) (2023)
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
Towards Better Trust in Human-Machine Teaming through Explainable Dependability. ICSA-C (2023)
Alberto Avritzer, Matteo Camilli
WEPPE'23 Workshop Chairs' Welcome. ICPE (Companion) (2023)
Vincenzo Riccio, Giancarlo Sorrentino, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
Engineering Self-adaptive Microservice Applications: An Experience Report. ICSOC (1) (2023)
Alberto Avritzer, Matteo Camilli, Andrea Janes, Barbara Russo, Catia Trubiani, André van Hoorn
Continuous Dependability Assessment of Microservice Systems. ECSA (Tracks and Workshops) (2022)
Jubril Gbolahan Adigun, Matteo Camilli, Michael Felderer, Andrea Giusti, Dominik T. Matt, Anna Perini, Barbara Russo, Angelo Susi
Collaborative Artificial Intelligence Needs Stronger Assurances Driven by Risks. Computer 55 (3) (2022)
Barbara Russo, Matteo Camilli, Moritz Mock
WeakSATD: Detecting Weak Self-admitted Technical Debt. MSR (2022)
Matteo Camilli, Barbara Russo
Modeling Performance of Microservices Systems with Growth Theory. Empir. Softw. Eng. 27 (2) (2022)
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra, Catia Trubiani
Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning. ECSA (Tracks and Workshops) (2022)
Matteo Camilli, Andrea Janes, Barbara Russo
Automated test-based learning and verification of performance models for microservices systems. J. Syst. Softw. 187 (2022)
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
XSA: eXplainable Self-Adaptation. ASE (2022)
Matteo Camilli, Antonio Guerriero, Andrea Janes, Barbara Russo, Stefano Russo
Microservices Integrated Performance and Reliability Testing. AST@ICSE (2022)
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging. SEAMS (2022)
Barbara Russo, Matteo Camilli, Moritz Mock
WeakSATD: Detecting Weak Self-admitted Technical Debt. CoRR (2022)
Matteo Camilli, Lorenzo Capra
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. 32 (4) (2022)
Alberto Avritzer, Ricardo Britto, Catia Trubiani, Matteo Camilli, Andrea Janes, Barbara Russo, André van Hoorn, Robert Heinrich, Martina Rapp, Jörg Henß, Ram Kishan Chalawadi
Scalability testing automation using multivariate characterization and detection of software performance antipatterns. J. Syst. Softw. 193 (2022)
Sandeep Gupta, Matteo Camilli, Maria Papaioannou
Provenance Navigator: Towards More Usable Privacy and Data Management Strategies for Smart Apps. STAST (2021)
Alberto Avritzer, Ricardo Britto, Catia Trubiani, Barbara Russo, Andrea Janes, Matteo Camilli, André van Hoorn, Robert Heinrich, Martina Rapp, Jörg Henß
A Multivariate Characterization and Detection of Software Performance Antipatterns. ICPE (2021)
Matteo Camilli, Michael Felderer, Andrea Giusti, Dominik T. Matt, Anna Perini, Barbara Russo, Angelo Susi
Towards Risk Modeling for Collaborative AI. CoRR (2021)
Matteo Camilli, Michael Felderer, Andrea Giusti, Dominik Tobias Matt, Anna Perini, Barbara Russo, Angelo Susi
Risk-Driven Compliance Assurance for Collaborative AI Systems: A Vision Paper. REFSQ (2021)
Alberto Avritzer, Matteo Camilli, Andrea Janes, Barbara Russo, Jasmin Jahic, André van Hoorn, Ricardo Britto, Catia Trubiani
: What, Where, and How of Cross-domain Scalability Assessment. ICSA Companion (2021)
Matteo Camilli, Lorenzo Capra
Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. 31 (4) (2021)
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems. ACSOS (2021)
Jubril Gbolahan Adigun, Matteo Camilli, Michael Felderer, Andrea Giusti, Dominik T. Matt, Anna Perini, Barbara Russo, Angelo Susi
Collaborative AI Needs Stronger Assurances Driven by Risks. CoRR (2021)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani
Uncertainty-aware Exploration in Model-based Testing. ICST (2021)
Matteo Camilli, Michael Felderer, Andrea Giusti, Dominik T. Matt, Anna Perini, Barbara Russo, Angelo Susi
Towards Risk Modeling for Collaborative AI. WAIN@ICSE (2021)
Matteo Camilli, Carmine Colarusso, Barbara Russo, Eugenio Zimeo
Domain Metric Driven Decomposition of Data-Intensive Applications. ISSRE Workshops (2020)
Matteo Camilli, Barbara Russo
Model-Based Testing Under Parametric Variability of Uncertain Beliefs. SEFM (2020)
Matteo Camilli
Continuous Formal Verification of Microservice-Based Process Flows. ECSA Companion (2020)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
Model-based hypothesis testing of uncertain software systems. Softw. Test. Verification Reliab. 30 (2) (2020)
Lorenzo Capra, Matteo Camilli
Formalizing distributed self-adaptive systems using high-level petri nets. SummerSim (2019)
Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. IFM (2019)
Matteo Camilli, Lorenzo Capra, Carlo Bellettini
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. Petri Nets (2019)
Lorenzo Capra, Matteo Camilli
Emulating Self-adaptive Stochastic Petri Nets. EPEW (2019)
Lorenzo Capra, Matteo Camilli
A Symmetric Nets Emulator for Adaptive P/T Nets. SYNASC (2018)
Matteo Camilli, Carlo Bellettini, Angelo Gargantini, Patrizia Scandurra
Online Model-Based Testing under Uncertainty. ISSRE (2018)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra
A high-level petri net-based formal model of distributed self-adaptive systems. ECSA (Companion) (2018)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
Zone-based formal specification and timing analysis of real-time self-adaptive systems. Sci. Comput. Program. 159 (2018)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra
Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). SEFM Workshops (2017)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). SEFM (2017)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. NFM (2017)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
A Formal Framework for Specifying and Verifying Microservices Based Process Flows. SEFM Workshops (2017)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. SYNASC (2016)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Distributed CTL model checking using MapReduce: theory and practice. Concurr. Comput. Pract. Exp. 28 (11) (2016)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
Specifying and verifying real-time self-adaptive systems. ISSRE (2015)
Matteo Camilli
Verification of Reachability Problems for Time Basic Petri Nets. CoRR (2014)
Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
CTL Model Checking in the Cloud Using MapReduce. SYNASC (2014)
Matteo Camilli
Constructing Coverability Graphs for Time Basic Petri Nets. CoRR (2014)
Matteo Camilli
Formal verification problems in a big data world: towards a mighty synergy. ICSE Companion (2014)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Distributed CTL Model Checking in the Cloud. CoRR (2013)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. RP (2013)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
State Space Exploration of RT Systems in the Cloud CoRR (2012)
Matteo Camilli
Petri nets state space analysis in the cloud. ICSE (2012)
Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Symbolic State Space Exploration of RT Systems in the Cloud. SYNASC (2012)
Matteo Camilli
Preserving Co-Location Privacy in Geo-Social Networks CoRR (2012)