Browsing byAuthorRosenblum, DS
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
2016-07-01 | Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters | Su, G; Feng, Y; Chen, T; Rosenblum, DS |
2014-01-01 | Perturbation analysis in verification of Discrete-time Markov Chains | Chen, T; Feng, Y; Rosenblum, DS; Su, G |
2017-07-19 | ProEva: Runtime proactive performance evaluation based on continuous-time markov chains | Su, G; Chen, T; Feng, Y; Rosenblum, DS |