37 citations · 116 across the 18 of their papers we have counts for
4 papers · 1 filter
Event-Clock Nested Automata
Laura Bozzelli, Aniello Murano, Adriano Peron
In this paper we introduce and study Event-Clock Nested Automata (ECNA), a formalism that combines Event Clock Automata (ECA) and Visibly Pushdown Automata (VPA). ECNA allow to exp…
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
Laura Bozzelli, Alberto Molinari, Angelo Montanari +2
In the last years, model checking with interval temporal logics is emerging as a viable alternative to model checking with standard point-based temporal logics, such as LTL, CTL, C…
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 +1
In this paper, we investigate the model checking (MC) problem for Halpern and Shoham's interval temporal logic HS. In the last years, interval temporal logic MC has received an inc…
Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives
Alberto Molinari, Angelo Montanari, Adriano Peron
Model checking allows one to automatically verify a specification of the expected properties of a system against a formal model of its behaviour (generally, a Kripke structure). Po…