## Herbert Wiklicky, Mieke Massink

*Proceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems*

QAPL, 2012.

@proceedings{QAPL-2012,
address = "Tallinn, Estonia",
doi = "10.4204/EPTCS.85",
editor = "Herbert Wiklicky and Mieke Massink",
series = "{EPTCS}",
title = "{Proceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems}",
volume = 85,
year = 2012,
}

### Contents (9 items)

- QAPL-2012-BulychevDLMPLW #automaton #model checking #named #statistics
- UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata (PEB, AD, KGL, MM, DBP, AL, ZW), pp. 1–16.
- QAPL-2012-Giro #model checking #performance
- Efficient computation of exact solutions for quantitative model checking (SG), pp. 17–32.
- QAPL-2012-CormieBowinsB #ltl #model checking #probability
- Measuring Progress of Probabilistic LTL Model Checking (ECB, FvB), pp. 33–47.
- QAPL-2012-BelardinelliGL #automation #protocol #quantum #using #verification
- Automated Verification of Quantum Protocols using MCMAS (FB, PG, AL), pp. 48–62.
- QAPL-2012-GazeauMP #analysis #float #robust #source code
- A non-local method for robustness analysis of floating point programs (IG, DM, CP), pp. 63–76.
- QAPL-2012-YasuokaT #data flow #liveness #safety
- Quantitative Information Flow as Safety and Liveness Hyperproperties (HY, TT), pp. 77–91.
- QAPL-2012-PalamidessiS #algebra #bound #constraints #difference #privacy #relational
- Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems (CP, MS), pp. 92–105.
- QAPL-2012-BortolussiGH #hybrid #modelling #network #performance
- Hybrid performance modelling of opportunistic networks (LB, VG, JH), pp. 106–121.
- QAPL-2012-Bernardo #bisimulation #concurrent #markov #process
- Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes (MB), pp. 122–136.