Pedro R. D'Argenio


Professor (Profesor Titular)
Researcher CONICET (Independiente)

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:

I. Castellani, D'Argenio, P. R. , Mousavi, M. Reza, and Sokolova, A. , Special issue on Open Problems in Concurrency Theory, J. Log. Algebraic Methods Program., vol. 130, p. 100823, 2023.PDF icon paper-822.pdf (168.6 KB)
P. R. D'Argenio, Optimal Route Synthesis in Space DTN Using Markov Decision Processes, in Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings, vol. 14446, E. Ábrahám, Dubslaff, C. , and Tarifa, S. Lizeth Tap, Eds. Springer, 2023, pp. 1–3.PDF icon paper-827.pdf (108.22 KB)
P. F. Castro, D'Argenio, P. R. , Demasi, R. , and Putruele, L. , Quantifying Masking Fault-Tolerance via Fair Stochastic Games, in Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, Antwerp, Belgium, 18th September 2023, vol. 387, C. Mezzina and Caltais, G. , Eds. Open Publishing Association, 2023, pp. 132-148.PDF icon paper-826.pdf (241.24 KB)
C. E. Budde, D'Argenio, P. R. , Monti, R. E. , and Stoelinga, M. , Analysis of non-Markovian repairable fault trees through rare event simulation, Int. J. Softw. Tools Technol. Transf., vol. 24, pp. 821–841, 2022.PDF icon paper-821.pdf (1.09 MB)
P. R. D'Argenio, Fraire, J. A. , Hartmanns, A. , and Raverta, F. D. , Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks, in Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings, vol. 13479, E. Ábrahám and Paolieri, M. , Eds. Springer, 2022, pp. 337–355.PDF icon paper-819.pdf (1.5 MB)
P. F. Castro, D'Argenio, P. R. , Demasi, R. , and Putruele, L. , Playing Against Fair Adversaries in Stochastic Games with Total Rewards, in Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, vol. 13372, S. Shoham and Vizel, Y. , Eds. Springer, 2022, pp. 48–69.PDF icon paper-820.pdf (455.94 KB)

Pages