QAPL 2012 - Final Programme

Tenth Workshop on Quantitative Aspects of Programming Languages

Saturday, March 31

09:25 - 09:30
    Opening

09:30 - 10.30
    Invited speaker: Kim G. Larsen (Aalborg University, Denmark)
    Statistical Model Checking for Priced Timed Automata

10:30 - 11:00
    Coffee

Session: Model Checking

11:00 - 11:30
    Sergio Giro
    Efficient computation of exact solutions for quantitative model checking

11:30 - 12:00
    Elise Cormie-Bowins and Franck Van Breugel
    Measuring Progress of Probabilistic LTL Model Checking

12:00 - 12:30
    Francesco Belardinelli, Pavel Gonzalez and Alessio Lomuscio
    Automated Verification of Quantum Protocols using MCMAS

12:30 - 14:00
    Lunch

Session: Fluid Flow and Stochastic Modelling

14:00 - 15:00
    Invited speaker: Jeremy Bradley (Imperial College London, U.K.)
    Mean field and fluid approaches to Markov chain analysis
    Abstract

15:00 - 15:30
    Anna Kolesnichenko, Anne Remke, Pieter-Tjerk De Boer and Boudewijn Haverkort
    A logic for model-checking of mean-field models (Presentation only)
    Abstract

15:30 - 16:00
    Coffee

16:00 - 16:30
    Mark Timmer, Joost-Pieter Katoen, Jaco Van De Pol and Marielle I. A. Stoelinga
    Efficient Modelling and Generation of Markov Automata (Presentation only)
    Abstract

16:30 - 17:00
    Luca Bortolussi and Jane Hillston
    Towards Fluid Model Checking (Presentation only)
    Extended Abstract

Sunday, April 1

09:30 - 10:30
    Invited speaker: Boris Köpf (IMDEA Software Institute, Madrid, Spain)
    Quantifying Side-Channels in RSA and AES
    Abstract

10:30 - 11:00
    Coffee

Session: Security, Information Flow and Privacy

11:00 - 11:30
    Ivan Gazeau, Dale Miller and Catuscia Palamidessi
    A non-local method for robustness analysis of floating point programs

11:30 - 12:00
    Hirotoshi Yasuoka and Tachio Terauchi
    Quantitative Information Flow as Safety and Liveness Hyperproperties

12:00 - 12:30
    Catuscia Palamidessi and Marco Stronati
    Differential privacy for relational algebra: improving the sensitivity bounds via constraint systems

12:30 - 14:00
    Lunch

Session: Hybrid and Time

14:00 - 14:30
    Luca Bortolussi, Vashti Galpin and Jane Hillston
    Hybrid performance modelling of opportunistic networks

14:30 - 15:00
    Marco Bernardo
    Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes

15:00 - 15:30
    Henri Hansen and Mark Timmer
    Why Confluence is More Powerful than Ample Sets in Probabilistic and Non-Probabilistic Branching Time (Presentation only)
    Abstract

15:30 - 16:00
    Coffee

16:00 - 16:30
    Closing