Registration 8:30 - 9:00 |
Registration Registration
|
Session 1 9:00 - 10:30 |
Keynote Speaker 1: Quantitative Logics: From
Sequential Programs (pGCL) to Temporal Logic (qTL) to Mu-Calculus
(qMmu) to Games
Carroll Morgan Folding Stack Memory Usage Prediction into
Heap (Short paper)
Brian Campbell |
Coffee |
|
Session 2 11:00 - 12:30 |
Preventing Timing Leaks through Transactional
Branching Instructions
Gill Barthe, Tamara Rezk and Martijn Warnier Filling out the Gaps: A Padding Algorithm for
Transforming Out Timing Leaks
Igor Siveroni A Classification of Time and/or Probability
Dependent Security Properties
Ruggero Lanotte, Andrea Maggiolo-Schettini and Angelo Troina |
Lunch |
|
Session 3 14:00 - 15:30 |
Keynote Talk 2: Real-time Verification: A
Survey
Mike Reed
Patterns for Timed Property Specification
Volker Gruhn and Ralf Laue |
Coffee |
|
Session 4 16:00 - 17:00 |
Action-labelled Quantitative Transition
Systems
Yuxin Deng, Tom Chothia, Catuscia Palamidessi and Jun Pang An Accessible Account of Approximate
Bisimilarity (Short paper)
Franck van Breugel and James Worrell |
Session 1 9:00 - 10:30 |
Keynote Talk 3: Probabilistic Model Checking
in Practice: Case Studies with PRISM
Marta Kwiatkowska Partial Order Reduction for Probabilistic
Branching Time
Christel Baier, Pedro D'Argenio and Marcus Groesser |
Coffee |
|
Session 2 11:00 - 12:30 |
A Novel Stochastic Game via the Quantitative
Mu-Calculus
Annabelle McIver and Carroll Morgan Trace Machines for Observing Continuous-Time
Markov Chains
Verena Wolf, Mila Majster-Cederbaum and Christel Baier Towards a Logic for Performance and Mobility
Rocco de Nicola, Joost-Pieter Katoen, Diego Latella and Mieke Massink |
Lunch |
|
Session 3 14:00 - 15:30 |
Keynote Talk 4: Computational Geometry: Data
Types and Quantitative Approximation
Abbas Edalat Using Bytecode Instruction Counting as
Portable CPU Consumption Metric
Walter Binder and Jarle Hulaas |
Coffee |
|
Session 4 16:00 - 18:00 |
PMaude: Rewrite-based Specification Language
for Probabilistic Object Systems
Gul Agha, Jose Meseguer and Kousik Sen SHReQ: A Framework for Coordinating
Application Level QOS (Short paper)
Emilio Tuosto and Dan Hirsch Closing Session
|
Evening 7.45pm for 8pm |
Dinner Dinner at Heights Rooftop Restaurant in the
Apex International Hotel, Grassmarket. Situated in one of Edinburgh's
oldest parts of town, the restaurant boasts a spectacular view of the
castle.
|