| 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 | 38 | 2019 |
| 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 | 28 | 2020 |
| 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 | 18 | 2022 |
| 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 | 14 | 2021 |
| Operator precedence temporal logic and model checking M Chiari, D Mandrioli, M Pradella Theoretical Computer Science 848, 47-81, 2020 | 14 | 2020 |
| Model-checking structured context-free languages M Chiari, D Mandrioli, M Pradella International Conference on Computer Aided Verification, 387-410, 2021 | 10 | 2021 |
| 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 | 10 | 2018 |
| DOML: a new modelling approach to infrastructure-as-code M Chiari, B Xiang, GN Nedeltcheva, E Di Nitto, L Blasi, D Benedetto, ... International Conference on Advanced Information Systems Engineering, 297-313, 2023 | 9 | 2023 |
| TAFFO: The compiler-based precision tuner D Cattaneo, M Chiari, G Agosta, S Cherubin SoftwareX 20, 101238, 2022 | 9 | 2022 |
| 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 | 9 | 2021 |
| 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 | 7 | 2022 |
| 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 | 6 | 2022 |
| A first-order complete temporal logic for structured context-free languages M Chiari, D Mandrioli, M Pradella Logical Methods in Computer Science 18, 2022 | 5 | 2022 |
| 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 | 5 | 2021 |
| 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 | 5 | 2021 |
| 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 | 4 | 2023 |
| 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 | 4 | 2020 |
| 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 | 3 | 2020 |
| Cyclic Operator Precedence Grammars for Parallel Parsing M Chiari, D Mandrioli, M Pradella arXiv preprint arXiv:2309.04200, 2023 | 2 | 2023 |
| 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 | 2 | 2020 |
Giovanni AgostaPolitecnico di Milano, ItalyEmail verificata su elet.polimi.it
