Filters: Author is Kim Guldstrand Larsen [Clear All Filters]
“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, Springer, 2017, pp. 42–58. paper-323.pdf (1.03 MB)
, “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)
,