Pedro R. D'Argenio
Professor (Profesor Titular)
Researcher CONICET (Independiente)
Personal page

Pedro received the MS degree (Licenciatura) in Computer Science from the Universidad Nacional de La Plata (Argentina) in 1994. He obtained his PhD in Computer Science from the University of Twente (The Netherlands) under the supervision of Ed Brinksma (1999), where he later held a postdoc position. Pedro was also research associate at LIF, Université de Provence (France), and visiting researcher at the University of Twente. His research interests are in formal methods to achieve dependable systems, particularly in model checking, process algebra, process semantics, and quantitative analysis.
Currently, Pedro is Visiting Professor at the Dependable Systems and Software Group, Department of Computer Science, Universität des Saarlandes. He was Secretary of Science and Technology of FAMAF and Director of the PhD program in Computer Science at FAMAF, UNC. He is also member of the editorial board of JLAMP, founding member and current Chair of the IFIP WG 1.8, Steering Committee member of CONCUR, and member of SADIO.

Publications:

L. Putruele, Demasi, R. , Castro, P. F. , and D'Argenio, P. R. , “MaskD: A Tool for Measuring Masking Fault-Tolerance”, in Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, vol. 13243, D. Fisman and Rosu, G. , Eds. Springer, 2022, pp. 396–403.PDF icon paper-818.pdf (453.21 KB)
S. Biewer, D'Argenio, P. R. , and Hermanns, H. , “Doping Tests for Cyber-Physical Systems”, ACM Trans. Model. Comput. Simul., vol. 31, no. 3, p. Article 16, 2021.PDF icon paper-814.pdf (1.02 MB)
C. E. Budde, D'Argenio, P. R. , Hartmanns, A. , and Sedwards, S. , “An efficient statistical model checker for nondeterminism and rare events”, Int. J. Software Tools Technology Transfer, vol. 22, pp. 759–780, 2020.PDF icon paper-796.pdf (1.05 MB)
C. Baier, D'Argenio, P. R. , and Hermanns, H. , “On the probabilistic bisimulation spectrum with silent moves”, Acta Informatica, vol. 57, pp. 465–512, 2020.PDF icon paper-797.pdf (867.02 KB)
C. E. Budde, Biagi, M. , Monti, R. E. , D'Argenio, P. R. , and Stoelinga, M. , “Rare Event Simulation for Non-Markovian Repairable Fault Trees”, in Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I, vol. 12078, A. Biere and Parker, D. , Eds. Springer, 2020, pp. 463–482.PDF icon paper-793.pdf (4.43 MB)
P. R. D'Argenio, Fraire, J. A. , and Hartmanns, A. , “Sampling Distributed Schedulers for Resilient Space Communication”, in NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, vol. 12229, R. Lee, Jha, S. , and Mavridou, A. , Eds. Springer, 2020, pp. 291–310.PDF icon paper-794.pdf (5.73 MB)

Pages

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