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)

3 ×#markov
2 ×#bisimulation
2 ×#probability

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.