## Luca Bortolussi, Herbert Wiklicky

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

QAPL, 2013.

@proceedings{QAPL-2013,
address = "Rome, Italy",
doi = "10.4204/EPTCS.117",
editor = "Luca Bortolussi and Herbert Wiklicky",
series = "{EPTCS}",
title = "{Proceedings of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems}",
volume = 117,
year = 2013,
}

### Contents (9 items)

- QAPL-2013-GazeauMP #difference #privacy #semantics
- Preserving differential privacy under finite-precision semantics (IG, DM, CP), pp. 1–18.
- QAPL-2013-Tranquilli
- Indexed Labels for Loop Iteration Dependent Costs (PT), pp. 19–33.
- QAPL-2013-NgoH #analysis #concurrent #multi #security #source code #thread
- Quantitative Security Analysis for Multi-threaded Programs (TMN, MH), pp. 34–48.
- QAPL-2013-Schuppan #ltl #satisfiability
- Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance (VS), pp. 49–65.
- QAPL-2013-HanKKG #probability #specification
- Modal Specifications for Probabilistic Timed Systems (TH, CK, MZK, HG), pp. 66–80.
- QAPL-2013-BernardoNL #behaviour #nondeterminism #probability #process
- The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 81–96.
- QAPL-2013-McIverRS #algebra #concurrent #probability
- Probabilistic Concurrent Kleene Algebra (AM, TMR, GS), pp. 97–115.
- QAPL-2013-BertrandS #automaton #game studies #infinity #probability
- Solving Stochastic Büchi Games on Infinite Decisive Arenas (NB, PS), pp. 116–131.
- QAPL-2013-ArulR #complexity #game studies #integer
- The Complexity of Robot Games on the Integer Line (AA, JR), pp. 132–148.