| 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 | 30 | 2017 |
| Asymptotic bounds for quantitative verification of perturbed probabilistic systems G Su, DS Rosenblum International Conference on Formal Engineering Methods, 297-312, 2013 | 21 | 2013 |
| 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 | 19 | 2016 |
| 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 | 19* | |
| 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 |
| 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 | 12 | 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 | 12 | 2014 |
| 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 |
| 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 | 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 |
| 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 | 4 | 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 | 4 | 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 |
| Wavelet packet analysis for speaker-independent emotion recognition K Wang, G Su, L Liu, S Wang Neurocomputing, 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 |
| Interval approximations for nested reachability properties of perturbable Markov chains G Su, D Rosenblum | | 2014 |
| Software architecture modelling and analysis in process algebra GX Su | | 2013 |
| Session Communication and Integration G Su, M Ying, C Zhang arXiv preprint arXiv:1210.2125, 2012 | | 2012 |
| A Logic for Impredicative Sentences GX Su 邏輯學研究 1 (3), 32-40, 2008 | | 2008 |
David S. RosenblumProvost's Chair Professor and Director of the NUS-Singtel Cyber Security R&D LaboratoryVerified email at alumni.stanford.edu
