Alessandro Aldini, Herbert Wiklicky
Proceedings of the 16th Workshop on Quantitative Aspects of Programming Languages and Systems
QAPL, 2020.

@proceedings{QAPL-2019,
	doi           = "10.4204/EPTCS.312",
	editor        = "Alessandro Aldini and Herbert Wiklicky",
	ee            = "https://arxiv.org/abs/2001.06163",
	series        = "{EPTCS}",
	title         = "{Proceedings of the 16th Workshop on Quantitative Aspects of Programming Languages and Systems}",
	volume        = 312,
	year          = 2020,
}

Contents (4 items)

QAPL-2019-Aldini #aspect-oriented #programming language

Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond (AA), pp. 1–19.

QAPL-2019-Blech #towards

Towards Digital Twins for the Description of Automotive Software Systems (JOB), pp. 20–28.

QAPL-2019-PedersenBL #markov #process

A Faster-Than Relation for Semi-Markov Decision Processes (MRP, GB, KGL), pp. 29–42.

QAPL-2019-Kirkeby #analysis #probability #reuse #source code

Probabilistic Output Analyses for Deterministic Programs - Reusing Existing Non-probabilistic Analyses (MHK), pp. 43–57.