Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems

2016/10/25 by Mirco Tribastone, Herbert Wiklicky · 6 citations
Computer Science · #cs.PL

paper · pdf · doi:10.4204/eptcs.227

published as EPTCS 227, 2016

arxiv created 2016/10/25 · arxiv updated 2016/10/26

Abstract

This volume contains the post-proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), held as a satellite workshop of ETAPS 2016 in Eindhoven, The Netherlands, on 2-3 April 2016.

Cited by

• Limit Your Consumption! Finding Bounds in Average-energy Games
• Sound Probabilistic #SAT with Projection
• Location Aggregation of Spatial Population CTMC Models
• Logical Characterization of Bisimulation Metrics
• Parameterized Dataflow (Extended Abstract)
• MELA: Modelling in Ecology with Location Attributes
• Evaluating load balancing policies for performance and energy-efficiency

Related

• Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems
• Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems
• Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems
• Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems
• Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems