default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichele Chiari
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j10]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: 102422 (2024)- [c16]Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella:
SMT-Based Symbolic Model-Checking for Operator Precedence Languages. CAV (1) 2024: 387-408 - [c15]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Cyclic Operator Precedence Grammars for Improved Parallel Parsing. DLT 2024: 98-113 - [i8]Francesco Pontiggia, Ezio Bartocci, Michele Chiari:
Model Checking Recursive Probabilistic Programs with Conditioning. CoRR abs/2404.03515 (2024) - [i7]Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella:
SMT-based Symbolic Model-Checking for Operator Precedence Languages. CoRR abs/2405.11327 (2024) - 2023
- [j9]Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella:
A Model Checker for Operator Precedence Languages. ACM Trans. Program. Lang. Syst. 45(3): 19:1-19:66 (2023) - [c14]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: 297-313 - [i6]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Cyclic Operator Precedence Grammars for Parallel Parsing. CoRR abs/2309.04200 (2023) - 2022
- [j8]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): 29-69 (2022) - [j7]Michele Chiari, Dino Mandrioli, Matteo Pradella:
A First-Order Complete Temporal Logic for Structured Context-Free Languages. Log. Methods Comput. Sci. 18(3) (2022) - [j6]Daniele Cattaneo, Michele Chiari, Giovanni Agosta, Stefano Cherubin:
TAFFO: The compiler-based precision tuner. SoftwareX 20: 101238 (2022) - [c13]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: 88-93 - [c12]Michele Chiari, Michele De Pascalis, Matteo Pradella:
Static Analysis of Infrastructure as Code: a Survey. ICSA Companion 2022: 218-225 - [i5]Michele Chiari, Michele De Pascalis, Matteo Pradella:
Static Analysis of Infrastructure as Code: a Survey. CoRR abs/2206.10344 (2022) - 2021
- [b1]Michele Chiari:
Temporal logic and model checking for operator precedence languages: theory and applications. Polytechnic University of Milan, Italy, 2021 - [j5]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): 100478 (2021) - [j4]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): 9:1-9:53 (2021) - [c11]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Model-Checking Structured Context-Free Languages. CAV (2) 2021: 387-410 - [c10]Daniele Cattaneo, Michele Chiari, Nicola Fossati, Stefano Cherubin, Giovanni Agosta:
Architecture-aware Precision Tuning with Multiple Number Representation Systems. DAC 2021: 673-678 - [c9]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: 3:1-3:13 - [c8]Francesco Pontiggia, Michele Chiari, Matteo Pradella:
Verification of Programs with Exceptions Through Operator Precedence Automata. SEFM 2021: 293-311 - [i4]Michele Chiari, Dino Mandrioli, Matteo Pradella:
A First-Order Complete Temporal Logic for Structured Context-Free Languages. CoRR abs/2105.10740 (2021) - 2020
- [j3]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): 5-8 (2020) - [j2]Stefano Cherubin, Daniele Cattaneo, Michele Chiari, Giovanni Agosta:
Dynamic Precision Autotuning with TAFFO. ACM Trans. Archit. Code Optim. 17(2): 10:1-10:26 (2020) - [j1]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Operator precedence temporal logic and model checking. Theor. Comput. Sci. 848: 47-81 (2020) - [c7]Nicola Fossati, Daniele Cattaneo, Michele Chiari, Stefano Cherubin, Giovanni Agosta:
Automated Precision Tuning in Activity Classification Systems: A Case Study. PARMA-DITAM@HiPEAC 2020: 5:1-5:6 - [c6]Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella:
Linear Temporal Logics for Structured Context-Free Languages. ICTCS 2020: 115-121
2010 – 2019
- 2019
- [c5]Daniele Cattaneo, Antonio Di Bello, Michele Chiari, Stefano Cherubin, Giovanni Agosta:
Fixed point exploitation via compiler analyses and transformations: POSTER. CF 2019: 292-294 - [c4]Michele Chiari:
Temporal Logic for Operator Precedence Words (text not included). ICTCS 2019 - [c3]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Word- and Tree-based Temporal Logics for Operator Precedence Languages. ICTCS 2019: 222-228 - [c2]Daniele Cattaneo, Michele Chiari, Stefano Cherubin, Antonio Di Bello, Giovanni Agosta:
Feedback-Driven Performance and Precision Tuning for Automatic Fixed Point Exploitation. PARCO 2019: 299-308 - [i3]Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori:
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification. CoRR abs/1903.06119 (2019) - [i2]Michele Chiari, Dino Mandrioli, Matteo Pradella:
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages. CoRR abs/1910.09327 (2019) - 2018
- [c1]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Temporal Logic and Model Checking for Operator Precedence Languages. GandALF 2018: 161-175 - 2016
- [i1]Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara:
A Practical Approach to Interval Refinement for math.h/cmath Functions. CoRR abs/1610.07390 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
