Proceedings of the 14th Workshop on Quantitative Aspects of Programming Languages and Systems
QAPL, 2016.

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

Contents (8 items)

QAPL-2016-TribastoneW #aspect-oriented #programming language

Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016.

QAPL-2016-LarsenLZ15 #bound #energy #exclamation #game studies

Limit Your Consumption! Finding Bounds in Average-energy Games (KGL, SL, MZ0), pp. 1–14.

QAPL-2016-KlebanovWW #probability #satisfiability

Sound Probabilistic #SAT with Projection (VK, AW, JW), pp. 15–29.

QAPL-2016-BortolussiF #modelling

Location Aggregation of Spatial Population CTMC Models (LB, CF), pp. 30–43.

QAPL-2016-CastiglioniGT #bisimulation #logic #metric

Logical Characterization of Bisimulation Metrics (VC, DG, ST), pp. 44–62.

QAPL-2016-DugganY #data flow

Parameterized Dataflow (Extended Abstract) (DD, JY), pp. 63–81.

QAPL-2016-VissatHMS #modelling #named

MELA: Modelling in Ecology with Location Attributes (LLV, JH, GM, MJS), pp. 82–97.

QAPL-2016-BergPH #energy #performance #policy

Evaluating load balancing policies for performance and energy-efficiency (FvdB, BFP, BRH), pp. 98–117.