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)

3 ×#model checking
2 ×#performance

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.