Author Kit for final versions

Author's Final Paper Formatting and Submission Instructions for TIME 2012 at CPS -->

• LaTeX template
• Word template
• Style guide and instructions

Accepted papers

• Omar Bataineh, Tim French and Terry Woodings
• Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL
• Laurent Fribourg, David Lesens, Pierre Moro and Romain Soulat
• Robustness Analysis for Scheduling Problems using the Inverse Method
• Chongsheng Zhang, Florent Masseglia and Xiangliang Zhang
• Modeling and Clustering Users with Evolving Profiles in Usage Streams
• Carlo Alberto Furia and Paola Spoletini
• Automata-based Verification of Linear Temporal Logic Models with Bounded Variability
• Cesar Sanchez and Julian Samborski-Forlese
• Efficient Regular Linear Temporal Logic using Dualization and Stratification
• Willem Conradie, Salih Durhan and Guido Sciavicco
• An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Case of All Linear Orders
• Michael Fisher, Boris Konev and Amir Niknafs Kermani
• Symmetric Temporal Theorem Proving
• Hubie Chen and Michał Wrona
• Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction
• Hang Yue and Peter Revesz
• TVICS: An Efficient Traffic Video Information Converting System
• Angelo Montanari and Pietro Sala
• An Optimal Tableau System for the Logic of Temporal Neighborhood Over the Reals
• Kyriacos Pavlou and Richard Snodgrass
• Temporal Implications of Database Information Accountability
• Luca Ferrucci, Dino Mandrioli, Angelo Morzenti and Matteo Rossi
• A Metric Temporal Logic for Dealing with Zero-Time Transitions
• Renata C. B. Madeo, Clodoaldo A. M. Lima and Sarajane M. Peres
• A Review on Temporal Reasoning using Support Vector Machines
• John McCabe-Dansted
• A Tableau for the Combination of CTL and BCTL*
• Abdeldjalil Boudjadar, Jean-Paul Bodeveix and Mamoun Filali
• Compositional Refinement for Real-Time Systems with Priorities
• Hector Llorens, Naushad Uzzaman and James Allen
• Merging Temporal Annotations