Michele Chiari

According to our database, Michele Chiari authored at least 27 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Model Checker for Operator Precedence Languages.

Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella

ACM Trans. Program. Lang. Syst., September, 2023

Cyclic Operator Precedence Grammars for Parallel Parsing.

Michele Chiari, Dino Mandrioli, Matteo Pradella

CoRR, 2023

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

Proceedings of the Advanced Information Systems Engineering, 2023

2022

TAFFO: The compiler-based precision tuner.

Daniele Cattaneo, Michele Chiari, Giovanni Agosta, Stefano Cherubin

SoftwareX, December, 2022

A First-Order Complete Temporal Logic for Structured Context-Free Languages.

Michele Chiari, Dino Mandrioli, Matteo Pradella

Log. Methods Comput. Sci., 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

Static Analysis of Infrastructure as Code: a Survey.

Michele Chiari, Michele De Pascalis, Matteo Pradella

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

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

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2022

2021

Temporal logic and model checking for operator precedence languages: theory and applications.

Michele Chiari

PhD thesis, 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

FixM: Code generation of fixed point mathematical functions.

Daniele Cattaneo, Michele Chiari, Gabriele Magnani, Nicola Fossati, Stefano Cherubin, Giovanni Agosta

Sustain. Comput. Informatics Syst., 2021

Verification of Programs with Exceptions Through Operator Precedence Automata.

Francesco Pontiggia, Michele Chiari, Matteo Pradella

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control.

Gabriele Magnani, Daniele Cattaneo, Michele Chiari, Giovanni Agosta

Proceedings of the 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2021

Architecture-aware Precision Tuning with Multiple Number Representation Systems.

Daniele Cattaneo, Michele Chiari, Nicola Fossati, Stefano Cherubin, Giovanni Agosta

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Model-Checking Structured Context-Free Languages.

Michele Chiari, Dino Mandrioli, Matteo Pradella

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Operator precedence temporal logic and model checking.

Michele Chiari, Dino Mandrioli, Matteo Pradella

Theor. Comput. Sci., 2020

Dynamic Precision Autotuning with TAFFO.

Stefano Cherubin, Daniele Cattaneo, Michele Chiari, Giovanni Agosta

ACM Trans. Archit. Code Optim., 2020

TAFFO: Tuning Assistant for Floating to Fixed Point Optimization.

Stefano Cherubin, Daniele Cattaneo, Michele Chiari, Antonio Di Bello, Giovanni Agosta

IEEE Embed. Syst. Lett., 2020

Linear Temporal Logics for Structured Context-Free Languages.

Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

Automated Precision Tuning in Activity Classification Systems: A Case Study.

Nicola Fossati, Daniele Cattaneo, Michele Chiari, Stefano Cherubin, Giovanni Agosta

Proceedings of the 11th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures / 9th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2020

2019

POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages.

Michele Chiari, Dino Mandrioli, Matteo Pradella

CoRR, 2019

Feedback-Driven Performance and Precision Tuning for Automatic Fixed Point Exploitation.

Daniele Cattaneo, Michele Chiari, Stefano Cherubin, Antonio Di Bello, Giovanni Agosta

Proceedings of the Parallel Computing: Technology Trends, 2019

Word- and Tree-based Temporal Logics for Operator Precedence Languages.

Michele Chiari, Dino Mandrioli, Matteo Pradella

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Temporal Logic for Operator Precedence Words (text not included).

Michele Chiari

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Fixed point exploitation via compiler analyses and transformations: POSTER.

Daniele Cattaneo, Antonio Di Bello, Michele Chiari, Stefano Cherubin, Giovanni Agosta

Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

2018

Temporal Logic and Model Checking for Operator Precedence Languages.

Michele Chiari, Dino Mandrioli, Matteo Pradella

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

2016

A Practical Approach to Interval Refinement for math.h/cmath Functions.

Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara

CoRR, 2016