Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Antonio Cerone, Herbert Wiklicky
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages
QAPL, 2006.

no DBLP info
Full names Links ISxN
	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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.