Michele Chiari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | POPACheck: A Model Checker for Probabilistic Pushdown Automata. | Francesco Pontiggia, Ezio Bartocci, Michele Chiari |
| 2025 | SLE | Boosting Parallel Parsing through Cyclic Operator Precedence Grammars. | Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella |
| 2024 | CAV | SMT-Based Symbolic Model-Checking for Operator Precedence Languages. | Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella |
| 2024 | DLT | Cyclic Operator Precedence Grammars for Improved Parallel Parsing. | Michele Chiari, Dino Mandrioli, Matteo Pradella |
| 2023 | CaiSE | DOML: A New Modelling Approach to Infrastructure-as-Code. | Michele Chiari, Bin Xiang, Galia Novakova Nedeltcheva, Elisabetta Di Nitto, Lorenzo Blasi, Debora Benedetto, Laurentiu Niculut |
| 2022 | ICSA | Static Analysis of Infrastructure as Code: a Survey. | Michele Chiari, Michele De Pascalis, Matteo Pradella |
| 2021 | CAV | Model-Checking Structured Context-Free Languages. | Michele Chiari, Dino Mandrioli, Matteo Pradella |
| 2021 | DAC | Architecture-aware Precision Tuning with Multiple Number Representation Systems. | Daniele Cattaneo, Michele Chiari, Nicola Fossati, Stefano Cherubin, Giovanni Agosta |
| 2021 | SEFM | Verification of Programs with Exceptions Through Operator Precedence Automata. | Francesco Pontiggia, Michele Chiari, Matteo Pradella |