Filters: Author is Bertrand Jeannet [Clear All Filters]
“Rapture: A tool for verifying Markov Decision Processes”, in Tools Day'02, Brno, Czech Republic, 2002. paper-197.pdf (246.19 KB)
, “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)
, “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)
, “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, Springer, 2001, pp. 99-124. paper-203.pdf (444.91 KB)
,