QAPL@ETAPS

Keyphrases

Publications

volume 312, 2020

Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019. QAPL@ETAPS 312 (2020)

2019

Jan Olaf Blech
Towards Digital Twins for the Description of Automotive Software Systems. QAPL@ETAPS (2019)
Maja Hanne Kirkeby
Probabilistic Output Analyses for Deterministic Programs - Reusing Existing Non-probabilistic Analyses. QAPL@ETAPS (2019)
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim G. Larsen
A Faster-Than Relation for Semi-Markov Decision Processes. QAPL@ETAPS (2019)
Alessandro Aldini
Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond. QAPL@ETAPS (2019)

2017

volume 250, 2017

Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. QAPL@ETAPS 250 (2017)