Author of the publication

An open tool to compute stochastic bounds on steady-state distributions and rewards.

, , , and . MASCOTS, page 219-. IEEE Computer Society, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model Checking of Infinite State Space Markov Chains by Stochastic Bounds., and . ASMTA, volume 5055 of Lecture Notes in Computer Science, page 264-278. Springer, (2008)Strong and weak stochastic bounds for multidimensional Markov chains., and . Int. J. Crit. Comput. Based Syst., 5 (1/2): 148-168 (2014)A Bounding Histogram Approach for Network Performance Analysis., , , and . HPCC/EUC, page 458-465. IEEE, (2013)Computing Bounds of the MTTF for a Set of Markov Chains., , and . ISCIS, volume 264 of Lecture Notes in Electrical Engineering, page 67-76. Springer, (2013)Bounding Aggregations for Transient and Stationary Performance Analysis of Subnetworks., , and . Comput. J., 55 (5): 564-576 (2012)Dynamic Fault Trees with Rejuvenation: Numerical Analysis and Stochastic Bounds., and . PASM, volume 327 of Electronic Notes in Theoretical Computer Science, page 27-47. Elsevier, (2016)Stochastic Bounds on Delays of Fair Queueing Algorithms.. INFOCOM, page 1212-1219. IEEE Computer Society, (1999)CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time., , and . QEST, page 211-212. IEEE Computer Society, (2007)Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains., and . QEST, page 177-186. IEEE Computer Society, (2009)Stochastic Bounds for Loss Rates., , , and . AICT, page 9. IEEE Computer Society, (2007)