CHIARI, MICHELE
CHIARI, MICHELE
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES
2022-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
A Model Checker for Operator Precedence Languages
2023-01-01 Chiari, M.; Mandrioli, D.; Pontiggia, F.; Pradella, M.
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
2021-01-01 Bagnara, R.; Chiari, M.; Gori, R.; Bagnara, A.
Dynamic Precision Autotuning with TAFFO
2020-01-01 Cherubin, S.; Cattaneo, D.; Chiari, M.; Agosta, G.
FixM: Code generation of fixed point mathematical functions
2021-01-01 Cattaneo, Daniele; Chiari, Michele; Magnani, Gabriele; Fossati, Nicola; Cherubin, Stefano; Agosta, Giovanni
Operator precedence temporal logic and model checking
2020-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
TAFFO: The compiler-based precision tuner
2022-01-01 Cattaneo, Daniele; Chiari, Michele; Agosta, Giovanni; Cherubin, Stefano
TAFFO: Tuning Assistant for Floating to Fixed point Optimization
2020-01-01 Cherubin, S.; Cattaneo, D.; Chiari, M.; Di Bello, A.; Agosta, G.