Alessandro Aldini, Christel Baier
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages
QAPL, 2008.

@proceedings{QAPL-2008,
	editor        = "Alessandro Aldini and Christel Baier",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 3,
	title         = "{Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages}",
	volume        = 220,
	year          = 2008,
}

Contents (11 items)

6 ×#probability
2 ×#abstract interpretation
2 ×#logic

QAPL-2008-KattenbeltKNP #abstraction #game studies #probability

Game-Based Probabilistic Predicate Abstraction in PRISM (MK, MZK, GN, DP), pp. 5–21.

QAPL-2008-PierroSW #abstract interpretation #analysis #precise #probability #relational

Relational Analysis and Precision via Probabilistic Abstract Interpretation (ADP, PS, HW), pp. 23–42.

QAPL-2008-Smith #abstract interpretation #imperative #probability #source code #using

Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions (MJAS), pp. 43–59.

QAPL-2008-FaellaLS #linear #logic #model checking

Model Checking Quantitative Linear Time Logic (MF, AL, MS), pp. 61–77.

QAPL-2008-TzanisH #logic #probability

Probabilistic Logic over Paths (ET, RH), pp. 79–96.

QAPL-2008-LambertP #bytecode #framework #independence #java #platform #virtual machine

Platform Independent Timing of Java Virtual Machine Bytecode Instructions (JML, JFP), pp. 97–113.

QAPL-2008-ZhangZ #behaviour #pseudo

A Behavioural Pseudometric based on λ-Bisimilarity (JZ, ZZ), pp. 115–127.

QAPL-2008-TrckaG #bisimulation #branch #congruence #probability

Branching Bisimulation Congruence for Probabilistic Systems (NT, SG), pp. 129–143.

QAPL-2008-OchoaP #partial evaluation

Oracle-Based Partial Evaluation (CO, GP), pp. 145–161.

QAPL-2008-Bortolussi #approximate #concurrent #constraints #equation #on the #probability #programming

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation (LB), pp. 163–180.

QAPL-2008-BakelKVH #modelling

Modelling Intracellular Fate of FGF Receptors With BioAmbients (SvB, IK, MGV, JKH), pp. 181–197.