Mieke Massink, Gethin Norman
Proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages
QAPL, 2011.

@proceedings{QAPL-2011,
	address       = "Saarbrücken, Germany",
	doi           = "10.4204/EPTCS.57",
	editor        = "Mieke Massink and Gethin Norman",
	series        = "{EPTCS}",
	title         = "{Proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages}",
	volume        = 57,
	year          = 2011,
}

Contents (11 items)

5 ×#probability
2 ×#analysis
2 ×#automaton
2 ×#game studies
2 ×#modelling

QAPL-2011-AndreychenkoCW #infinity #markov #modelling #on the fly

On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models (AA, PC, VW), p. 1.

QAPL-2011-LeitnerFischerL #analysis #modelling #named #quantum #safety #uml

QuantUM: Quantitative Safety Analysis of UML Models (FLF, SL), pp. 16–30.

QAPL-2011-Rutkowski #automaton #game studies

Two-Player Reachability-Price Games on Single-Clock Timed Automata (MR), pp. 31–46.

QAPL-2011-AmanC #petri net

Time Delays in Membrane Systems and Petri Nets (BA, GC), pp. 47–60.

QAPL-2011-DengGHM #probability #process #testing

Real-Reward Testing for Probabilistic Processes (YD, RJvG, MH, CM), pp. 61–73.

QAPL-2011-SongNN #probability #π-calculus

A Stochastic Broadcast π-Calculus (LS, FN, BFN), pp. 74–88.

QAPL-2011-SeidelV #for free

Improvements for Free (DS, JV), pp. 89–103.

QAPL-2011-AssouramouD #analysis #hybrid #probability

Analysis of Non-Linear Probabilistic Hybrid Systems (JA, JD), pp. 104–119.

QAPL-2011-BortolussiGH #probability

HYPE with stochastic events (LB, VG, JH), pp. 120–133.

QAPL-2011-FahrenbergTL #game studies

Distances for Weighted Transition Systems: Games and Properties (UF, CRT, KGL), pp. 134–147.

QAPL-2011-TracolDZ #automaton #probability

Computing Distances between Probabilistic Automata (MT, JD, AZ), pp. 148–162.