Alberto Molinari

Checking interval properties of computations

Alberto Molinari, Angelo Montanari, Aniello Murano et al. · Acta Informatica · 2015 · 37 citations · Full text

Engineering, Validated Numerics, Automated Reasoning +7

On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions

Laura Bozzelli, Alberto Molinari, Angelo Montanari et al. · Electronic Proceedings in Theoretical Computer Science · 2017 · 17 citations · Full text

Computational Logic, Logical Automaton, Engineering +14

Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS

Alberto Molinari, Angelo Montanari, Adriano Peron · 2015 · 16 citations · Full text

Artificial Intelligence, Engineering, Verification +17

A Model Checking Procedure for Interval Temporal Logics based on Track Representatives

Alberto Molinari, Angelo Montanari, Adriano Peron · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 16 citations · Full text

Engineering, Verification, Computer-aided Verification +16

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

Laura Bozzelli, Alberto Molinari, Angelo Montanari et al. · Information and Computation · 2018 · 13 citations · Full text

Decision Procedure, Engineering, Automated Reasoning +10