Follow
Michele Chiari
Michele Chiari
Postdoc, TU Wien
Verified email at tuwien.ac.at - Homepage
Title
Cited by
Cited by
Year
TAFFO: Tuning assistant for floating to fixed point optimization
S Cherubin, D Cattaneo, M Chiari, A Di Bello, G Agosta
IEEE Embedded Systems Letters 12 (1), 5-8, 2019
382019
Dynamic precision autotuning with TAFFO
S Cherubin, D Cattaneo, M Chiari, G Agosta
ACM Transactions on Architecture and Code Optimization (TACO) 17 (2), 1-26, 2020
262020
Static analysis of infrastructure as code: a survey
M Chiari, M De Pascalis, M Pradella
2022 IEEE 19th International Conference on Software Architecture Companion …, 2022
162022
Operator precedence temporal logic and model checking
M Chiari, D Mandrioli, M Pradella
Theoretical Computer Science 848, 47-81, 2020
142020
Architecture-aware precision tuning with multiple number representation systems
D Cattaneo, M Chiari, N Fossati, S Cherubin, G Agosta
2021 58th ACM/IEEE Design Automation Conference (DAC), 673-678, 2021
132021
Model-checking structured context-free languages
M Chiari, D Mandrioli, M Pradella
International Conference on Computer Aided Verification, 387-410, 2021
102021
Temporal Logic and Model Checking for Operator Precedence Languages
M Chiari, D Mandrioli, M Pradella
Ninth International Symposium on Games, Automata, Logics, and Formal …, 2018
102018
FixM: Code generation of fixed point mathematical functions
D Cattaneo, M Chiari, G Magnani, N Fossati, S Cherubin, G Agosta
Sustainable Computing: Informatics and Systems 29, 100478, 2021
82021
DOML: a new modelling approach to infrastructure-as-code
M Chiari, B Xiang, S Canzoneri, GN Nedeltcheva, E Di Nitto, L Blasi, ...
Information Systems, 102422, 2024
72024
TAFFO: The compiler-based precision tuner
D Cattaneo, M Chiari, G Agosta, S Cherubin
SoftwareX 20, 101238, 2022
72022
Correct approximation of IEEE 754 floating-point arithmetic for program verification
R Bagnara, A Bagnara, F Biselli, M Chiari, R Gori
Constraints 27 (1), 29-69, 2022
62022
A first-order complete temporal logic for structured context-free languages
M Chiari, D Mandrioli, M Pradella
Logical Methods in Computer Science 18, 2022
52022
Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code
M Chiari, ED Nitto, AN Mucientes, B Xiang
European Conference on Service-Oriented and Cloud Computing, 88-93, 2022
52022
Verification of programs with exceptions through operator precedence automata
F Pontiggia, M Chiari, M Pradella
International Conference on Software Engineering and Formal Methods, 293-311, 2021
52021
The impact of precision tuning on embedded systems performance: A case study on field-oriented control
G Magnani, D Cattaneo, M Chiari, G Agosta
OPEN ACCESS SERIES IN INFORMATICS 88, 1-13, 2021
52021
Automated precision tuning in activity classification systems: A case study
N Fossati, D Cattaneo, M Chiari, S Cherubin, G Agosta
Proceedings of the 11th workshop on parallel programming and run-time …, 2020
42020
A model checker for operator precedence languages
M Chiari, D Mandrioli, F Pontiggia, M Pradella
ACM Transactions on Programming Languages and Systems 45 (3), 1-66, 2023
32023
Feedback-driven performance and precision tuning for automatic fixed point exploitation
D Cattaneo, M Chiari, S Cherubin, A Di Bello, G Agosta
Parallel Computing: Technology Trends, 299-308, 2020
32020
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
R Bagnara, M Chiari, R Gori, A Bagnara
ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (1), 1-53, 2020
22020
Linear temporal logics for structured context-free languages
M Chiari, D Bergamaschi, D Mandrioli, M Pradella
CEUR Workshop Proceedings 2756, 115-121, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20