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

  • POPACheck: A Model Checker for Probabilistic Pushdown Automata / Pontiggia, F., Bartocci, E., & Chiari, M. (2025). POPACheck: A Model Checker for Probabilistic Pushdown Automata. In R. Piskac & Z. Rakamaric (Eds.), Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II (pp. 105–121). Springer. https://doi.org/10.1007/978-3-031-98679-6_5
    Projects: CORPORA (2023–2025) / ProbInG (2020–2025) / TAIGER (2023–2027)
  • Decentralized Planning Using Probabilistic Hyperproperties / Pontiggia, F., Macák, F., Andriushchenko, R., Michele Chiari, & Češka, M. (2025). Decentralized Planning Using Probabilistic Hyperproperties. In S. Das, A. Nowé, & Y. Vorobeychik (Eds.), AAMAS ’25 : Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (pp. 1688–1697). International Foundation for Autonomous Agents and Multiagent Systems. https://doi.org/10.34726/10423
    Download: Full text (1.13 MB)
    Projects: CORPORA (2023–2025) / TAIGER (2023–2027) / VASSAL (2024–2027)
  • Boosting Parallel Parsing through Cyclic Operator Precedence Grammars / Chiari, M., Giornetta, M., Mandrioli, D., & Pradella, M. (2025). Boosting Parallel Parsing through Cyclic Operator Precedence Grammars. In SLE ’25 : Proceedings of the SLE 2025 : 18th ACM SIGPLAN International Conference on Software Language Engineering (pp. 44–56). Association for Computing Machinery. https://doi.org/10.1145/3732771.3742712
    Download: PDF (823 KB)
    Project: CORPORA (2023–2025)
  • 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)
  • 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
    Download: PDF (479 KB)
  • 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)
  • 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)