Guoxin Su
Title
Cited by
Cited by
Year
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
302017
Asymptotic bounds for quantitative verification of perturbed probabilistic systems
G Su, DS Rosenblum
International Conference on Formal Engineering Methods, 297-312, 2013
212013
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
192016
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
132014
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
122015
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
122014
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
92017
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
92017
Nested reachability approximation for discrete-time Markov chains with univariate parameters
G Su, DS Rosenblum
International Symposium on Automated Technology for Verification and …, 2014
82014
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
42017
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
42010
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
32018
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
22012
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
The system can't perform the operation now. Try again later.
Articles 1–20