Filters: Author is Henrik Ejersbo Jensen  [Clear All Filters]
2002
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.PDF icon 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.PDF icon paper-200.pdf (327.48 KB)

Pedro R. D'Argenio (pedro.dargenio [at] unc.edu.ar)
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