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