EPTCS 85 - QAPL 2012
Herbert Wiklicky, Mieke Massink (Eds.): Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems. 2012 EPTCS 85 [ contents ]- Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang: UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. ... 1-16
- Sergio Giro: Efficient computation of exact solutions for quantitative model checking. ... 17-32
- Elise Cormie-Bowins, Franck van Breugel: Measuring Progress of Probabilistic LTL Model Checking. ... 33-47
- Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio: Automated Verification of Quantum Protocols using MCMAS. ... 48-62
- Ivan Gazeau, Dale Miller, Catuscia Palamidessi: A non-local method for robustness analysis of floating point programs. ... 63-76
- Hirotoshi Yasuoka, Tachio Terauchi: Quantitative Information Flow as Safety and Liveness Hyperproperties. ... 77-91
- Catuscia Palamidessi, Marco Stronati: Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems. ... 92-105
- Luca Bortolussi, Vashti Galpin, Jane Hillston: Hybrid performance modelling of opportunistic networks. ... 106-121
- Marco Bernardo: Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes. ... 122-136
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team