Teaching:

Visit:

Submit to:

  • ASSE 2024: Simposio Argentino de Ingeniería de Software
  • QEST+FORMATS 2024: Intl.Conf. on Quantitative Evaluation of SysTems & Formal Modeling a...
  • CONCUR 2024: 35th International Conference on Concurrency Theory
  • FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical...

Attend to:

  • RIO 2024: 29º Escuela de Verano de Ciencias Informáticas
  • CONFEST 2024: CONFEST is an umbrella event including CONCUR, QEST+FORMATS, and Worksho...

Latest notes

Invited Speaker at ICTAC 2023 in Lima, Peru
In this occasion I talked about "Optimal Route Synthesis in Space DTN using Markov Decision Processes"
Invited Seminar at ICTAC 2023 Training School on Applied Formal Methods
I gave a 3 hours mini-course on "Probabilistic Model Checking"
Quantifying Masking Fault-Tolerance via Fair Stochastic Games
Technical presentation at EXPRESS/SOS 2023, CONFEST 2023, Antwerp, Belgium
Luchando contra Errores, Fallas y Chantadas para construir Software Confiable
Charla dictada en el marco del Mes de la Ciencia de 2022 en la FAMAF
more...

Pedro R. D'Argenio (pedro.dargenio [at] unc.edu.ar)
Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054