Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems

2015/09/28 by Nathalie Bertrand, Mirco Tribastone · 7 citations
Computer Science · #cs.LO #cs.PF #cs.PL

paper · pdf · doi:10.4204/eptcs.194

published as EPTCS 194, 2015

arxiv created 2015/09/28 · arxiv updated 2015/09/29

Abstract

This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) focussing on quantitative aspects of computation. The Program Committee of QAPL 2015 selected 8 regular papers and 2 presentation-only papers. The workshop programme included two QAPL keynote presentations by Catuscia Palamidessi (Inria/LIX, France) on "Quantitative Aspects of Privacy and Information Flow," and Holger Hermanns (Saarland University, Germany) on "Optimal Continuous Time Markov Decisions."

Cited by

• Expected-Delay-Summing Weak Bisimilarity for Markov Automata
• CARMA: Collective Adaptive Resource-sharing Markovian Agents
• Quantitative Information Flow for Scheduler-Dependent Systems
• A Definition Scheme for Quantitative Bisimulation
• Rooted branching bisimulation as a congruence for probabilistic transition systems
• Semiring-based Specification Approaches for Quantitative Security
• Probabilistic Output Analysis by Program Manipulation

Related

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