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)

5 ×#probability
2 ×#branch
2 ×#logic
2 ×#metric
2 ×#specification

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.