TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Michele Chiari

Projektass. / PhD

Michele Chiari

Role

Contact

  • DOML: A new modeling approach to infrastructure-as-code / Chiari, M., Xiang, B., Canzoneri, S., Nedeltcheva, G. N., Di Nitto, E., Blasi, L., Benedetto, D., Niculut, L., & Škof, I. (2024). DOML: A new modeling approach to infrastructure-as-code. Information Systems, 125, Article 102422. https://doi.org/10.1016/j.is.2024.102422
    Download: Publisher's version (2.2 MB)
  • SMT-Based Symbolic Model-Checking for Operator Precedence Languages / Chiari, M., Geatti, L., Gigante, N., & Pradella, M. (2024). SMT-Based Symbolic Model-Checking for Operator Precedence Languages. In Computer Aided Verification (pp. 387–408). Springer, Cham. https://doi.org/10.1007/978-3-031-65627-9_19
    Download: PDF (530 KB)
  • Cyclic Operator Precedence Grammars for Improved Parallel Parsing / Chiari, M., Mandrioli, D., & Pradella, M. (2024). Cyclic Operator Precedence Grammars for Improved Parallel Parsing. In J. Day & F. Manea (Eds.), Developments in Language Theory (pp. 98–113). Springer, Cham. https://doi.org/10.1007/978-3-031-66159-4_8
  • 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)