Call for Papers

SCOPE

Performance evaluation methodologies based on structured Markov chains have taken a more prominent role over the last two decades. During this time, due to the strong exploitation of the involved structures, the techniques used to assess the performance measures of interest have advanced significantly in terms of their efficiency, while becoming more complex at the same time. This increased complexity often acts as an opposing force to a more wide spread use of these advanced methodologies.
Making these novel techniques more accessible via a set of software tools is therefore essential to further promote their integration in the system design.
This workshop solicits papers on software tools for solving structured Markov chains (MCs); topics include (but are not restricted to):

• Infinite (countable/continuous) and finite (large) MCs
• Continuous- and discrete-time MCs
• Markov decision processes
• Bounding and approximation methods for large MCs
• Skip-free (QBD, M/G/1, GI/M/1 type) and non-skip-free MCs
• Level dependent and independent MCs
• Tree-structured and tree-like MCs
• Fluid flow queues
• MCs with a regenerative structure
• MCs with tensor structure
• Nearly completely decomposable MCs
• Queuing systems with an underlying structured MC
• Logics and MCs

Applications of large MCs for:

• Performance of computer and communication systems
• Dependability and security analysis
• Computation of PageRank
• Information retrieval
• Analysis of biological systems

Tools for computing the following type of performance measures are requested:

• Transient and steady state probabilities
• First passage times
• Decay rates, loss rates
• Distributions and moments

Authors of accepted papers are strongly encouraged to demonstrate their software tool during the Exhibition/demos session; this would be an ideal opportunity for the authors to foster a direct discussion of their work with the attendees.

IMPORTANT DATES

SUBMISSION INSTRUCTIONS

Conference language is English. Prospective authors are encouraged to submit a PDF version of the full paper in the ACM conference proceedings format, which are limited to 10 two-column pages in a font no smaller than 10-points. Paper submission will be handled electronically through Cocus.

PUBLICATION

All submitted papers will go through a peer review process. All accepted papers will be made available in Association for Computing Machinery (ACM) Digital Library.