A Practical Approach to Interval Refinement for math.h/cmath Functions. - Roberto Bagnara; Michele Chiari; Roberta Gori; Abramo Bagnara (CoRR, 2016)

Temporal Logic and Model Checking for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (GandALF, 2018)

Fixed point exploitation via compiler analyses and transformations: POSTER. - Daniele Cattaneo 002; Antonio Di Bello; Michele Chiari; Stefano Cherubin; Giovanni Agosta (CF, 2019)

Temporal Logic for Operator Precedence Words (text not included). - Michele Chiari (ICTCS, 2019)

Word- and Tree-based Temporal Logics for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (ICTCS, 2019)

Feedback-Driven Performance and Precision Tuning for Automatic Fixed Point Exploitation. - Daniele Cattaneo 002; Michele Chiari; Stefano Cherubin; Antonio Di Bello; Giovanni Agosta (PARCO, 2019)

POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (CoRR, 2019)

Automated Precision Tuning in Activity Classification Systems: A Case Study. - Nicola Fossati; Daniele Cattaneo 002; Michele Chiari; Stefano Cherubin; Giovanni Agosta (PARMA-DITAM@HiPEAC, 2020)

Linear Temporal Logics for Structured Context-Free Languages. - Michele Chiari; Davide Bergamaschi; Dino Mandrioli; Matteo Pradella (ICTCS, 2020)

TAFFO: Tuning Assistant for Floating to Fixed Point Optimization. - Stefano Cherubin; Daniele Cattaneo 002; Michele Chiari; Antonio Di Bello; Giovanni Agosta (IEEE Embed. Syst. Lett., 2020)

Dynamic Precision Autotuning with TAFFO. - Stefano Cherubin; Daniele Cattaneo 002; Michele Chiari; Giovanni Agosta (ACM Trans. Archit. Code Optim., 2020)

Operator precedence temporal logic and model checking. - Michele Chiari; Dino Mandrioli; Matteo Pradella (Theor. Comput. Sci., 2020)

Model-Checking Structured Context-Free Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (CAV (2), 2021)

Architecture-aware Precision Tuning with Multiple Number Representation Systems. - Daniele Cattaneo 002; Michele Chiari; Nicola Fossati; Stefano Cherubin; Giovanni Agosta (DAC, 2021)

The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control. - Gabriele Magnani; Daniele Cattaneo 002; Michele Chiari; Giovanni Agosta (PARMA-DITAM@HiPEAC, 2021)

Verification of Programs with Exceptions Through Operator Precedence Automata. - Francesco Pontiggia; Michele Chiari; Matteo Pradella (SEFM, 2021)

FixM: Code generation of fixed point mathematical functions. - Daniele Cattaneo 002; Michele Chiari; Gabriele Magnani; Nicola Fossati; Stefano Cherubin; Giovanni Agosta (Sustain. Comput. Informatics Syst., 2021)

A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions. - Roberto Bagnara; Michele Chiari; Roberta Gori; Abramo Bagnara (ACM Trans. Softw. Eng. Methodol., 2021)

Temporal logic and model checking for operator precedence languages: theory and applications. - Michele Chiari (2021)

Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code. - Michele Chiari; Elisabetta Di Nitto; Adrián Noguero Mucientes; Bin Xiang (ESOCC Workshops, 2022)

Static Analysis of Infrastructure as Code: a Survey. - Michele Chiari; Michele De Pascalis; Matteo Pradella (ICSA Companion, 2022)

Correct approximation of IEEE 754 floating-point arithmetic for program verification. - Roberto Bagnara; Abramo Bagnara; Fabio Biselli; Michele Chiari; Roberta Gori (Constraints An Int. J., 2022)

A First-Order Complete Temporal Logic for Structured Context-Free Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (Log. Methods Comput. Sci., 2022)

TAFFO: The compiler-based precision tuner. - Daniele Cattaneo 002; Michele Chiari; Giovanni Agosta; Stefano Cherubin (SoftwareX, 2022)

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 (CAiSE, 2023)

Cyclic Operator Precedence Grammars for Parallel Parsing. - Michele Chiari; Dino Mandrioli; Matteo Pradella (CoRR, 2023)

A Model Checker for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Francesco Pontiggia; Matteo Pradella (ACM Trans. Program. Lang. Syst., 2023)

SMT-Based Symbolic Model-Checking for Operator Precedence Languages. - Michele Chiari; Luca Geatti; Nicola Gigante; Matteo Pradella (CAV (1), 2024)

Cyclic Operator Precedence Grammars for Improved Parallel Parsing. - Michele Chiari; Dino Mandrioli; Matteo Pradella (DLT, 2024)

Model Checking Recursive Probabilistic Programs with Conditioning. - Francesco Pontiggia; Ezio Bartocci; Michele Chiari (CoRR, 2024)

DOML: A new modeling approach to Infrastructure-as-Code. - Michele Chiari; Bin Xiang; Sergio Canzoneri; Galia Novakova Nedeltcheva; Elisabetta Di Nitto; Lorenzo Blasi; Debora Benedetto; Laurentiu Niculut; Igor Skof (Inf. Syst., 2024)

POPACheck: A Model Checker for Probabilistic Pushdown Automata. - Francesco Pontiggia; Ezio Bartocci; Michele Chiari (CAV (2), 2025)

Decentralized Planning Using Probabilistic Hyperproperties. - Francesco Pontiggia; Filip Macák; Roman Andriushchenko; Michele Chiari; Milan Ceska 002 (AAMAS, 2025)

Boosting Parallel Parsing through Cyclic Operator Precedence Grammars. - Michele Chiari; Michele Giornetta; Dino Mandrioli; Matteo Pradella (SLE, 2025)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators. - Beatrice Melani; Ezio Bartocci; Michele Chiari (CoRR, 2025)