Pedro R. D'Argenio


Full Professor
Researcher CONICET (Adjunto)
text hidden; JavaScript is required / home page

Pedro R. D’Argenio received the MS degree (Licenciatura) in Computer Science at the Universidad Nacional de La Plata (Argentina) in 1994. He did his PhD in Computer Science at the University of Twente (The Netherlands) under the supervision of Ed Brinksma (1999), where he also did his postdoc. 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 Director of the PhD program in Computer Science at FaMAF, UNC and Visiting Professor at the Dependable Systems and Software Group, Department of Computer Science, Universität des Saarlandes. He is also member of the editorial board of JLAMP (previously JLAP), founding member of the IFIP WG 1.8, Steering Committee member of CONCUR and QEST, and member of SADIO and IEEE.

Publications:

P. R. D'Argenio and Gebremichael, B., The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation, in CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005, vol. LNCS 3653, pp. 125-140.
M. Bravetti and D'Argenio, P. R., Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions, in Validation of Stochastic Systems - A Guide to Current Research, 2004, vol. LNCS 2925, pp. 44-88.PDF icon paper-29.pdf (637.4 KB)
P. R. D'Argenio and Niebert, P., Partial Order Reduction on Concurrent Probabilistic Programs, in 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004, pp. 240-249.PDF icon paper-28.pdf (884.87 KB)
G. Barthe, D'Argenio, P. R., and Rezk, T., Secure Information Flow by Self-Composition, in 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 2004, pp. 100-114.PDF icon paper-27.pdf (1.18 MB)

Pages

Powered by Drupal