Michele Chiari
Projektass. / PhD
Role
-
PostDoc Researcher
Cyber-Physical Systems, E191-01
Projects
-
COntext-free model checking for Recursive PrObabilistic pRogrAms
2023 – 2025 / European Commission
Publications
-
DOML: A New Modelling Approach to Infrastructure-as-Code
/
Chiari, M., Xiang, B., Nedeltcheva, G. N., Di Nitto, E., Blasi, L., Benedetto, D., & Niculut, L. (2023). DOML: A New Modelling Approach to Infrastructure-as-Code. In M. Indulska, I. Reinhartz-Berger, C. Cetina, & O. Pastor (Eds.), Advanced Information Systems Engineering : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings (pp. 297–313). Springer. https://doi.org/10.1007/978-3-031-34560-9_18
Download: Full-text (748 KB)