Tools for Stochastic Modelling and Evaluation (performance, dependability, security and verification)

Objective: To take stock of the tools for stochastic modelling and evaluation.

Workshop modality: mixed, online ensured, while attendance in person possible depending on COVID-19 evolution. Check the main conference page for updated information.

Type of Contributions: up to 5 pages (+1 for references) submissions with an overview of the tools functionalities, input languages and formalisms, underlying techniques, peculiarities, case studies in which the tool has been used, as well as tool availability and distribution license. Tools could have (and most likely have) been published before.

Type of Publication: papers will be published in ACM PER. We recall that papers in PER are not copyrighted.

Submission format: please follow the indications for ACM PER format in

Submission site:

Tools of interest. Existing tools that can be used by other researchers and practitioners.
Tools that allow to specify systems and stochastic properties, to be evaluated with any type of analysis techniques. Specification languages/formalisms of interest include, but are not limited to, queueing networks, stochastic Petri nets, stochastic process algebras, agent-based models, UML-derived models, fault trees and extensions, attack graphs, as well as languages for the straight description of stochastic processes like Markov chains and Markov Decision processes.
Properties of interest include, but are not limited to: classical performance indices, dependability and availability measures, resilience and security assessment measures, stochastic path properties.
Libraries that support simulation and analysis, and tools for the estimation of model’s parameters from real data are also of interest.

Workshop chairs:
Susanna Donatelli
Giuliana Franceschinis

Tools evaluation committee: TBA

Important dates:
Submission of contribution by September 30, 2021.
Final version due: October 30, 2021.