## Antonio Cerone, Herbert Wiklicky

*Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages*

QAPL, 2006.

@proceedings{QAPL-2005,
editor = "Antonio Cerone and Herbert Wiklicky",
journal = "{Electronic Notes in Theoretical Computer Science}",
number = 2,
title = "{Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages}",
volume = 153,
year = 2006,
}

### Contents (13 items)

- QAPL-2005-KwiatkowskaNP06 #analysis #model checking #probability
- Quantitative Analysis With the Probabilistic Model Checker PRISM (MZK, GN, DP), pp. 5–31.
- QAPL-2005-BartheRW06 #branch #transaction
- Preventing Timing Leaks Through Transactional Branching Instructions (GB, TR, MW), pp. 33–55.
- QAPL-2005-BinderH06 #bytecode #cpu #metric #using
- Using Bytecode Instruction Counting as Portable CPU Consumption Metric (WB, JH), pp. 57–77.
- QAPL-2005-DengCPP06 #metric
- Metrics for Action-labelled Quantitative Transition Systems (YD, TC, CP, JP), pp. 79–96.
- QAPL-2005-BaierDG06 #branch #partial order #probability #reduction
- Partial Order Reduction for Probabilistic Branching Time (CB, PRD, MG), pp. 97–116.
- QAPL-2005-GruhnL06 #specification
- Patterns for Timed Property Specifications (VG, RL), pp. 117–133.
- QAPL-2005-HirschLT06 #logic
- A Logic for Application Level QoS (DH, ALL, ET), pp. 135–159.
- QAPL-2005-NicolaKLM06 #logic #performance #towards
- Towards a Logic for Performance and Mobility (RDN, JPK, DL, MM), pp. 161–175.
- QAPL-2005-LanotteMT06 #classification #probability #security
- A Classification of Time and/or Probability Dependent Security Properties (RL, AMS, AT), pp. 177–193.
- QAPL-2005-McIverM06 #calculus #game studies #novel #probability #μ-calculus
- A Novel Stochastic Game Via the Quantitative μ-calculus (AM, CM), pp. 195–212.
- QAPL-2005-AghaMS06 #named #object-oriented #probability #specification
- PMaude: Rewrite-based Specification Language for Probabilistic Object Systems (GAA, JM, KS), pp. 213–239.
- QAPL-2005-Siveroni06 #algorithm
- Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks (IS), pp. 241–257.
- QAPL-2005-WolfBM06 #markov
- Trace Machines for Observing Continuous-Time Markov Chains (VW, CB, MEMC), pp. 259–277.