Matteo Camilli
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Discrete Event Dynamic Systems | 2022-01-10 | Paper |
| A formal framework for specifying and verifying microservices based process flows Software Engineering and Formal Methods | 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 Lecture Notes in Computer Science | 2014-07-07 | Paper |
Research outcomes over time
This page was built for person: Matteo Camilli
