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 Secretary of Science and Technology and 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, Lee, M. D., and Monti, R. E., Input/Output Stochastic Automata - Compositionality and Determinism, in Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, vol. 9884, M. Fränzle and Markey, N. Springer, 2016, pp. 53–68.PDF icon paper-654.pdf (1.49 MB)
P. R. D'Argenio, Hartmanns, A., Legay, A., and Sedwards, S., Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata, in Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, vol. 9681, E. Ábrahám and Huisman, M. Springer, 2016, pp. 99-114.PDF icon paper-632.pdf (463.65 KB)
P. R. D'Argenio, Legay, A., Sedwards, S., and Traonouez, L. - M., Smart sampling for lightweight verification of Markov decision processes, International Journal on Software Tools for Technology Transfer, vol. 17, pp. 469–484, 2015.PDF icon paper-554.pdf (959.43 KB)
P. R. D'Argenio, Lee, M. D., and Gebler, D., SOS rule formats for convex and abstract probabilistic bisimulations, in Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2015, Madrid, Spain, 31st August 2015., vol. 190, S. Crafa and Gebler, D. 2015, pp. 31–45.PDF icon paper-553.pdf (205.49 KB)
C. E. Budde, D'Argenio, P. R., and Hermanns, H., Rare Event Simulation with Fully Automated Importance Splitting, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, vol. 9272, M. Beltrán, Knottenbelt, W. J., and Bradley, J. T. Springer, 2015, pp. 275–290.PDF icon paper-552.pdf (309.05 KB)

Pages

Powered by Drupal