Submit to:

  • TACAS 2022: 28th International Conference on Tools and Algorithms for the Constructi...

Attend to:

  • QEST 2021: 18th International Conference on Quantitative Evaluation of SysTems
  • CONCUR 2021: 32nd International Conference on Concurrency Theory
  • FM 2021: 24th International Symposium on Formal Methods

Latest notes

Presentation at the Dependable Systems and Software Group, Saarland University
This is the video presented at NFM 2020 by Arnd Hartmanns of our joint work
Charla dictada en las Jornadas de Computación el marco del Mes de la Ciencia de 2019 en la FAMAF
Participación en el programa 5 Noches en vísperas de las PASO 2019