![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Matteo Camilli
Person information
- affiliation: Politecnico di Milano, Milan, Italy
- affiliation (former): Free University of Bozen-Bolzano, Italy
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c46]Matteo Camilli
, Raffaela Mirandola
:
Multi-requirement Parametric Falsification. ICSE Companion 2024: 348-349 - [c45]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: 161-167 - [c44]Francesco Renato Negri
, Niccolo Nicolosi
, Matteo Camilli
, Raffaela Mirandola
:
Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine Learning. SEAMS@ICSE 2024: 189-199 - 2023
- [j12]Patrizia Scandurra, Matteo Camilli
, Raffaela Mirandola
, Sungwon Kang:
Special issue on Architecting Dependable Multi-paradigm Computing Systems. Computing 105(9): 1847 (2023) - [j11]Matteo Camilli
, Raffaela Mirandola
, Patrizia Scandurra
:
Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime. ACM Trans. Auton. Adapt. Syst. 18(3): 12:1-12:32 (2023) - [j10]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): 117:1-117:46 (2023) - [c43]Francesca Arcelli Fontana
, Matteo Camilli
, Davide Rendina
, Andrei Gabriel Taraboi
, Catia Trubiani
:
Impact of Architectural Smells on Software Performance: an Exploratory Study. EASE 2023: 22-31 - [c42]Marcello M. Bersani, Matteo Camilli
, Livia Lestingi
, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra:
Architecting Explainable Service Robots. ECSA 2023: 153-169 - [c41]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: 86-90 - [c40]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: 18-28 - [c39]Vincenzo Riccio, Giancarlo Sorrentino, Matteo Camilli
, Raffaela Mirandola
, Patrizia Scandurra:
Engineering Self-adaptive Microservice Applications: An Experience Report. ICSOC (1) 2023: 227-242 - [c38]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: 198-205 - [c37]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: 344-354 - [c36]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: 309-315 - [c35]Alberto Avritzer
, Matteo Camilli
:
WEPPE'23 Workshop Chairs' Welcome. ICPE (Companion) 2023: 337 - 2022
- [j9]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): 52-63 (2022) - [j8]Matteo Camilli
, Lorenzo Capra:
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. 32(4): 641 (2022) - [j7]Matteo Camilli
, Barbara Russo:
Modeling Performance of Microservices Systems with Growth Theory. Empir. Softw. Eng. 27(2): 39 (2022) - [j6]Matteo Camilli
, Andrea Janes
, Barbara Russo:
Automated test-based learning and verification of performance models for microservices systems. J. Syst. Softw. 187: 111225 (2022) - [j5]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: 111446 (2022) - [c34]Matteo Camilli
, Antonio Guerriero, Andrea Janes, Barbara Russo, Stefano Russo
:
Microservices Integrated Performance and Reliability Testing. AST@ICSE 2022: 29-39 - [c33]Alberto Avritzer, Matteo Camilli, Andrea Janes, Barbara Russo, Catia Trubiani, André van Hoorn:
Continuous Dependability Assessment of Microservice Systems. ECSA (Tracks and Workshops) 2022: 138-147 - [c32]Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra, Catia Trubiani:
Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning. ECSA (Tracks and Workshops) 2022: 233-245 - [c31]Matteo Camilli
, Raffaela Mirandola
, Patrizia Scandurra
:
XSA: eXplainable Self-Adaptation. ASE 2022: 189:1-189:5 - [c30]Barbara Russo, Matteo Camilli
, Moritz Mock
:
WeakSATD: Detecting Weak Self-admitted Technical Debt. MSR 2022: 448-453 - [c29]Matteo Camilli
, Raffaela Mirandola, Patrizia Scandurra:
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging. SEAMS 2022: 25-35 - [i8]Barbara Russo, Matteo Camilli, Moritz Mock
:
WeakSATD: Detecting Weak Self-admitted Technical Debt. CoRR abs/2205.02208 (2022) - 2021
- [j4]Matteo Camilli
, Lorenzo Capra:
Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. 31(4): 609-657 (2021) - [c28]Matteo Camilli
, Raffaela Mirandola
, Patrizia Scandurra:
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems. ACSOS 2021: 71-80 - [c27]Alberto Avritzer, Matteo Camilli
, Andrea Janes, Barbara Russo, Jasmin Jahic, André van Hoorn, Ricardo Britto, Catia Trubiani:
PPTAMλ: What, Where, and How of Cross-domain Scalability Assessment. ICSA Companion 2021: 62-69 - [c26]Matteo Camilli
, Michael Felderer, Andrea Giusti
, Dominik T. Matt, Anna Perini, Barbara Russo, Angelo Susi:
Towards Risk Modeling for Collaborative AI. WAIN@ICSE 2021: 51-54 - [c25]Matteo Camilli
, Angelo Gargantini, Patrizia Scandurra
, Catia Trubiani:
Uncertainty-aware Exploration in Model-based Testing. ICST 2021: 71-81 - [c24]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: 123-130 - [c23]Sandeep Gupta
, Matteo Camilli
, Maria Papaioannou:
Provenance Navigator: Towards More Usable Privacy and Data Management Strategies for Smart Apps. STAST 2021: 24-42 - [c22]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: 61-72 - [i7]Matteo Camilli, Michael Felderer, Andrea Giusti, Dominik T. Matt, Anna Perini, Barbara Russo, Angelo Susi:
Towards Risk Modeling for Collaborative AI. CoRR abs/2103.07460 (2021) - [i6]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 abs/2112.00740 (2021) - 2020
- [j3]Matteo Camilli
, Angelo Gargantini
, Patrizia Scandurra
:
Model-based hypothesis testing of uncertain software systems. Softw. Test. Verification Reliab. 30(2) (2020) - [c21]Matteo Camilli
:
Continuous Formal Verification of Microservice-Based Process Flows. ECSA Companion 2020: 420-435 - [c20]Matteo Camilli
, Carmine Colarusso
, Barbara Russo, Eugenio Zimeo:
Domain Metric Driven Decomposition of Data-Intensive Applications. ISSRE Workshops 2020: 189-196 - [c19]Matteo Camilli
, Barbara Russo
:
Model-Based Testing Under Parametric Variability of Uncertain Beliefs. SEFM 2020: 175-192
2010 – 2019
- 2019
- [c18]Matteo Camilli
, Lorenzo Capra
, Carlo Bellettini
:
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. Petri Nets 2019: 80-90 - [c17]Lorenzo Capra
, Matteo Camilli
:
Emulating Self-adaptive Stochastic Petri Nets. EPEW 2019: 33-49 - [c16]Matteo Camilli
, Angelo Gargantini
, Rosario Madaudo, Patrizia Scandurra
:
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. IFM 2019: 495-503 - [c15]Lorenzo Capra, Matteo Camilli:
Formalizing distributed self-adaptive systems using high-level petri nets. SummerSim 2019: 28:1-28:12 - 2018
- [j2]Matteo Camilli
, Angelo Gargantini
, Patrizia Scandurra
:
Zone-based formal specification and timing analysis of real-time self-adaptive systems. Sci. Comput. Program. 159: 28-57 (2018) - [c14]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
:
A high-level petri net-based formal model of distributed self-adaptive systems. ECSA (Companion) 2018: 40:1-40:7 - [c13]Matteo Camilli
, Carlo Bellettini
, Angelo Gargantini
, Patrizia Scandurra
:
Online Model-Based Testing under Uncertainty. ISSRE 2018: 36-46 - [c12]Lorenzo Capra
, Matteo Camilli
:
A Symmetric Nets Emulator for Adaptive P/T Nets. SYNASC 2018: 183-190 - 2017
- [c11]Matteo Camilli
, Angelo Gargantini
, Patrizia Scandurra
, Carlo Bellettini
:
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. NFM 2017: 115-130 - [c10]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
:
Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). SEFM Workshops 2017: 168-173 - [c9]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
A Formal Framework for Specifying and Verifying Microservices Based Process Flows. SEFM Workshops 2017: 187-202 - [c8]Matteo Camilli
, Angelo Gargantini
, Patrizia Scandurra
, Carlo Bellettini
:
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). SEFM 2017: 375-381 - 2016
- [j1]Carlo Bellettini
, Matteo Camilli
, Lorenzo Capra
, Mattia Monga
:
Distributed CTL model checking using MapReduce: theory and practice. Concurr. Comput. Pract. Exp. 28(11): 3025-3041 (2016) - [c7]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. SYNASC 2016: 165-172 - 2015
- [c6]Matteo Camilli
, Angelo Gargantini, Patrizia Scandurra
:
Specifying and verifying real-time self-adaptive systems. ISSRE 2015: 303-313 - 2014
- [c5]Matteo Camilli
:
Formal verification problems in a big data world: towards a mighty synergy. ICSE Companion 2014: 638-641 - [c4]Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
CTL Model Checking in the Cloud Using MapReduce. SYNASC 2014: 333-340 - [i5]Matteo Camilli:
Verification of Reachability Problems for Time Basic Petri Nets. CoRR abs/1409.2778 (2014) - [i4]Matteo Camilli:
Constructing Coverability Graphs for Time Basic Petri Nets. CoRR abs/1409.6253 (2014) - 2013
- [c3]Carlo Bellettini
, Matteo Camilli
, Lorenzo Capra
, Mattia Monga
:
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters. RP 2013: 83-95 - [i3]Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
:
Distributed CTL Model Checking in the Cloud. CoRR abs/1310.6670 (2013) - 2012
- [c2]Matteo Camilli
:
Petri nets state space analysis in the cloud. ICSE 2012: 1638-1640 - [c1]Carlo Bellettini
, Matteo Camilli
, Lorenzo Capra
, Mattia Monga
:
Symbolic State Space Exploration of RT Systems in the Cloud. SYNASC 2012: 295-302 - [i2]Matteo Camilli:
Preserving Co-Location Privacy in Geo-Social Networks. CoRR abs/1203.3946 (2012) - [i1]Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
:
State Space Exploration of RT Systems in the Cloud. CoRR abs/1203.6806 (2012)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint