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.
Architecture-aware Precision Tuning with Multiple Number Representation Systems
2021-01-01 Cattaneo, Daniele; Chiari, Michele; Fossati, Nicola; Cherubin, Stefano; Agosta, Giovanni
Automated Precision Tuning in Activity Classification Systems: A Case Study
2020-01-01 Fossati, Nicola; Cattaneo, Daniele; Chiari, Michele; Cherubin, Stefano; Agosta, Giovanni
Cyclic Operator Precedence Grammars for Improved Parallel Parsing
2024-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code
2022-01-01 Chiari, M.; Di Nitto, E.; Mucientes, A. N.; Xiang, B.
DOML: A New Modelling Approach to Infrastructure-as-Code
2023-01-01 Chiari, Michele; Xiang, Bin; Nedeltcheva, GALIA NOVAKOVA; DI NITTO, Elisabetta; Blasi, Lorenzo; Benedetto, Debora; Niculut, Laurentiu
Dynamic Precision Autotuning with TAFFO
2020-01-01 Cherubin, S.; Cattaneo, D.; Chiari, M.; Agosta, G.
Feedback-driven performance and precision tuning for automatic fixed point exploitation
2019-01-01 Cattaneo, D.; Chiari, M.; Cherubin, S.; Di Bello, A.; 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
Linear temporal logics for structured context-free languages
2020-01-01 Chiari, M.; Bergamaschi, D.; Mandrioli, D.; Pradella, M.
Model-Checking Structured Context-Free Languages
2021-01-01 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo
Operator precedence temporal logic and model checking
2020-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
POSTER: Fixed Point Exploitation via Compiler Analyses and Transformations
2019-01-01 Cattaneo, D.; Di Bello, A.; Chiari, M.; Cherubin, S.; Agosta, G.
SMT-Based Symbolic Model-Checking for Operator Precedence Languages
2024-01-01 Chiari, M.; Geatti, L.; Gigante, N.; Pradella, M.
Static Analysis of Infrastructure as Code: A Survey
2022-01-01 Chiari, M.; De Pascalis, M.; 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.
Temporal Logic and Model Checking for Operator Precedence Languages
2018-01-01 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo