Author Kit for final versions

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

Jun 25 2012