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:

C. E. Budde, D'Argenio, P. R. , Hartmanns, A. , and Sedwards, S. , “A Statistical Model Checker for Nondeterminism and Rare Events”, in Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, vol. 10806, D. Beyer and Huisman, M. , Eds. Springer, 2018, pp. 340–358.PDF icon paper-784.pdf (795.55 KB)
H. Hermanns, Biewer, S. , D'Argenio, P. R. , and Köhl, M. A. , “Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions”, in LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, vol. 57, G. Barthe, Sutcliffe, G. , and Veanes, M. , Eds. EasyChair, 2018, pp. 1–17.PDF icon paper-785.pdf (3.06 MB)
P. R. D'Argenio, Gerhold, M. , Hartmanns, A. , and Sedwards, S. , “A Hierarchy of Scheduler Classes for Stochastic Automata”, in Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, vol. 10803, C. Baier and Dal Lago, U. , Eds. Springer, 2018, pp. 384–402.PDF icon paper-788.pdf (1.2 MB)
P. R. D'Argenio, Hartmanns, A. , and Sedwards, S. , “Lightweight Statistical Model Checking in Nondeterministic Continuous Time”, in Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, vol. 11245, T. Margaria and Steffen, B. , Eds. Springer, 2018, pp. 336–353.PDF icon paper-786.pdf (1.29 MB)
P. R. D'Argenio and Monti, R. E. , “Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism”, in Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, vol. 11187, B. Fischer and Uustalu, T. , Eds. Springer, 2018, pp. 132–152.PDF icon paper-787.pdf (597.6 KB)
P. R. D'Argenio, Budde, C. E. , Lee, M. D. , Monti, R. E. , Rodríguez, L. , and Wolovick, N. , “The Road from Stochastic Automata to the Simulation of Rare Events”, in ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500, J. - P. Katoen, Langerak, R. , and Rensink, A. , Eds. Springer, 2017, pp. 276-294.PDF icon paper-752.pdf (1.51 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