Alessandra Di Pierro, Gethin Norman
Proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages
QAPL, 2010.

@proceedings{QAPL-2010,
	address       = "Paphos, Cyprus",
	doi           = "10.4204/EPTCS.28",
	editor        = "Alessandra Di Pierro and Gethin Norman",
	series        = "{EPTCS}",
	title         = "{Proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages}",
	volume        = 28,
	year          = 2010,
}

Contents (11 items)

6 ×#probability
2 ×#abstraction
2 ×#analysis
2 ×#calculus
2 ×#game studies
2 ×#modelling
2 ×#performance
2 ×#testing

QAPL-2010-Aldini #approximate #behaviour #equivalence #probability #testing

Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior (AA), pp. 1–15.

QAPL-2010-AltisenLM #automaton #calculus #component #evaluation #interface #performance #realtime #using

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata (KA, YL, MM), pp. 16–33.

QAPL-2010-BarsottiW #abstraction #automation #probability #random #verification

Automatic Probabilistic Program Verification through Random Variable Abstraction (DB, NW), pp. 34–47.

QAPL-2010-BiancoFMM #game studies

Quantitative Fairness Games (AB, MF, FM, AM), pp. 48–63.

QAPL-2010-CacheraJ #abstract interpretation #cost analysis #injection #linear #modelling

Injecting Abstract Interpretations into Linear Cost Models (DC, AJ), pp. 64–81.

QAPL-2010-CoppoDDGT #calculus #probability

Stochastic Calculus of Wrapped Compartments (MC, FD, MD, EG, AT), pp. 82–98.

QAPL-2010-GeorgievskaA #probability #process #testing

Testing Reactive Probabilistic Processes (SG, SA), pp. 99–113.

QAPL-2010-GuedemannO #analysis #modelling #probability #safety

Probabilistic Model-Based Safety Analysis (MG, FO), pp. 114–128.

QAPL-2010-NdukwuMc #abstraction #approach #independence #probability #source code

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs (UN, AM), pp. 129–143.

QAPL-2010-RabeS #game studies #markov

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games (MNR, SS), pp. 144–158.

QAPL-2010-StefanekHB #analysis #parallel #performance

A new tool for the performance analysis of massively parallel computer systems (AS, RAH, JTB), pp. 159–181.