Tenth International Workshop on Practical Applications of Stochastic Modelling

PASM'19

28th November 2019

Milan, Italy

(collocated with EPEW 2019)

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:
    • data science
    • power consumption/conservation
    • computer security
    • cloud computing
    • distributed and fault-tolerant systems
    • adhoc wireless communication systems
    • embedded systems
    • safety-critical systems
    • cyber-physical systems
    • smart cities
    • performance analysis of massively parallel 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: Tuesday 1st October 2019
  • Notification to authors: Friday 18th October
  • Camera-ready deadline: Wednesday 20th November 2019 (HARD DEADLINE)
  • Workshop: Thursday 28th November 2019 (note change of date)
  • CRC deadline for ENTCS proceedings: Monday 16th December 2019

Publication

The proceedings of PASM'19 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. Authors will have the opportunity to update papers for the ENTCS proceedings following the workshop.

Instructions to authors

Electronic paper submission will be available through Easy Chair.

Papers should be original work of between 12 and 18 pages long, including figures and bibliography, and in single-column format. Submission is required in PDF format. Word files cannot be accepted. Please follow the manuscript preparation guidelines on the ENTCS web page. Note that the ENTCS formatting has changed since the last PASM workshop with a smaller font and margins, so please make sure that you use the current version of the ENTCS macros. Science Direct uses a slightly different format, hence the page limit for PASM has been reduced to 18 pages to meet their requirements.

Accepted papers

Thursday 28th November 2019

Session 1: Full papers

9.30-11.00

  • 1 Loubna Echabbi, Jean-Michel Fourneau, Omar Gacem, Houda Lotfi and Nihal Pekergin N. Stochastic Bounds for the Max Flow in a Network with Discrete Random Capacities
  • 2 Luca Arnaboldi, Ricardo Melo Czekster, Roberto Metere and Charles Morisset Modelling Load-Changing Attacks in Cyber-Physical Systemsi
  • 3 Amin Soltanieh and Markus Siegle Compositional Model Checking and Model Repair for Product Form Models

Session 2: Late papers

11.30-13.00

  • 4 Ohud Almutairi and Nigel Thomas Performance modelling of the impact of cyber attacks on a web-based sales system
  • 5 Enrico Barbierato, Marco Gribaudo, Mauro Iacono and Alexander Levis On Evaluating the Safety of Crowds in Enclosed Spaces by Markovian Agents
  • 6 Lelio Campanile, Mauro Iacono, Stefano Marrone, Michele Mastroianni, On performance evaluation of security monitoring in multitenant cloud applications
  • 7 Ali Alssaiari and Nigel Thomas Energy Consumption by Servers under Unknown Service Demand

Programme Committee

Provisional

  • Nigel Thomas, Newcastle University
  • William Knottenbelt, Imperial College London
  • Matthew Forshaw, Newcastle University
  • Marco Gribaudo, Politecnico di Milano
  • Katja Gilly, Miguel Hernandez University
  • Andrea Marin, University of Venice
  • Jeremy Bryans, Centre for Mobility and Transport, Coventry University
  • Stephen Gilmore, School of Informatics, University of Edinburgh
  • Soraya Zertal, Universite de Versailles Saint-Quentin
  • Markus Siegle, Uni Bw Munich
  • Helen Karatza, Aristotle University of Thessaloniki
  • Sabine Wittevrongel, Ghent University
  • John Murphy, University College Dublin
  • Paulo Fernandes, Roberts Wesleyan College at Rochester, NY
  • Leila Kloul, Universite de Versailles
  • Paolo Zuliani, Newcastle University
  • Katinka Wolter, Freie Universitaet zu Berlin
  • Philipp Reinecke, Freie Universit√§t Berlin
  • Samuel Kounev, University of Wuerzburg
  • Andras Horvath, University of Turin
  • Miklos Telek, Budapest University of Technology and Economics
  • Andrea Vandin, DTU Technical University of Denmark
  • Peter Harrison, Imperial College London
  • Carlos Juiz, UIB Mallorca
  • Jean-Michel Fourneau, Universit√© de Versailles

Workshop organisers


William Knottenbelt
Imperial College London
 
Nigel Thomas,
Newcastle University
 
Matthew Forshaw,
Newcastle University
 

Send comments and questions to Nigel Thomas Last updated on 29th August 2019