Pedro R. D'Argenio
Scholar

Pedro R. D'Argenio

Google Scholar ID: Z7i2nckAAAAJ
FAMAF, Universidad Nacional de Córdoba - CONICET
Formal MethodsDependable Systems
Citations & Impact
All-time
Citations
1,033
 
H-index
16
 
i10-index
29
 
Publications
20
 
Co-authors
37
list available
Resume (English only)
Academic Achievements
  • Invited Speaker at ICTAC 2023 in Lima, Peru, presenting 'Optimal Route Synthesis in Space DTN using Markov Decision Processes'
  • Delivered a 3-hour mini-course on 'Probabilistic Model Checking' at the ICTAC 2023 Training School on Applied Formal Methods
  • Gave a technical presentation titled 'Quantifying Masking Fault-Tolerance via Fair Stochastic Games' at EXPRESS/SOS 2023 and CONFEST 2023 in Antwerp, Belgium
  • Presented a public lecture titled 'Luchando contra Errores, Fallas y Chantadas para construir Software Confiable' during FAMAF’s Science Month in 2022
  • Involved in organizing or contributing to international conferences including ASSE 2024, QEST+FORMATS 2024, CONCUR 2024, and FMICS 2024