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: online.


9.00am-9.56am Milan, 3.00am-3.56am NYC: Session 1

  • Salah Al-Deen Almousa, Gábor Horváth, Illes Horvath, Andras Meszaros and Miklos Telek. The CME method: Efficient numerical inverse Laplace transformation with Concentrated Matrix Exponential distribution.
  • Sebastian Allmeier and Nicolas Gast. rmf_tool – A library to Compute (Refined) Mean Field Approximation(s).
  • Giulio Masetti, Leonardo Robol, Silvano Chiaradonna and Felicita Di Giandomenico. TAPAS: a tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States.
  • Moreno Marzolla. Queueing Networks and Markov Chains Analysis with the Octave queueing package.

10.00am-10.56am Milan, 4.00am-4.56am NYC: Session 2

  • Vittorio Cortellessa, Daniele Di Pompeo, Vincenzo Stoico and Michele Tucci. Software Model Refactoring Driven by Performance Antipattern Detection.
  • Carlos E. Budde. FIG: The Finite Improbability Generator v1.3.
  • Paolo Ballarini, Benoit Barbot. Cosmos: Evolution of a statistical model checking platform.
  • Matthew Sheldon, Giuliano Casale. TauSSA: Simulating Markovian Queueing Networks with Tau Leaping.

11.00am-11.42am Milan, 5.00am-5.42am NYC: Session 3

  • Catalina M Lladó. PIPE 2.7 overview. A Petri net tool for performance modeling and evaluation.
  • Laura Carnevali, Marco Paolieri and Enrico Vicario. The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems.
  • Elvio Gilberto Amparore. Stochastic modelling and evaluation using GreatSPN.

11.42am-12.16am Milan, 5.42am-6.16am NYC: Session 4

  • Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin. ERODE: Evaluation and Reduction of Differential Equations, Chemical Reaction Networks, Boolean Networks.
  • Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte. Automated and Distributed Statistical Analysis of Economic Agent-based Models.
  • Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin. A Software Engineering Approach to Quantitative Security Risk Modeling and Analysis using QFLan.

12.30am-1.00pm Milan, 6.30am-7.00am NYC: Invited talk

  • Arnd Hartmanns. Competing with Probabilities: Challenges and Outcomes of QComp.

Invited talk: Competing with Probabilities: Challenges and Outcomes of QComp, Arnd Hartmanns
Arnd Hartmanns is an assistant professor in the Formal Methods and Tools group at the University of Twente. He completed his Ph.D. in computer science at Saarland University with a thesis On the Analysis of Stochastic Timed Systems in 2015. His primary research interests are modelling tools and formalisms for stochastic timed and hybrid systems and their applications in various fields. He leads the development of the Modest Toolset for quantitative modelling, simulation, and verification. He advocates for reproducibility in Computer Science research, via artifact evaluation initiatives, tool competitions, and standardised benchmark sets. He co-chaired the artifact evaluation committees of TACAS 2018, 2020, and QEST 2021, and co-organised the QComp 2019 and 2020 competitions of tools for the analysis of quantitative formal models.

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

Technical Program committee:
Elvio Amparore
Peter Buchholz
Giuliano Casale
Davide Cerotti
Leana Golubchik
Marco Gribaudo
Catalina Lladò
David Parker

Important dates:
Submission of contribution by: September 30, 2021 October 9, 2021.
Final Camera Ready version due: October 30, 2021 November 5, 2021.