Towards complex activity recognition using a Bayesian network-based probabilistic generative framework L Liu, S Wang, G Su, ZG Huang, M Liu Pattern Recognition 68, 295-309, 2017 | 38 | 2017 |
An iterative decision-making scheme for Markov Decision Processes and its application to self-adaptive systems G Su, T Chen, Y Feng, DS Rosenblum, PS Thiagarajan | 22 | 2016 |
Reliability of run-time quality-of-service evaluation using parametric model checking G Su, DS Rosenblum, G Tamburrelli 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016 | 20 | 2016 |
Asymptotic bounds for quantitative verification of perturbed probabilistic systems G Su, DS Rosenblum International Conference on Formal Engineering Methods, 297-312, 2013 | 20 | 2013 |
Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters G Su, Y Feng, T Chen, DS Rosenblum IEEE Transactions on Software Engineering 42 (7), 623-639, 2015 | 15 | 2015 |
Perturbation analysis in verification of discrete-time Markov chains T Chen, Y Feng, DS Rosenblum, G Su International Conference on Concurrency Theory, 218-233, 2014 | 15 | 2014 |
Perturbation analysis of stochastic systems with empirical distribution parameters G Su, DS Rosenblum Proceedings of the 36th International Conference on Software Engineering …, 2014 | 13 | 2014 |
ProEva: runtime proactive performance evaluation based on continuous-time markov chains G Su, T Chen, Y Feng, DS Rosenblum 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 10 | 2017 |
A framework of mining semantic-based probabilistic event relations for complex activity recognition L Liu, S Wang, G Su, B Hu, Y Peng, Q Xiong, J Wen Information Sciences 418, 13-33, 2017 | 9 | 2017 |
Nested reachability approximation for discrete-time Markov chains with univariate parameters G Su, DS Rosenblum International Symposium on Automated Technology for Verification and …, 2014 | 8 | 2014 |
Wavelet packet analysis for speaker-independent emotion recognition K Wang, G Su, L Liu, S Wang Neurocomputing 398, 257-264, 2020 | 6 | 2020 |
Probabilistic model checking of perturbed mdps with applications to cloud computing YRS Llerena, G Su, DS Rosenblum Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 6 | 2017 |
An ADL-approach to specifying and analyzing centralized-mode architectural connection G Su, M Ying, C Zhang European Conference on Software Architecture, 8-23, 2010 | 5 | 2010 |
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty YRS Llerena, M Böhme, M Brünink, G Su, DS Rosenblum Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 3 | 2018 |
Semantic analysis of component-aspect dynamism for connector-based architecture styles G Su, M Ying, C Zhang 2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012 | 2 | 2012 |
Session communication and integration G Su, M Ying, C Zhang arXiv preprint arXiv:1210.2125, 2012 | 1 | 2012 |
Quantitative Verification for Monitoring Event-Streaming Systems G Su, L Liu, M Zhang, D Rosenblum IEEE Transactions on Software Engineering, 2020 | | 2020 |
Recognizing Diseases from Physiological Time Series Data Using Probabilistic Model D Wang, L Liu, G Su, Y Li, A Khan International Conference on Knowledge Science, Engineering and Management …, 2018 | | 2018 |
Message from the PUDA 2014 Workshop Chairs L Liu, CH Hsu, G Xu, X Zhang, L Li, G Su, M Liu, Z Huang, T Zhu, J Jin, ... Proceedings-2014 IEEE International Conference on Ubiquitous Intelligence …, 2014 | | 2014 |
Interval approximations for nested reachability properties of perturbable Markov chains G Su, D Rosenblum | | 2014 |