1 | -- | 9 | Ben C. Moszkowski, Dimitar P. Guelev, Martin Leucker. Guest editors' preface to special issue on interval temporal logics |
11 | -- | 39 | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco. The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT |
41 | -- | 83 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. The dark side of interval temporal logic: marking the undecidability border |
85 | -- | 130 | Carlo Combi, Pietro Sala. Interval-based temporal functional dependencies: specification and verification |
131 | -- | 174 | Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Jörg Pfähler, Wolfgang Reif. RGITL: A temporal logic framework for compositional reasoning about interleaved programs |
175 | -- | 250 | Ben C. Moszkowski. Compositional reasoning using intervals and time reversal |
251 | -- | 278 | Michael R. Hansen, Anh-Dung Phan, Aske Wiid Brekling. A practical approach to model checking Duration Calculus using Presburger Arithmetic |