QAPL Programme

back to main programme

Saturday (Satellite:QAPL)

Location: JCMB, room 3317
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

Sunday (Satellite:QAPL)

Location: JCMB, room 3317
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.