Nathalie Bertrand, Luca Bortolussi
Proceedings of the 12th International Workshop on Quantitative Aspects of Programming Languages and Systems
QAPL, 2014.

@proceedings{QAPL-2014,
	address       = "Grenoble, France",
	doi           = "10.4204/EPTCS.154",
	editor        = "Nathalie Bertrand and Luca Bortolussi",
	series        = "{EPTCS}",
	title         = "{Proceedings of the 12th International Workshop on Quantitative Aspects of Programming Languages and Systems}",
	volume        = 154,
	year          = 2014,
}

Contents (7 items)

2 ×#markov
2 ×#modelling
2 ×#process

QAPL-2014-LatellaLMS #communication

Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.

QAPL-2014-MiculanP #aspect-oriented #nondeterminism #process

GSOS for non-deterministic processes with quantitative aspects (MM, MP), pp. 17–33.

QAPL-2014-TschaikowskiT #algebra #biology #difference #performance #process

Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.

QAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named #refinement

MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 48–63.

QAPL-2014-Feng #distributed #hybrid #modelling #probability #using

Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE — ZebraNet as an Example (CF0), pp. 64–77.

QAPL-2014-KempfLM #design #formal method #manycore

Formal and Informal Methods for Multi-Core Design Space Exploration (JFK, OL, OM), pp. 78–92.

QAPL-2014-SpielerHZ #markov #model checking #modelling

Model Checking CSL for Markov Population Models (DS, EMH, LZ), pp. 93–107.