Monday 19th September 2011

0900–0930

Welcome, tea & coffee

0930–1030

Invited talk: Modulated First Order Fluid Models and Some Applications

Pete Harrison, Imperial College London

PDF of: Paper

1030–1100

A Case Study of Demand Estimation for a Multi-Threaded ERP Application

Giuliano Casale, Imperial College London

PDF of: Paper

1100–1130

Tea & coffee

1130–1200

Note on operational semantics for product-form solutions

Maria Grazia Vigliotti, Imperial College London

PDF of: Paper

1200–1230

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi

Michele Loreti, University of Florence

PDF of: Paper

1230–1300

Toward efficient parameter sweeping and optimisation of fluid performance models by Taylor-model based symbolic numerical integration

Richard Hayden, Imperial College London

PDF of: Paper

1300–1430

Lunch

1430–1500

Application of Hybrid Stochastic Simulation in the Analysis of PEPA Models

Alireza Pourranjbar, University of Edinburgh

PDF of: Paper

1500–1530

Refined Theory of Packages

Max Tschaikowski, Ludwig-Maximilians University Munich

PDF of: Paper

1530–1600

Normal and inhomogeneous moment closures for stochastic process algebras

Anton Stefanek, Imperial College London

PDF of: Paper

1600–1630

Tea & cofeee

1630–1700

A cross-layer Markov model of a multirate video source multi- plexer for adaptive ARQ wireless links

Carla Panarello, University of Catania

PDF of: Paper

1700–1730

Symbolic techniques in dependability assessment

Marco Scarpa, University of Messina

PDF of: Paper

Tuesday 20th September 2011

0930–1030

Invited talk: Bio-PEPAd: integrating exponential and deterministic delays

Jane Hillston, University of Edinburgh

PDF of: Paper

1030–1100

Semantic Queries for Biomedical Pathways

Renato Umeton, University of Roma La Sapienza

PDF of: Paper

1100–1130

Tea & coffee

1130–1200

A Rough Guide to Hybrid Limits of Continuous Time Markov Chains

Luca Bortolussi, University of Trieste

PDF of: Paper

1200–1230

A hybrid model of Tumor-Immune System interaction with Immunotherapies

Giulio Caravagna, University of Milano

PDF of: Paper

1230–1300

Fluid Analysis of Foraging Ants

Mieke Massink, Italian National Research Council

PDF of: Paper

1300–1430

Lunch

1430–1500

Towards an automatic modularisation of Bio-PEPA models

Maria Luisa Guerriero, University of Edinburgh

PDF of: Paper

1500–1530

Applying bisimulation and invariants to alternate pathways in a signalling cascade

Vashti Galpin, University of Edinburgh

PDF of: Paper

1530–1600

A translation from the Narrative Language to Bio-PEPA

Anastasis Georgoulas, University of Edinburgh

PDF of: Paper

1600–1630

Formal Methods to Specify Crosstalk Among Different Signalling Pathways

Xian Yang, Imperial College London

PDF of: Paper

1630–1700

Refreshments & Closing