Seventh International Workshop on Practical Applications of Stochastic Modelling


13th May 2014

Newcastle University, UK

(Official EDCC 2014 workshop)

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
    • SLAs for Cloud computing archiectures
    • Performance analysis of GPU architectures
  • Methods for the solution of practical large-scale problems, for instance:
    • Parallel and distributed solution of Markov chains
    • Performance analysis using GPU-accelerated architectures
    • Fluid approximations
    • Mean field analysis
    • Stochastic simulation
    • Product form solution
    • MTBDD based methods
    • State space reduction

Important dates

  • Paper submission deadline: 10th March 2014
  • Notification to authors: 4th April 2014
  • Camera-ready deadline: 2nd May 2014
  • Workshop: 13th May 2014
  • CRC deadline for ENTCS proceedings:13th June 2014


The proceedings of PASM'14 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. Please follow the manuscript preparation guidelines on the ENTCS web page.

Programme Committee (tbc)

  • Jeremy Bradley
  • Jeremy Bryans
  • Tadeusz Czachorski
  • David Daly
  • Nicholas Dingle
  • Paulo Fernandes
  • Natarajan Gautam
  • Katja Gilly
  • Stephen Gilmore
  • Marco Gribaudo
  • Andras Horvath
  • Helen Karatza
  • Leila Kloul
  • William Knottenbelt
  • Samuel Kounev
  • Andrea Marin
  • Michele Mazzucco
  • John Murphy
  • David Parker
  • Kalyan Perumalla
  • Markus Siegle
  • Mirco Tribastone
  • Sabine Wittevrongel
  • Katinka Wolter
  • Soraya Zertal
  • Avelino Zorzo
  • Paolo Zuliani

Workshop organisers

Jeremy Bradley and William Knottenbelt
Imperial College London
Nigel Thomas,
Newcastle University

Send comments and questions to Nigel Thomas Last updated on 12th December 2013