Author Kit for final versions

Submission information for the final version are send by email.

Accepted Papers

  • Mohamed-Amine Baazizi, Nicole Bidoit-Tollu and Dario Colazzo
    • Efficient Encoding of Temporal XML documents
  • Stefan Rigo and Alberto Lavelli
    • MulTiSEX - A Multilanguage Timex Sequential Extractor
  • Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst and Wolfgang Reif
    • Interleaved Programs and Rely-Guarantee Reasoning with ITL
  • Ben Moszkowski
    • Compositional Reasoning using Intervals and Time Reversal
  • Rajeev Gore, Jimmy Thomson and Florian Widmann
    • An Experimental Comparison of Theorem Provers for CTL
  • Sven Schewe and Cong Tian
    • Synthesising Classic and Interval Temporal Logic
  • Carlo Combi and Pietro Sala
    • Temporal Functional Depedendencies based on Interval Relations
  • Carlo Alberto Furia and Paola Spoletini
    • On Relaxing Metric Information in Linear Temporal Logic
  • Mark Reynolds
    • A Tableau for Until and Since over Linear Time
  • Michael Gruninger and Darren Ong
    • Verification of Time Ontologies with Points and Intervals
  • Vincent Aravantinos, Ricardo Caferra and Nicolas Peltier
    • Linear Temporal Logic and Propositional Schemata, Back and Forth
  • Davide Bresolin, Dario Della Monica, Angelo Montanari and Guido Sciavicco
    • The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT
  • Regis Gascon, Frédéric Mallet and Julien Deantoni
    • Logical time and temporal logics: comparing UML MARTE/CCSL and PSL
  • Michael R. Hansen and Aske Wiid Brekling
    • On Tool Support for Duration Calculus on the basis of Presburger Arithmetic
  • Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari and Guido Sciavicco
    • The dark side of Interval Temporal Logic: sharpening the undecidability border
  • David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zalinescu
    • Monitoring Usage-control Policies in Distributed Systems
  • Jean-François Condotta and Dominique Dalmeida
    • Consistency of qualitative constraint networks from tree decompositions
  • Alexei Lisitsa
    • Temporal access to the iteration sequences. A unifying approach to fixed point logics.
  • Nikolay Shilov
    • Algorithm Design Template base on Temporal ADT