Alessandra Di Pierro, Herbert Wiklicky
Proceedings of the Fourth Workshop on Quantitative Aspects of Programming Languages
QAPL, 2006.

@proceedings{QAPL-2006,
	editor        = "Alessandra Di Pierro and Herbert Wiklicky",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 3,
	title         = "{Proceedings of the Fourth Workshop on Quantitative Aspects of Programming Languages}",
	volume        = 164,
	year          = 2006,
}

Contents (12 items)

4 ×#probability
2 ×#analysis
2 ×#protocol

QAPL-2006-AdaoMRV #analysis #protocol #security #towards

Towards a Quantitative Analysis of Security Protocols (PA, PM, TR, LV), pp. 3–25.

QAPL-2006-AldiniB #component #metric #performance #specification

Component-Oriented Specification of Performance Measures (AA, MB), pp. 27–43.

QAPL-2006-BinderH06a #bytecode #profiling #using #virtual machine

Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting (WB, JH), pp. 45–64.

QAPL-2006-Bortolussi #concurrent #constraints #probability #programming

Stochastic Concurrent Constraint Programming (LB), pp. 65–80.

QAPL-2006-CiobanuP #distributed

Timers for Distributed Systems (GC, CP), pp. 81–99.

QAPL-2006-DeganoPPQ #biology

Beta-binders for Biological Quantitative Experiments (PD, DP, CP, PQ), pp. 101–117.

QAPL-2006-PradalierP #probability

Expressiveness of Probabilistic pi (SP, CP), pp. 119–136.

QAPL-2006-SingerB #predict

Return Value Prediction meets Information Theory (JS, GB), pp. 137–151.

QAPL-2006-SotinCJ #behaviour #java #static analysis

Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card (PS, DC, TPJ), pp. 153–167.

QAPL-2006-VigliottiH #calculus #probability

Stochastic Ambient Calculus (MGV, PGH), pp. 169–186.

QAPL-2006-WolfBM06a #nondeterminism #probability #semantics

Trace Semantics for Stochastic Systems with Nondeterminism (VW, CB, MEMC), pp. 187–204.

QAPL-2006-ZhangH #analysis #formal method #protocol #streaming

Formal Analysis of Streaming Downloading Protocol for System Upgrading (MZ, DVH), pp. 205–224.