David S. Rosenblum

最新发表

Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum (2017). ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains. 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

引用 DOI

Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan (2016). An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. Fundamental Approaches to Software Engineering.

引用

Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum (2016). Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters. IEEE Transactions on Software Engineering.

引用 DOI

Taolue Chen, Yuan Feng, David S. Rosenblum, Guoxin Su (2014). Perturbation Analysis in Verification of Discrete-Time Markov Chains. CONCUR 2014 – Concurrency Theory.

引用