Pedro R. D'Argenio
Scholar

Pedro R. D'Argenio

Google Scholar ID: Z7i2nckAAAAJ
FAMAF, Universidad Nacional de Córdoba - CONICET
Formal MethodsDependable Systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,407
 
H-index
33
 
i10-index
66
 
Publications
20
 
Co-authors
37
list available
Contact
No contact links provided.
Publications
2 items
Effective Stochastic Automata Model Checking by Interval Abstraction (extended version)
2026
Cited
0
Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
2025
Cited
0
Resume (English only)
Co-authors
37 total
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Holger Hermanns
Holger Hermanns
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Arnd Hartmanns
Arnd Hartmanns
University of Twente
Carlos E. Budde
Carlos E. Budde
Associate Professor @ Technical University of Denmark, DTU Compute
Sean Sedwards
Sean Sedwards
University of Waterloo
Co-author 6
Co-author 6
Kim G. Larsen
Kim G. Larsen
Director, Professor Aalborg University
Co-author 8
Co-author 8