Matteo Camilli

Available identifiers

Publication	Date of Publication	Type
Appendix for the paper "Assessment of Aging and Rejuvenation for Resiliency in Heterogeneous Network Clusters"	2023-07-27	Dataset
[Replication Package] Impact of Architectural Smells on Software Performance	2023-01-20	Dataset
Formal specification and verification of decentralized self-adaptive systems using symmetric nets	2022-01-10	Paper
A formal framework for specifying and verifying microservices based process flows	2021-05-26	Paper
[dataset] Runtime Equilibrium Verification for Resilient Cyber-physical Systems	2021-05-04	Dataset
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters	2014-07-07	Paper

This page was built for person: Matteo Camilli