Scholar
Pedro R. D'Argenio
Google Scholar ID: Z7i2nckAAAAJ
FAMAF, Universidad Nacional de Córdoba - CONICET
Formal Methods
Dependable Systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,407
H-index
33
i10-index
66
Publications
20
Co-authors
37
list available
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
Co-authors
13 total
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Holger Hermanns
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Arnd Hartmanns
University of Twente
Carlos E. Budde
Associate Professor @ Technical University of Denmark, DTU Compute
Sean Sedwards
University of Waterloo
Kim G. Larsen
Director, Professor Aalborg University
Frits W. Vaandrager
Professor of Computer Science, Radboud University
Nicolás Wolovick
Full Professor of Computer Science, Universidad Nacional de Córdoba
