Michele Chiari

TU Wien

Austria

Research Interests

Explore related searches

Professors in Austria

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (9)

Year:

2025

Year:

2024

Year:

2023

Year:

2022

Year:

2022

Year:

2021

Year:

2020

Year:

2020

Year:

2020

Collaborators (3)

Matteo Pradella

Associate Professor

Politecnico di Milano

ITALY

View details

Stefano Cherubin

Associate Professor

Norwegian University of Science and Technology

NORWAY

View details

Dino Mandrioli

Professor

Politecnico di Torino

ITALY

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Michele Chiari

Research Interests

Explore related searches

Contact this professor

Articles (9)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators

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

A Model Checker for Operator Precedence Languages

TAFFO: The compiler-based precision tuner

Correct approximation of IEEE 754 floating-point arithmetic for program verification

FixM: Code generation of fixed point mathematical functions

Dynamic Precision Autotuning with TAFFO

TAFFO: Tuning Assistant for Floating to Fixed Point Optimization

Operator precedence temporal logic and model checking

Collaborators (3)

Matteo Pradella

Stefano Cherubin

Dino Mandrioli

Make your next move.