Michele Chiari - Publications, H-index & Citations

Michele Chiari

technische universitat wien

8H指数

47论文数

209被引数

收录论文 6

发表时间

Reality Check on Formal Methods in Industry: A Study of Verum Dezyne 对工业中形式方法的现实核查：一项关于Verum Dezyne的研究

JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS

IF1.8

2025-12-01

OAAI

Chiari, Michele; Camilli, Matteo; Bersani, Marcello M.; van Beusekom, Rutger; Tamburri, Damian A.

Cyclic operator precedence grammars for parallel parsing 循环算符优先文法用于并行解析

INFORMATION AND COMPUTATION

IF1

2025-10-01

OAAI

Chiari, Michele; Mandrioli, Dino; Pradella, Matteo

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators 一种用于检查具有界时态算子的信号时序逻辑可满足性的树形表格

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS

IF2.6

2025-09-01

OAAI

Melani, Beatrice; Bartocci, Ezio; Chiari, Michele

DOML: A new modeling approach to Infrastructure-as-Code☆

enterprise information systems

IF3.4

2024-11-01

OAAI

Chiari, Michele; Xiang, Bin; Canzoneri, Sergio; Nedeltcheva, Galia Novakova; Di Nitto, Elisabetta; Blasi, Lorenzo; Benedetto, Debora; Niculut, Laurentiu; Skof, Igor

FixM: Code generation of fixed point mathematical functions

SUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS

IF5.7

2021-03-01

PREAI

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

A Practical Approach to Verification of Floating-Point C/C plus plus Programs with math.h/cmath Functions 用math.h/cmath函数验证浮点C/C plus程序的实用方法

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2020-12-31

OAAI

Bagnara, Roberto; Chiari, Michele; Gori, Roberta; Bagnara, Abramo

研究方向