PASM 2012 Accepted Papers

Allan Clark, Stephen Gilmore, Maria Luisa Guerriero and Jane Hillston. Conservation of Mass Analysis for Bio-PEPA
Kanat Aidarov, Paul Ezhilchelvan and Isi Mitrani. Energy-aware management of customer streams
Dimitrios Milios and Stephen Gilmore. Markov chain simulation with fewer random samples
Igor Tarasyuk, Hermenegilda Macia and Valentin Valero. Discrete time stochastic Petri box calculus with immediate multiactions
Enrico Barbierato, Gian-Luca Dei Rossi, Marco Gribaudo, Mauro Iacono and Andrea Marin. Exploiting product form solution techniques in multiformalism modeling
Jasen Markovski, Enrique Estens Musa and Michel Reniers. Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking
Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao and Xuandong Li. Modeling and Evaluation of Wireless Sensor Network Protocols by Stochastic Timed Automata
Elvio Gilberto Amparore and Susanna Donatelli. Backward solution of Markov chains and Markov Renewal Processes: formalization and applications
Allan Clark, Stephen Gilmore, Anastasis Georgoulas, Jane Hillston, Ian Stark, Chris Banks and Dimitrios Milios. Stochastic Modelling of the Kai-based Circadian Clock
Joaquim Assuncao, Luciana Espindola, Paulo Fernandes, Maria Pivel and Afonso Sales. A structured stochastic model for prediction of geological stratal stacking patterns
Erin Scott, Andrew Hoyle and Carron Shankland. PEPAd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, illustrated by a Pacific oyster case study