FORMATS 2008: The Programme
Sunday, September 14, 2008
Monday, September 15, 2008
  • 08:00-08:30 Registration
  • 08:30-09:00 Opening
  • 09:00-10:00 QEST' Keynote:
    • Michael Littman, from Rutgers, USA
      Autonomous Model Learning for Reinforcement Learning
  • 10:00-10:30 Coffee Break
  • 10:30-12:30 Session 1: Extensions of Timed Automata and Semantics
    • Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey and Jiri Srba
      Infinite Runs in Weighted Timed Automata with Energy Constraints
    • Marcin Jurdzinski and Ashutosh Trivedi
      Concavely priced timed automata
    • Michal Rutkowski, Marcin Jurdzinski, Ranko Lazic, Patricia Bouyer and Thomas Brihaye
      Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
    • Vijay Suman, Paritosh Pandya, Krishna S and Lakshmi Manasa G
      Timed Automata with Integer Resets: Language Inclusion and Expressiveness
  • 12:30-14:00 Lunch
  • 14:00-16:00 Session 2: Timed Games and Logic
    • Alexander Rabinovich
      Complexity of Metric Temporal logic with Counting
    • Carlo Alberto Furia and Matteo Rossi
      MTL with Bounded Variability: Decidability and Complexity
    • Krishnendu Chatterjee, Thomas Henzinger and Vinayak Prabhu
      Timed Parity Games: Complexity and Robustness
    • Aldric Degorre and Oded Maler
      On Scheduling Policies for Streams of Structured Jobs
  • 16:00-16:30 Coffee break
  • 16:30-17:30 Invited Talk 1:
    • Joël Ouaknine, Oxford Univ., United Kingdom
      Some Recent Results in Metric Temporal Logic
  • 18:30-20:30 Cheese and Wine extra session
Tuesday, September 16, 2008
  • 08:00-08:30 Registration
  • 08:30-09:30 QEST and FORMATS' Keynote:
    • Albert Benveniste, from INRIA, France
      Composing Web Services in an open world: QoS issues
  • 09:30-10:30 Session 3: Case Studies
    • Frédéric Boniol, Hladik Pierre-Emmanuel, Claire Pagetti, Frédéric Aspro and Victor Jégu
      A Framework for Distributing Real-Time Functions
    • Frits Vaandrager, Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Marc Voorhoeve, Sebastian De Smet and Lou Somers
      Formal Modeling and Scheduling of Data Paths of Digital Document Printers
  • 10:30-11:00 Coffee Break
  • 11:00-12:00 Session 4: Model-Checking of Probabilistic Systems
    • Anne Remke and Boudewijn Haverkort
      A uniformization-based algorithm for model checking CSL until operators on labelled queueing networks
    • Joost-Pieter Katoen and Alexandru Mereacre
      Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains
  • 12:00-13:30 Lunch
  • 13:30-15:00 Session 5: Verification and Test
    • Mani Chandy, Concetta Pilotto and Sayan Mitra
      Convergence Verification: From Synchronous to Partially Synchronous Systems
    • Jasper Berendsen and Frits Vaandrager
      Compositional Abstraction in Real-Time Model Checking
    • Julien Schmaltz and Jan Tretmans
      On Conformance Testing for Timed Systems
  • 15:15-19:00 Excursion to St Michel
  • 19:30-22:00 Banquet
Wednesday, September 17, 2008
  • 09:00-10:00 QEST' Keynote:
    • Peter Glynn, from Stanford, USA
      Linear Programming, Lyapunov Functions, and Performance Analysis
  • 10:00-10:30 Coffee Break
  • 10:30-11:30 Session 6: Time Petri Nets
    • Hanifa Boucheneb and Kamel Barkaoui
      Relevant timed schedules / clock valuations for constructing time Petri net reachability graphs
    • Louis-Marie Traonouez, Didier Lime and Olivier H. Roux
      Parametric model-checking of time Petri nets with stopwatches using the state-class graph
  • 11:30-12:30 Invited Talk 2:
    • Jiri Srba BRICS, Aalborg, Denmark
      Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
  • 12:30-14:00 Closing and Lunch