Download the entire programme as pdf file. FORMATS 2012 maintain their own programme.

Monday 17/09/2012

A day of tutorials, workshops and keynotes by Gerard Holzmann and William H. Sanders. From 17:00 to 19:00 there will be the first tours of Queen's Tower (there are more slots on Wednesday and Thursday). In the evening there is going to be a reception from 19:00 to 21:30 at 58 Prince's Gate. More details can be found in the complete progamme.

Tuesday 18/09/2012

• 08:30 - 09:00 Registration
• 09:00 - 10:00 Keynote
  • Empirical Randomness: Implications for Applied Stochastic Modeling
    Jeffrey Buzen
• 10:00 - 11:00 System Performance
  Session Chair: Evgenia Smirni
  • Decoupled Speed Scaling: Analysis and Evaluation
    Maryam Elahi, Carey Williamson, Philipp Woelfel
  • Continuous Performance Testing in Virtual Time
    Nikos Baltas, Tony Field
• 11:00 - 11:30 Tea/Coffee
• 11:30 - 12:30 Queueing
  Session Chair: Gianfranco Balbo
  • A multi-layer fluid queue with boundary phase transitions and its application to the analysis of multi-type queues with general customer impatience
    Gábor Horváth, Benny Van Houdt
  • Finite Queues at The Limit of Saturation
    Miklós Telek, Miklós Vecsei
• 12:30 - 14:00 Lunch
• 14:00 - 15:30 Markov and semi-Markov models
  Session Chair: Mirco Tribastone
  • Aggregation of Markovian models -- an alternating least squares approach
    Peter Buchholz, Jan Kriege
  • Mean field for performance models with deterministically-timed transitions
    Richard Hayden
  • A two-phase Gauss-Seidel algorithm for the stationary solution of EVMDD-encoded CTMCs
    Yang Zhao, Gianfranco Ciardo
• 15:30 - 16:00 Tea/Coffee
• 16:00 - 18:00 Markov Decision Processes
  Session Chair: Pedro D'argenio
  • Statistical Model Checking for Markov Decision Processes
    David Henriques, João G. Martins, Paolo Zuliani, André Platzer, Edmund Clarke
  • On-the-Fly Algorithms for Bisimulation Metrics
    Gheorghe Comanici, Doina Precup, Prakash Panangaden
  • Static Partial Order Reduction for Probabilistic Concurrent Systems
    Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Ake Fredlund
  • Verification of Two-variable Logic Revisited
    Michael Benedikt, Rastislav Lenhardt, James Worrell
• 18:00 - 19:00 Bus trip to Westminster Pier
• 19:00 - 23:30 Thames River Cruise

Wednesday 19/09/2012

• 09:00 - 10:00 Keynote
  • Compositional Temporal Synthesis
    Moshe Vardi
• 10:00 - 11:00 Real Time Systems
  Session Chair: Nathalie Bertrand
  • Lower-Bound Constrained Runs in Weighted Timed Automata
    Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
  • Almost-Sure Model-Checking of Reactive Timed Automata
    Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Quentin Menet
• 11:00 - 11:30 Tea/Coffee
• 11:30 - 12:30 Security Analysis
  Session Chair: Enrico Vicario
  • State-Based Analysis in ADVISE
    Michael Ford, Peter Buchholz, William H. Sanders
  • Quantitative multirun security under active adversaries
    Michele Boreale and Francesca Pampaloni
• 12:30 - 13:30 Lunch
• 13:30 - 15:30 Quantitative Semantics
  Session Chair: Markus Siegle
  • Fluid approximation of CTMC with deterministic delays
    Luca Bortolussi, Jane Hillston
  • Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language
    Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
  • Generalised Communication for Interacting Agents
    Max Tschaikowski, Mirco Tribastone
  • Interference-sensitive Preorders for MANETs
    Michele Bugliesi, Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
• 15:30 - 16:00 Tea/Coffee
• 16:00 - 17:00 Tools
  Session Chair: Ken Keefe
  • Specification and computation of passage-time distributions in GPA
    Matej Kohut, Richard Hayden, Anton Stefanek, Jeremy Bradley
  • HyperStar: Phase-type Fitting Made Easy
    Philipp Reinecke, Tilman Krauß, Katinka Wolter
  • The PRISM Benchmark Suite
    Marta Kwiatkowska, Gethin Norman, David Parker
  • A tool for solving Ph/M/c and Ph/M/c/N queues
    Thomas Begin, Alexandre Brandwajn
• 17:00 - 19:00 Tours of Queen's Tower
• 19:00 - 22:00 Banquet

Thursday 20/09/2012

• 09:00 - 10:00 Keynote
  • Stochastic Modelling of Sport
    Michael Maher
• 10:00 - 11:00 Reliability
  Session Chair: Miklós Telek
  • A General Reliability Model for Data Storage Systems
    Vinodh Venkatesan, Ilias Iliadis
  • Intermittent Hardware Errors Recovery: Modeling and Evaluation
    Layali Rashid, Karthik Pattabiraman, Sathish Gopalakrishnan
• 11:00 - 11:30 Tea/Coffee
• 11:30 - 13:00 Measurement and System Modeling
  Session Chair: Nigel Thomas
  • Flexible CPU provisioning in clouds: a new source of performance unpredictability
    Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi
  • Max Percentile Replication for Optimal Performance in Multi-Regional P2P VoD Systems
    Yuval Rochman, Hanoch Levy, Eli Brosh
  • Indirect Estimation of Service Demands in the Presence of Structural Changes
    Paolo Cremonesi, Andrea Sansottera
• 13:00 - 13:45 Lunch-to-go
• 13:45 - 17:45 Tours of Queen's Tower