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
-
A model checker for operator precedence languages
/
Chiari, M., Mandrioli, D., Pontiggia, F., & Pradella, M. (2023). A model checker for operator precedence languages. ACM Transactions on Programming Languages and Systems, 45(3), 1–66. https://doi.org/10.1145/3608443
Download: PDF (2.95 MB)
Project: ProbInG (2020–2025) -
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)