Matteo Camilli

83 papers A* 4A 8B 8C 1Misc 4Journal 28Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Automated Detection and Mitigation of Dependability Failures in Healthcare Scenarios through Digital Twins. CoRR Bruno Guindani, Matteo Camilli, Livia Lestingi, Marcello M. Bersani
2026	J	`jnl`	Proactive self-adaptation and assurance of explainable Human-Machine Teaming. J. Syst. Softw. Livia Lestingi, Marcello M. Bersani, Matteo Camilli, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2026	—	`conf`	WEPPE26: 6th Workshop on Education and Practice of Performance Engineering. ICPE Companion Alberto Avritzer, Matteo Camilli, James J. Cusick, Andrea Janes
2025	B	`conf`	Counterfactual Self-adaptation in Cyber-Physical Systems. SEAA Ehsan Elahi, Matteo Camilli, Raffaela Mirandola
2025	A	`conf`	Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows. ISSRE Bruno Guindani, Matteo Camilli, Livia Lestingi, Marcello Maria Bersani
2025	J	`jnl`	Engineering MLOps Pipelines With Data Quality: A Case Study on Tabular Datasets in Kaggle. J. Softw. Evol. Process. Matteo Pancini, Matteo Camilli, Giovanni Quattrocchi, Damian Andrew Tamburri
2025	J	`jnl`	How Toxic Can You Get? Search-Based Toxicity Testing for Large Language Models. IEEE Trans. Software Eng. Simone Corbo, Luca Bancale, Valeria De Gennaro, Livia Lestingi, Vincenzo Scotti, Matteo Camilli
2025	J	`jnl`	How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models. CoRR Simone Corbo, Luca Bancale, Valeria De Gennaro, Livia Lestingi, Vincenzo Scotti, Matteo Camilli
2025	J	`jnl`	Many-objective Self-adaptation under Model Uncertainty. ACM Trans. Auton. Adapt. Syst. Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2025	A*	`conf`	Parametric Falsification of Many Probabilistic Requirements Under Flakiness. ICSE Matteo Camilli, Raffaela Mirandola
2025	J	`jnl`	Reality Check on Formal Methods in Industry: A Study of Verum Dezyne. J. Softw. Evol. Process. Michele Chiari, Matteo Camilli, Marcello M. Bersani, Rutger van Beusekom, Damian A. Tamburri
2025	J	`jnl`	Software Aging Detection and Rejuvenation Assessment in Heterogeneous Virtual Networks. IEEE Trans. Emerg. Top. Comput. Alberto Avritzer, Andrea Janes, Andrea Marin, Catia Trubiani, André van Hoorn, Matteo Camilli, Daniel S. Menasché, André B. Bondi
2025	—	`conf`	WEPPE25: 5th Workshop on Education and Practice of Performance Engineering. ICPE (Companion) Alberto Avritzer, Matteo Camilli, James J. Cusick, Andrea Janes
2024	A*	`conf`	A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems. ASE Luciano Baresi, Matteo Camilli, Tommaso Dolci, Giovanni Quattrocchi
2024	—	`conf`	Dependability Modeling in an Industrial Environment. ISSRE (Workshops) Alberto Avritzer, James J. Cusick, Andrea Janes, Matteo Camilli, Barbara Russo, Catia Trubiani, André van Hoorn
2024	—	`conf`	Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine Learning. SEAMS@ICSE Francesco Renato Negri, Niccolo Nicolosi, Matteo Camilli, Raffaela Mirandola
2024	—	`conf`	Integrated QoS- and Vulnerability-Driven Self-adaptation for Microservices Applications. ICSOC (2) Matteo Camilli, Fabio Luccioletti, Raffaela Mirandola, Patrizia Scandurra
2024	—	`conf`	Multi-requirement Parametric Falsification. ICSE Companion Matteo Camilli, Raffaela Mirandola
2024	—	`conf`	RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications. SEAMS@ICSE Vincenzo Riccio, Giancarlo Sorrentino, Ettore Zamponi, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2023	—	`conf`	A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. REW Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023	J	`jnl`	Actor-Driven Decomposition of Microservices through Multi-level Scalability Assessment. ACM Trans. Softw. Eng. Methodol. Matteo Camilli, Carmine Colarusso, Barbara Russo, Eugenio Zimeo
2023	B	`conf`	Architecting Explainable Service Robots. ECSA Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023	—	`conf`	Assessment of Aging and Rejuvenation for Resiliency in Heterogeneous Network Clusters. ISSREW Alberto Avritzer, Andrea Janes, Andrea Marin, André van Hoorn, Matteo Camilli, Catia Trubiani, Daniel S. Menasché
2023	J	`jnl`	Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime. ACM Trans. Auton. Adapt. Syst. Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2023	—	`conf`	Engineering Self-adaptive Microservice Applications: An Experience Report. ICSOC (1) Vincenzo Riccio, Giancarlo Sorrentino, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2023	—	`conf`	Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. FormaliSE Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi
2023	A	`conf`	Impact of Architectural Smells on Software Performance: an Exploratory Study. EASE Francesca Arcelli Fontana, Matteo Camilli, Davide Rendina, Andrei Gabriel Taraboi, Catia Trubiani
2023	A	`conf`	Risk-driven Online Testing and Test Case Diversity Analysis for ML-enabled Critical Systems. ISSRE Jubril Gbolahan Adigun, Tom Philip Huck, Matteo Camilli, Michael Felderer
2023	J	`jnl`	Special issue on Architecting Dependable Multi-paradigm Computing Systems. Computing Patrizia Scandurra, Matteo Camilli, Raffaela Mirandola, Sungwon Kang
2023	—	`conf`	Towards Better Trust in Human-Machine Teaming through Explainable Dependability. ICSA-C Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023	—	`conf`	WEPPE'23 Workshop Chairs' Welcome. ICPE (Companion) Alberto Avritzer, Matteo Camilli
2022	J	`jnl`	Automated test-based learning and verification of performance models for microservices systems. J. Syst. Softw. Matteo Camilli, Andrea Janes, Barbara Russo
2022	J	`jnl`	Collaborative Artificial Intelligence Needs Stronger Assurances Driven by Risks. Computer Jubril Gbolahan Adigun, Matteo Camilli, Michael Felderer, Andrea Giusti, Dominik T. Matt, Anna Perini, Barbara Russo, Angelo Susi
2022	—	`conf`	Continuous Dependability Assessment of Microservice Systems. ECSA (Tracks and Workshops) Alberto Avritzer, Matteo Camilli, Andrea Janes, Barbara Russo, Catia Trubiani, André van Hoorn
2022	J	`jnl`	Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. Matteo Camilli, Lorenzo Capra
2022	C	`conf`	Microservices Integrated Performance and Reliability Testing. AST Matteo Camilli, Antonio Guerriero, Andrea Janes, Barbara Russo, Stefano Russo
2022	J	`jnl`	Modeling Performance of Microservices Systems with Growth Theory. Empir. Softw. Eng. Matteo Camilli, Barbara Russo
2022	J	`jnl`	Scalability testing automation using multivariate characterization and detection of software performance antipatterns. J. Syst. Softw. 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
2022	A	`conf`	Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging. SEAMS Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2022	—	`conf`	Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning. ECSA (Tracks and Workshops) Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra, Catia Trubiani
2022	A	`conf`	WeakSATD: Detecting Weak Self-admitted Technical Debt. MSR Barbara Russo, Matteo Camilli, Moritz Mock
2022	J	`jnl`	WeakSATD: Detecting Weak Self-admitted Technical Debt. CoRR Barbara Russo, Matteo Camilli, Moritz Mock
2022	A*	`conf`	XSA: eXplainable Self-Adaptation. ASE Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2021	B	`conf`	A Multivariate Characterization and Detection of Software Performance Antipatterns. ICPE Alberto Avritzer, Ricardo Britto, Catia Trubiani, Barbara Russo, Andrea Janes, Matteo Camilli, André van Hoorn, Robert Heinrich, Martina Rapp, Jörg Henß
2021	J	`jnl`	Collaborative AI Needs Stronger Assurances Driven by Risks. CoRR Jubril Gbolahan Adigun, Matteo Camilli, Michael Felderer, Andrea Giusti, Dominik T. Matt, Anna Perini, Barbara Russo, Angelo Susi
2021	J	`jnl`	Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. Matteo Camilli, Lorenzo Capra
2021	—	`conf`	PPTAM ICSA Companion Alberto Avritzer, Matteo Camilli, Andrea Janes, Barbara Russo, Jasmin Jahic, André van Hoorn, Ricardo Britto, Catia Trubiani
2021	—	`conf`	Provenance Navigator: Towards More Usable Privacy and Data Management Strategies for Smart Apps. STAST Sandeep Gupta, Matteo Camilli, Maria Papaioannou
2021	B	`conf`	Risk-Driven Compliance Assurance for Collaborative AI Systems: A Vision Paper. REFSQ Matteo Camilli, Michael Felderer, Andrea Giusti, Dominik Tobias Matt, Anna Perini, Barbara Russo, Angelo Susi
2021	—	`conf`	Runtime Equilibrium Verification for Resilient Cyber-Physical Systems. ACSOS Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2021	—	`conf`	Towards Risk Modeling for Collaborative AI. WAIN@ICSE Matteo Camilli, Michael Felderer, Andrea Giusti, Dominik T. Matt, Anna Perini, Barbara Russo, Angelo Susi
2021	J	`jnl`	Towards Risk Modeling for Collaborative AI. CoRR Matteo Camilli, Michael Felderer, Andrea Giusti, Dominik T. Matt, Anna Perini, Barbara Russo, Angelo Susi
2021	A	`conf`	Uncertainty-aware Exploration in Model-based Testing. ICST Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani
2020	—	`conf`	Continuous Formal Verification of Microservice-Based Process Flows. ECSA Companion Matteo Camilli
2020	—	`conf`	Domain Metric Driven Decomposition of Data-Intensive Applications. ISSRE Workshops Matteo Camilli, Carmine Colarusso, Barbara Russo, Eugenio Zimeo
2020	B	`conf`	Model-Based Testing Under Parametric Variability of Uncertain Beliefs. SEFM Matteo Camilli, Barbara Russo
2020	J	`jnl`	Model-based hypothesis testing of uncertain software systems. Softw. Test. Verification Reliab. Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
2019	—	`conf`	Emulating Self-adaptive Stochastic Petri Nets. EPEW Lorenzo Capra, Matteo Camilli
2019	—	`conf`	Formalizing distributed self-adaptive systems using high-level petri nets. SummerSim Lorenzo Capra, Matteo Camilli
2019	B	`conf`	HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. IFM Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra
2019	B	`conf`	PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. Petri Nets Matteo Camilli, Lorenzo Capra, Carlo Bellettini
2018	Misc	`conf`	A Symmetric Nets Emulator for Adaptive P/T Nets. SYNASC Lorenzo Capra, Matteo Camilli
2018	—	`conf`	A high-level petri net-based formal model of distributed self-adaptive systems. ECSA (Companion) Matteo Camilli, Carlo Bellettini, Lorenzo Capra
2018	A	`conf`	Online Model-Based Testing under Uncertainty. ISSRE Matteo Camilli, Carlo Bellettini, Angelo Gargantini, Patrizia Scandurra
2018	J	`jnl`	Zone-based formal specification and timing analysis of real-time self-adaptive systems. Sci. Comput. Program. Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
2017	—	`conf`	A Formal Framework for Specifying and Verifying Microservices Based Process Flows. SEFM Workshops Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
2017	—	`conf`	Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). SEFM Workshops Matteo Camilli, Carlo Bellettini, Lorenzo Capra
2017	—	`conf`	Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. NFM Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
2017	B	`conf`	Towards Inverse Uncertainty Quantification in Software Development (Short Paper). SEFM Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
2016	Misc	`conf`	Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. SYNASC Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
2016	J	`jnl`	Distributed CTL model checking using MapReduce: theory and practice. Concurr. Comput. Pract. Exp. Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
2015	—	`—`	Coping with the State Explosion Problem in Formal Methods: Advanced Abstraction Techniques and Big Data Approaches. Matteo Camilli
2015	A	`conf`	Specifying and verifying real-time self-adaptive systems. ISSRE Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
2014	Misc	`conf`	CTL Model Checking in the Cloud Using MapReduce. SYNASC Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
2014	J	`jnl`	Constructing Coverability Graphs for Time Basic Petri Nets. CoRR Matteo Camilli
2014	—	`conf`	Formal verification problems in a big data world: towards a mighty synergy. ICSE Companion Matteo Camilli
2014	J	`jnl`	Verification of Reachability Problems for Time Basic Petri Nets. CoRR Matteo Camilli
2013	J	`jnl`	Distributed CTL Model Checking in the Cloud. CoRR Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
2013	—	`conf`	MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. RP Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
2012	A*	`conf`	Petri nets state space analysis in the cloud. ICSE Matteo Camilli
2012	J	`jnl`	Preserving Co-Location Privacy in Geo-Social Networks CoRR Matteo Camilli
2012	J	`jnl`	State Space Exploration of RT Systems in the Cloud CoRR Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
2012	Misc	`conf`	Symbolic State Space Exploration of RT Systems in the Cloud. SYNASC Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga