09.00 – 10.00 Keynote talk: Gerard Holzman
10.05 – 10.15 PASM Welcome
10.15 – 10.55 Session 1.
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
11.00 – 11.30 Coffee Break
11.30 – 12.30 Session 2.
Jasen Markovski, Enrique Estens
Musa and Michel Reniers. Extending
a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic
Model Checking
Elvio Gilberto Amparore and Susanna Donatelli. Backward solution of
Markov chains and Markov Renewal Processes: formalization and applications
Joaquim Assuncao, Luciana Espindola,
Paulo Fernandes, Maria Pivel and Afonso
Sales. A structured stochastic model for prediction of geological stratal stacking patterns
12.30 – 13.30 Lunch
13.30 – 14.30 Keynote Talk: Bill
Sanders
14.30 -15.30 Session 3.
Kanat Aidarov, Paul Ezhilchelvan and Isi Mitrani. Energy-aware
management of customer streams
Fengling Zhang,
Lei Bu, Linzhang Wang, Jianhua
Zhao and Xuandong Li. Modeling and Evaluation of
Wireless Sensor Network Protocols by Stochastic Timed Automata
Enrico Barbierato, Gian-Luca
Dei Rossi, Marco Gribaudo, Mauro Iacono
and Andrea Marin. Exploiting product form
solution techniques in multiformalism modeling
15.30 – 16.00 Break
16.00 – 17.00 Session 4.
Allan Clark, Stephen Gilmore, Maria Luisa Guerriero and Jane Hillston. Conservation
of Mass Analysis for Bio-PEPA
PEPAd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA,
illustrated by a Pacific oyster case study
Stochastic Modelling of the Kai-based
Circadian Clock