Fourth International Workshop on Practical Applications of Stochastic Modelling

PASM'09

Thursday 24th September 2009

Imperial College London

(Official MASCOTS 2009 workshop)

Scope
Programme
Registration
Important dates
Location
Invited speakers

Publication
Instructions to authors
Programme Committee
Links

Scope of Workshop

We encourage papers which apply current well-developed formalisms (stochastic Petri nets, stochastic process algebras, layered queueing networks, etc) to real-world case-studies. These studies might be of traditional web-service, Grid or computer architectures but also we strongly encourage studies from inter-disciplinary collaborations, such as biological and physical systems.

The common link is to see how researchers from diverse fields have overcome the problem of modelling large concurrent and stochastic communicating systems to obtain the particular style of stochastic metric that is important to their field.

Successful contributions may have demonstrated some novel theoretic advance to model their system or will have been diligent in constructing a detailed and realistic stochastic or probabilistic model and carried the modelling through to the analysis phase. Extra credit will be given for models which are backed up by experiment or simulation.

The aim is to end up with a collection of papers which could be used as outstanding examples of modelling practice in the field of stochastic modelling and exhibit all phases of the modelling lifecycle.

Some suggested topics on which we would encourage submission, are listed below. This is by no means an exhaustive list and any paper in the general area of the conference scope would be warmly welcomed.

Case-study analysis using stochastic paradigms and novel analytic variations on those paradigms to enable better practical analysis, e.g.:
- stochastic process algebras
- stochastic Petri nets
- layered queueing networks
- stochastic automata networks
- queueing networks
- fluid stochastic Petri nets
- stochastic ambient calculus

Specific interdisciplinary topics that we would be particularly interested to hear from include application of systematic probabilistic or stochastic analysis techniques to, for instance:
- biological/epidemiological models
- models of computer virus/worm infection
- spatial modelling of chemical/nuclear reactions
- decision making, planning and scheduling
- geophysical models of large dynamical systems: e.g. weather/ocean systems, lava flows

Stochastic and probabilistic models from computing areas such as:
- power consumption/conservation
- computer security
- web-services and Grid
- distributed and fault-tolerant systems
- adhoc wireless communication systems
- embedded systems
- safety-critical systems
- computer architecture

Important dates

Paper submission deadline: 12th July 2009
Notification to authors: 14th August 2009
Camera-ready deadline: 1st September 2009 (HARD DEADLINE)
Workshop: 24th September 2009
CRC deadline for ENTCS proceedings: 23rd October 2009

Workshop location

PASM'09 is collocated with MASCOTS 2009 and will be at Imperial College London, UK. See the MASCOTS travel page for more information.

PASM 2009 will be held at Imperial's Department of Computing, which is located in the Huxley Building at 180 Queen's Gate, South Kensington.

PASM 2009 will be held in Rooms 217 and 218, which can be reached via the Department of Computing's Queen's Gate entrance. Once through the main entrance doors, please turn left and PASM will be straight ahead of you through the entrance to the main Computing Lab. Local organisers will also be on-hand on the day to direct you.

For instructions on how to get to the South Kensington campus and Huxley Building, please visit the map and travel information page on the Department of Computing's web site

Please also see the MASCOTS directions page for specific directions from local hotels to Imperial's Department of Computing.

Invited speakers

Prof Michael Harrison, Newcastle University, UK.
"Modelling interactive experience, function and performance in ubiquitous systems"
Dr Katinka Wolter, Freie Universität Berlin, Germany.
"Stochastic Models for Dependable Services"

Programme

09.15 Tea/coffee/registration
Session 1: (Chair Nigel Thomas)
09.40 Invited talk: Prof Michael Harrison
10.30 Tea/coffee
Session 2: (Chair Jeremy Bradley)
11.00 talk 1: Federica Ciocchetta and Jane Hillston. Bio-PEPA for epidemiological models
11.20 talk 2: Marco Gribaudo and Pietro Piazzolla. Analysis of Television and Cinema Productions using Mean Field Models
11.40 talk 3: Anne Remke, Jorrit Schippers, Boudewijn Haverkort, Maarten Wegdam and Henk Punt. Scalability Analysis of Instant Messaging and Presence Architectures
12.00 talk 4: Joris Slegers. A Langevin interpretation of PEPA-models
12.20 lunch
Session 3: (Chair Nick Dingle)
13.40 Invited talk: Dr Katinka Wolter
14.30 Tea/coffee
Session 4: (Chair Will Knottenbelt)
15.00 talk 5: María-Estrella Sousa-Vieira, Andrés Suárez-González, Raúl-Fernando Rodríguez-Rubio and Cándido López-García. Flexible adjustment of the short-term correlation of LRD M/G/inf-based processes
15.20 talk 6: Gábor Imre, Márk Kaszó, Tihamer Levendovszky and Hassan Charaf. A Novel Cost Model of XML Serialization
15.40 talk 7: Sofia Dimitriadou and Helen Karatza. Multi-Site Allocation Policies on a Grid and Local Level
16.00 talk 8: Diego Pérez and Jose Merseguer. Performance evaluation of self-reconfigurable service-oriented software with stochastic Petri nets
16.20 close

Publication

The proceedings of PASM'09 will appear as an issue of Elsevier's ENTCS (Electronic Notes in Theoretical Computer Science). This will appear after the workshop. Delegates at the workshop will be given an informal proceedings for the event.

Instructions to authors

Electronic paper submission will be available through Easy Chair.

Papers should be original work of between 15 and 20 pages long, including figures and bibliography, and in single-column format. Submission is required in uncompressed Postscript or PDF format. Word files cannot be accepted.