Items where Author / Artist / Editor is "Rosenblum, David S."
![]() | See full list of headings |
Article
Su, Guoxin, Feng, Yuan, Chen, Taolue and Rosenblum, David S. (2016) Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters. IEEE Transactions on Software Engineering, 42 (7) . pp. 623-639. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2015.2508444)
Sama, Michele, Elbaum, Sebastian, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Rosenblum, David S. and Wang, Zhimin
(2010)
Context-aware adaptive applications: fault patterns and their automated identification.
IEEE Transactions on Software Engineering, 36
(5)
.
pp. 644-661.
ISSN 0098-5589
[Article]
(doi:10.1109/TSE.2010.35)
Conference or Workshop Item
Su, Guoxin, Chen, Taolue, Feng, Yuan and Rosenblum, David S. (2017) ProEva: runtime proactive performance evaluation based on continuous-time markov chains. ICSE '17 Proceedings of the 39th International Conference on Software Engineering. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 20-28 May 2017, Buenos Aires, Argentina. ISBN 9781538638682. ISSN 1558-1225 [Conference or Workshop Item] (doi:10.1109/ICSE.2017.51)
Su, Guoxin, Chen, Taolue, Feng, Yuan, Rosenblum, David S. and Thiagarajan, P. S. (2016) An iterative decision-making scheme for Markov decision processes and its application to self-adaptive systems. Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. In: 19th International Conference Fundamental Approaches to Software Engineering (FASE 2016), 02-08 Apr 2016, Eindhoven, The Netherlands. pbk-ISBN 9783662496640, e-ISBN 9783662496657. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-662-49665-7_16)
Chen, Taolue, Feng, Yuan, Rosenblum, David S. and Su, Guoxin (2014) Perturbation analysis in verification of discrete-time Markov chains. CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. In: 25th Conference on Concurrency Theory (CONCUR 2014), 2-5 Sept 2014, Rome, Italy. ISBN 9783662445839. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-662-44584-6_16)