Items where Author / Artist / Editor is "Feng, Yuan"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

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 (doi:10.1109/ICSE.2017.51)

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 (Published online first) (doi:10.1109/TSE.2015.2508444)

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. ISBN 9783662496640. ISSN 0302-9743 (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 (doi:10.1007/978-3-662-44584-6_16)

This list was generated on Thu Feb 20 05:27:37 2020 GMT.