Michele Chiari

44 papers A* 1A 2B 2C 1Journal 24Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators.
CoRR
Beatrice Melani, Ezio Bartocci, Michele Chiari
2025 J jnl
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators.
ACM Trans. Embed. Comput. Syst.
Beatrice Melani, Ezio Bartocci, Michele Chiari
2025 B conf
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars.
SLE
Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella
2025 J jnl
Cyclic operator precedence grammars for parallel parsing.
Inf. Comput.
Michele Chiari, Dino Mandrioli, Matteo Pradella
2025 A conf
Decentralized Planning Using Probabilistic Hyperproperties.
AAMAS
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
2025 J jnl
Decentralized Planning Using Probabilistic Hyperproperties.
CoRR
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
2025 — conf
POPACheck: A Model Checker for Probabilistic Pushdown Automata.
CAV (2)
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
2025 J jnl
POPACheck: a Model Checker for probabilistic Pushdown Automata.
CoRR
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
2025 J jnl
Reality Check on Formal Methods in Industry: A Study of Verum Dezyne.
J. Softw. Evol. Process.
Michele Chiari, Matteo Camilli, Marcello M. Bersani, Rutger van Beusekom, Damian A. Tamburri
2024 C conf
Cyclic Operator Precedence Grammars for Improved Parallel Parsing.
DLT
Michele Chiari, Dino Mandrioli, Matteo Pradella
2024 J jnl
DOML: A new modeling approach to Infrastructure-as-Code.
Inf. Syst.
Michele Chiari, Bin Xiang, Sergio Canzoneri, Galia Novakova Nedeltcheva, Elisabetta Di Nitto, Lorenzo Blasi, Debora Benedetto, Laurentiu Niculut, Igor Skof
2024 J jnl
Model Checking Recursive Probabilistic Programs with Conditioning.
CoRR
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
2024 — conf
SMT-Based Symbolic Model-Checking for Operator Precedence Languages.
CAV (1)
Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
2024 J jnl
SMT-based Symbolic Model-Checking for Operator Precedence Languages.
CoRR
Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
2023 J jnl
A Model Checker for Operator Precedence Languages.
ACM Trans. Program. Lang. Syst.
Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
2023 J jnl
Cyclic Operator Precedence Grammars for Parallel Parsing.
CoRR
Michele Chiari, Dino Mandrioli, Matteo Pradella
2023 A conf
DOML: A New Modelling Approach to Infrastructure-as-Code.
CAiSE
Michele Chiari, Bin Xiang, Galia Novakova Nedeltcheva, Elisabetta Di Nitto, Lorenzo Blasi, Debora Benedetto, Laurentiu Niculut
2022 J jnl
A First-Order Complete Temporal Logic for Structured Context-Free Languages.
Log. Methods Comput. Sci.
Michele Chiari, Dino Mandrioli, Matteo Pradella
2022 J jnl
Correct approximation of IEEE 754 floating-point arithmetic for program verification.
Constraints An Int. J.
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
2022 — conf
Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code.
ESOCC Workshops
Michele Chiari, Elisabetta Di Nitto, Adrián Noguero Mucientes, Bin Xiang
2022 — conf
Static Analysis of Infrastructure as Code: a Survey.
ICSA Companion
Michele Chiari, Michele De Pascalis, Matteo Pradella
2022 J jnl
Static Analysis of Infrastructure as Code: a Survey.
CoRR
Michele Chiari, Michele De Pascalis, Matteo Pradella
2022 J jnl
TAFFO: The compiler-based precision tuner.
SoftwareX
Daniele Cattaneo, Michele Chiari, Giovanni Agosta, Stefano Cherubin
2021 J jnl
A First-Order Complete Temporal Logic for Structured Context-Free Languages.
CoRR
Michele Chiari, Dino Mandrioli, Matteo Pradella
2021 J jnl
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions.
ACM Trans. Softw. Eng. Methodol.
Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara
2021 A* conf
Architecture-aware Precision Tuning with Multiple Number Representation Systems.
DAC
Daniele Cattaneo, Michele Chiari, Nicola Fossati, Stefano Cherubin, Giovanni Agosta
2021 J jnl
FixM: Code generation of fixed point mathematical functions.
Sustain. Comput. Informatics Syst.
Daniele Cattaneo, Michele Chiari, Gabriele Magnani, Nicola Fossati, Stefano Cherubin, Giovanni Agosta
2021 — conf
Model-Checking Structured Context-Free Languages.
CAV (2)
Michele Chiari, Dino Mandrioli, Matteo Pradella
2021 — —
Temporal logic and model checking for operator precedence languages: theory and applications.
Michele Chiari
2021 — conf
The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control.
PARMA-DITAM@HiPEAC
Gabriele Magnani, Daniele Cattaneo, Michele Chiari, Giovanni Agosta
2021 B conf
Verification of Programs with Exceptions Through Operator Precedence Automata.
SEFM
Francesco Pontiggia, Michele Chiari, Matteo Pradella
2020 — conf
Automated Precision Tuning in Activity Classification Systems: A Case Study.
PARMA-DITAM@HiPEAC
Nicola Fossati, Daniele Cattaneo, Michele Chiari, Stefano Cherubin, Giovanni Agosta
2020 J jnl
Dynamic Precision Autotuning with TAFFO.
ACM Trans. Archit. Code Optim.
Stefano Cherubin, Daniele Cattaneo, Michele Chiari, Giovanni Agosta
2020 — conf
Linear Temporal Logics for Structured Context-Free Languages.
ICTCS
Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella
2020 J jnl
Operator precedence temporal logic and model checking.
Theor. Comput. Sci.
Michele Chiari, Dino Mandrioli, Matteo Pradella
2020 J jnl
TAFFO: Tuning Assistant for Floating to Fixed Point Optimization.
IEEE Embed. Syst. Lett.
Stefano Cherubin, Daniele Cattaneo, Michele Chiari, Antonio Di Bello, Giovanni Agosta
2019 J jnl
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification.
CoRR
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
2019 — conf
Feedback-Driven Performance and Precision Tuning for Automatic Fixed Point Exploitation.
PARCO
Daniele Cattaneo, Michele Chiari, Stefano Cherubin, Antonio Di Bello, Giovanni Agosta
2019 — conf
Fixed point exploitation via compiler analyses and transformations: POSTER.
CF
Daniele Cattaneo, Antonio Di Bello, Michele Chiari, Stefano Cherubin, Giovanni Agosta
2019 J jnl
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages.
CoRR
Michele Chiari, Dino Mandrioli, Matteo Pradella
2019 — conf
Temporal Logic for Operator Precedence Words (text not included).
ICTCS
Michele Chiari
2019 — conf
Word- and Tree-based Temporal Logics for Operator Precedence Languages.
ICTCS
Michele Chiari, Dino Mandrioli, Matteo Pradella
2018 — conf
Temporal Logic and Model Checking for Operator Precedence Languages.
GandALF
Michele Chiari, Dino Mandrioli, Matteo Pradella
2016 J jnl
A Practical Approach to Interval Refinement for math.h/cmath Functions.
CoRR
Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara