Melani, B., Bartocci, E., & Chiari, M. (2025). A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators. ACM Transactions on Embedded Computing Systems, 24(5s), 1–26. https://doi.org/10.1145/3759917 ( reposiTUm)

Chiari, M., Mandrioli, D., & Pradella, M. (2025). Cyclic operator precedence grammars for parallel parsing. Information and Computation, 307, Article 105363. https://doi.org/10.1016/j.ic.2025.105363 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)