Proceedings of the 15th Workshop on Quantitative Aspects of Programming Languages and Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

PLT
no DBLP info
Scholar
Full names Links ISxN
@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, ), 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.