Dependable Systems Group

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:

G. Barthe, D'Argenio, P. R. , and Rezk, T. , “Secure information flow by self-composition”, Mathematical Structures in Computer Science, vol. 21, no. 6, pp. 1207-1252, 2011.

paper-9.pdf (411.05 KB)

M. D. Lee and D'Argenio, P. R. , “Describing Secure Interfaces with Interface Automata”, Electr. Notes Theor. Comput. Sci., vol. 264, no. 1, pp. 107-123, 2010.

paper-12.pdf (474.34 KB)

M. D. Lee and D'Argenio, P. R. , “A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis”, in SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, 2010, pp. 280-289.

paper-10.pdf (320.38 KB)

G. Calin, Crouzen, P. , D'Argenio, P. R. , Hahn, E. M. , and Zhang, L. , “Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains”, in Model Checking Software - 17th International SPIN Workshop, 2010, vol. LNCS 6349, pp. 193-211.

paper-11.pdf (315.45 KB)

S. Giro and D'Argenio, P. R. , “On the Expressive Power of Schedulers in Distributed Probabilistic Systems”, Electr. Notes Theor. Comput. Sci., vol. 253, no. 3, pp. 45-71, 2009.

paper-18.pdf (525.34 KB)

S. Andova, McIver, A. , D'Argenio, P. R. , Cuijpers, P. J. L. , Markovski, J. , Morgan, C. , and Núñez, M. , Eds., “Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications”, QFM, vol. 13. 2009.