Proceedings of the 15th Workshop on Quantitative Aspects of Programming Languages and Systems
QAPL, 2017.

@proceedings{QAPL-2017,
	series        = "{EPTCS}",
	title         = "{Proceedings of the 15th Workshop on Quantitative Aspects of Programming Languages and Systems}",
	volume        = 250,
	year          = 2017,
}

Contents (8 items)

QAPL-2017-WiklickyV #aspect-oriented #programming language

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

QAPL-2017-SchuppNA #analysis #divide and conquer #hybrid #reachability #set

Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis (SS, JN, EÁ), pp. 1–14.

QAPL-2017-Vandin #abstraction

Language-based Abstractions for Dynamical Systems (AV), pp. 15–24.

QAPL-2017-ArmingBS #named #parametricity

SEA-PARAM: Exploring Schedulers in Parametric MDPs (SA, EB, AS), pp. 25–38.

QAPL-2017-CastiglioniT #logic #metric

Logical Characterization of Trace Metrics (VC, ST), pp. 39–74.

QAPL-2017-KoenigKM #analysis #named

PAWS: A Tool for the Analysis of Weighted Systems (BK, SK, CM), pp. 75–91.

QAPL-2017-LatellaM #coordination #design #optimisation

Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination (DL, MM), pp. 92–110.

QAPL-2017-LidmanS #fuzzy #logic #program analysis #using

Bridging Static and Dynamic Program Analysis using Fuzzy Logic (JL, JS), pp. 111–126.