Michele Chiari

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 34

Top Topics

Mazurkiewicz Traces

Top Venues

PARMA-DITAM@HiPEAC

Publications

Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
SMT-based Symbolic Model-Checking for Operator Precedence Languages. CoRR (2024)
Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
SMT-Based Symbolic Model-Checking for Operator Precedence Languages. CAV (1) (2024)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Cyclic Operator Precedence Grammars for Improved Parallel Parsing. DLT (2024)
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
Model Checking Recursive Probabilistic Programs with Conditioning. CoRR (2024)
Michele Chiari, Bin Xiang, Sergio Canzoneri, Galia Novakova Nedeltcheva, Elisabetta Di Nitto, Lorenzo Blasi, Debora Benedetto, Laurentiu Niculut, Igor Skof
DOML: A new modeling approach to Infrastructure-as-Code. Inf. Syst. 125 (2024)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Cyclic Operator Precedence Grammars for Parallel Parsing. CoRR (2023)
Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
A Model Checker for Operator Precedence Languages. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Michele Chiari, Bin Xiang, Galia Novakova Nedeltcheva, Elisabetta Di Nitto, Lorenzo Blasi, Debora Benedetto, Laurentiu Niculut
DOML: A New Modelling Approach to Infrastructure-as-Code. CAiSE (2023)
Michele Chiari, Michele De Pascalis, Matteo Pradella
Static Analysis of Infrastructure as Code: a Survey. CoRR (2022)
Michele Chiari, Michele De Pascalis, Matteo Pradella
Static Analysis of Infrastructure as Code: a Survey. ICSA Companion (2022)
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
Correct approximation of IEEE 754 floating-point arithmetic for program verification. Constraints An Int. J. 27 (1-2) (2022)
Michele Chiari, Dino Mandrioli, Matteo Pradella
A First-Order Complete Temporal Logic for Structured Context-Free Languages. Log. Methods Comput. Sci. 18 (3) (2022)
Michele Chiari, Elisabetta Di Nitto, Adrián Noguero Mucientes, Bin Xiang
Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code. ESOCC Workshops (2022)
Daniele Cattaneo, Michele Chiari, Giovanni Agosta, Stefano Cherubin
TAFFO: The compiler-based precision tuner. SoftwareX 20 (2022)
Daniele Cattaneo, Michele Chiari, Nicola Fossati, Stefano Cherubin, Giovanni Agosta
Architecture-aware Precision Tuning with Multiple Number Representation Systems. DAC (2021)
Gabriele Magnani, Daniele Cattaneo, Michele Chiari, Giovanni Agosta
The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control. PARMA-DITAM@HiPEAC (2021)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Model-Checking Structured Context-Free Languages. CAV (2) (2021)
Michele Chiari, Dino Mandrioli, Matteo Pradella
A First-Order Complete Temporal Logic for Structured Context-Free Languages. CoRR (2021)
Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions. ACM Trans. Softw. Eng. Methodol. 30 (1) (2021)
Daniele Cattaneo, Michele Chiari, Gabriele Magnani, Nicola Fossati, Stefano Cherubin, Giovanni Agosta
FixM: Code generation of fixed point mathematical functions. Sustain. Comput. Informatics Syst. 29 (Part) (2021)
Francesco Pontiggia, Michele Chiari, Matteo Pradella
Verification of Programs with Exceptions Through Operator Precedence Automata. SEFM (2021)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Operator precedence temporal logic and model checking. Theor. Comput. Sci. 848 (2020)
Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella
Linear Temporal Logics for Structured Context-Free Languages. ICTCS (2020)
Stefano Cherubin, Daniele Cattaneo, Michele Chiari, Antonio Di Bello, Giovanni Agosta
TAFFO: Tuning Assistant for Floating to Fixed Point Optimization. IEEE Embed. Syst. Lett. 12 (1) (2020)
Stefano Cherubin, Daniele Cattaneo, Michele Chiari, Giovanni Agosta
Dynamic Precision Autotuning with TAFFO. ACM Trans. Archit. Code Optim. 17 (2) (2020)
Nicola Fossati, Daniele Cattaneo, Michele Chiari, Stefano Cherubin, Giovanni Agosta
Automated Precision Tuning in Activity Classification Systems: A Case Study. PARMA-DITAM@HiPEAC (2020)
Michele Chiari, Dino Mandrioli, Matteo Pradella
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages. CoRR (2019)
Michele Chiari
Temporal Logic for Operator Precedence Words (text not included). ICTCS (2019)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Word- and Tree-based Temporal Logics for Operator Precedence Languages. ICTCS (2019)
Daniele Cattaneo, Antonio Di Bello, Michele Chiari, Stefano Cherubin, Giovanni Agosta
Fixed point exploitation via compiler analyses and transformations: POSTER. CF (2019)
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification. CoRR (2019)
Daniele Cattaneo, Michele Chiari, Stefano Cherubin, Antonio Di Bello, Giovanni Agosta
Feedback-Driven Performance and Precision Tuning for Automatic Fixed Point Exploitation. PARCO (2019)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Temporal Logic and Model Checking for Operator Precedence Languages. GandALF (2018)
Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara
A Practical Approach to Interval Refinement for math.h/cmath Functions. CoRR (2016)