default search action
Matteo Camilli
Person information
- affiliation: Politecnico di Milano, Milan, Italy
- affiliation (former): Free University of Bozen-Bolzano, Italy
Refine list
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
RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications. SEAMS@ICSE 2024: 161-167 - [c44]Francesco Renato Negri
Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine Learning. SEAMS@ICSE 2024: 189-199 - 2023
- [j12]Patrizia Scandurra, Matteo Camilli
Special issue on Architecting Dependable Multi-paradigm Computing Systems. Computing 105(9): 1847 (2023) - [j11]Matteo Camilli
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
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
Impact of Architectural Smells on Software Performance: an Exploratory Study. EASE 2023: 22-31 - [c42]Marcello M. Bersani, Matteo Camilli
Architecting Explainable Service Robots. ECSA 2023: 153-169 - [c41]Marcello M. Bersani, Matteo Camilli
Towards Better Trust in Human-Machine Teaming through Explainable Dependability. ICSA-C 2023: 86-90 - [c40]Marcello M. Bersani, Matteo Camilli
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. FormaliSE 2023: 18-28 - [c39]Vincenzo Riccio, Giancarlo Sorrentino, Matteo Camilli
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
Assessment of Aging and Rejuvenation for Resiliency in Heterogeneous Network Clusters. ISSREW 2023: 198-205 - [c37]Jubril Gbolahan Adigun, Tom Philip Huck, Matteo Camilli
Risk-driven Online Testing and Test Case Diversity Analysis for ML-enabled Critical Systems. ISSRE 2023: 344-354 - [c36]Marcello M. Bersani, Matteo Camilli
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. REW 2023: 309-315 - [c35]Alberto Avritzer
WEPPE'23 Workshop Chairs' Welcome. ICPE (Companion) 2023: 337 - 2022
- [j9]Jubril Gbolahan Adigun
Collaborative Artificial Intelligence Needs Stronger Assurances Driven by Risks. Computer 55(3): 52-63 (2022) - [j8]Matteo Camilli
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
Modeling Performance of Microservices Systems with Growth Theory. Empir. Softw. Eng. 27(2): 39 (2022) - [j6]Matteo Camilli
Automated test-based learning and verification of performance models for microservices systems. J. Syst. Softw. 187: 111225 (2022) - [j5]Alberto Avritzer, Ricardo Britto
Scalability testing automation using multivariate characterization and detection of software performance antipatterns. J. Syst. Softw. 193: 111446 (2022) - [c34]Matteo Camilli
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
XSA: eXplainable Self-Adaptation. ASE 2022: 189:1-189:5 - [c30]Barbara Russo, Matteo Camilli
WeakSATD: Detecting Weak Self-admitted Technical Debt. MSR 2022: 448-453 - [c29]Matteo Camilli
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
Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Discret. Event Dyn. Syst. 31(4): 609-657 (2021) - [c28]Matteo Camilli
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems. ACSOS 2021: 71-80 - [c27]Alberto Avritzer, Matteo Camilli
PPTAMλ: What, Where, and How of Cross-domain Scalability Assessment. ICSA Companion 2021: 62-69 - [c26]Matteo Camilli
Towards Risk Modeling for Collaborative AI. WAIN@ICSE 2021: 51-54 - [c25]Matteo Camilli
Uncertainty-aware Exploration in Model-based Testing. ICST 2021: 71-81 - [c24]Matteo Camilli
Risk-Driven Compliance Assurance for Collaborative AI Systems: A Vision Paper. REFSQ 2021: 123-130 - [c23]Sandeep Gupta
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
A Multivariate Characterization and Detection of Software Performance Antipatterns. ICPE 2021: 61-72 - [d1]Matteo Camilli
[dataset] Runtime Equilibrium Verification for Resilient Cyber-physical Systems. Zenodo, 2021 - [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
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
Domain Metric Driven Decomposition of Data-Intensive Applications. ISSRE Workshops 2020: 189-196 - [c19]Matteo Camilli
Model-Based Testing Under Parametric Variability of Uncertain Beliefs. SEFM 2020: 175-192
2010 – 2019
- 2019
- [c18]Matteo Camilli
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. Petri Nets 2019: 80-90 - [c17]Lorenzo Capra
Emulating Self-adaptive Stochastic Petri Nets. EPEW 2019: 33-49 - [c16]Matteo Camilli
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
Zone-based formal specification and timing analysis of real-time self-adaptive systems. Sci. Comput. Program. 159: 28-57 (2018) - [c14]Matteo Camilli
A high-level petri net-based formal model of distributed self-adaptive systems. ECSA (Companion) 2018: 40:1-40:7 - [c13]Matteo Camilli
Online Model-Based Testing under Uncertainty. ISSRE 2018: 36-46 - [c12]Lorenzo Capra
A Symmetric Nets Emulator for Adaptive P/T Nets. SYNASC 2018: 183-190 - 2017
- [c11]Matteo Camilli
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. NFM 2017: 115-130 - [c10]Matteo Camilli
Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). SEFM Workshops 2017: 168-173 - [c9]Matteo Camilli
A Formal Framework for Specifying and Verifying Microservices Based Process Flows. SEFM Workshops 2017: 187-202 - [c8]Matteo Camilli
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). SEFM 2017: 375-381 - 2016
- [j1]Carlo Bellettini
Distributed CTL model checking using MapReduce: theory and practice. Concurr. Comput. Pract. Exp. 28(11): 3025-3041 (2016) - [c7]Matteo Camilli
Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. SYNASC 2016: 165-172 - 2015
- [c6]Matteo Camilli
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
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
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
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
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-10-12 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: