Volume 71, Issue 1-3

July 2014

INTERVAL TEMPORAL LOGICS

Issue Editors:

7 articles in this issue

Guest editors’ preface to special issue on interval temporal logics
Ben Moszkowski
Dimitar Guelev
Martin Leucker
EditorialNotes 10 April 2014 Pages: 1 - 9
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
Davide Bresolin
Dario Della Monica
Guido Sciavicco
OriginalPaper 09 March 2013 Pages: 11 - 39
The dark side of interval temporal logic: marking the undecidability border
Davide Bresolin
Dario Della Monica
Guido Sciavicco
OriginalPaper 07 September 2013 Pages: 41 - 83
Interval-based temporal functional dependencies: specification and verification
Carlo Combi
Pietro Sala
OriginalPaper 14 November 2013 Pages: 85 - 130
RGITL: A temporal logic framework for compositional reasoning about interleaved programs
Gerhard Schellhorn
Bogdan Tofan
Wolfgang Reif
OriginalPaper 29 January 2014 Pages: 131 - 174
Compositional reasoning using intervals and time reversal
Ben Moszkowski
OriginalPaper 05 June 2013 Pages: 175 - 250
A practical approach to model checking Duration Calculus using Presburger Arithmetic
Michael R. Hansen
Anh-Dung Phan
Aske W. Brekling
OriginalPaper 29 August 2013 Pages: 251 - 278

Search