Pedro R. D'Argenio

Filters: Author is Kim Guldstrand Larsen [Clear All Filters]

2017

C. E. Budde, D'Argenio, P. R., and Hartmanns, A., “Better Automated Importance Splitting for Transient Rare Events”, in Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, {SETTA} 2017, Changsha, China, October 23-25, 2017, Proceedings, vol. 10606, K. G. Larsen, Sokolsky, O., and Wang, J., Eds. Springer, 2017, pp. 42–58.

paper-323.pdf (1.03 MB)

2002

B. Jeannet, D'Argenio, P. R., and Larsen, K. G., “Rapture: A tool for verifying Markov Decision Processes”, in Tools Day'02, Brno, Czech Republic, 2002.

Google Scholar

paper-197.pdf (246.19 KB)

P. R. D'Argenio, Jeannet, B., Jensen, H. E., and Larsen, K. G., “Reduction and Refinement Strategies for Probabilistic Analysis”, in Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings, 2002, vol. 2399, pp. 57-76.

paper-198.pdf (384.84 KB)

2001

P. R. D'Argenio, Jeannet, B., Jensen, H. E., and Larsen, K. G., “Reachability Analysis of Probabilistic Systems by Successive Refinements”, in Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, 2001, vol. 2165, pp. 39-56.

paper-200.pdf (327.48 KB)

T. Amnell, Behrmann, G., Bengtsson, J., D'Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K. G., Möller, O. M., Pettersson, P., Weise, C., and Yi, W., “UPPAAL - Now, Next, and Future”, in Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000, vol. 2067, F. Cassez, Jard, C., Rozoy, B., and Ryan, M. D., Eds. Springer, 2001, pp. 99-124.

paper-203.pdf (444.91 KB)