## Nathalie Bertrand, Mirco Tribastone

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

QAPL, 2015.

@proceedings{QAPL-2015,
editor = "Nathalie Bertrand and Mirco Tribastone",
series = "{EPTCS}",
title = "{Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems}",
volume = 194,
year = 2015,
}

### Contents (8 items)

- QAPL-2015-AldiniB #automaton #markov #similarity
- Expected-Delay-Summing Weak Bisimilarity for Markov Automata (AA, MB), pp. 1–15.
- QAPL-2015-BortolussiNGGHL #adaptation #markov #named
- CARMA: Collective Adaptive Resource-sharing Markovian Agents (LB, RDN, VG, SG, JH, DL, ML, MM), pp. 16–31.
- QAPL-2015-BortolussiH #markov #modelling #performance
- Efficient Checking of Individual Rewards Properties in Markov Population Models (LB, JH), pp. 32–47.
- QAPL-2015-KawamotoG #data flow
- Quantitative Information Flow for Scheduler-Dependent Systems (YK, TGW), pp. 48–62.
- QAPL-2015-LatellaMV #bisimulation
- A Definition Scheme for Quantitative Bisimulation (DL, MM, EPdV), pp. 63–78.
- QAPL-2015-LeeV #bisimulation #branch #congruence #probability
- Rooted branching bisimulation as a congruence for probabilistic transition systems (MDL, EPdV), pp. 79–94.
- QAPL-2015-MartinelliMS #security #specification
- Semiring-based Specification Approaches for Quantitative Security (FM, IM, FS), pp. 95–109.
- QAPL-2015-RosendahlK #analysis #probability
- Probabilistic Output Analysis by Program Manipulation (MR, MHK), pp. 110–124.