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
422017
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
242016
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
232016
Asymptotic bounds for quantitative verification of perturbed probabilistic systems
G Su, DS Rosenblum
International Conference on Formal Engineering Methods, 297-312, 2013
202013
Wavelet packet analysis for speaker-independent emotion recognition
K Wang, G Su, L Liu, S Wang
Neurocomputing 398, 257-264, 2020
162020
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
162015
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
162014
Perturbation analysis of stochastic systems with empirical distribution parameters
G Su, DS Rosenblum
Proceedings of the 36th International Conference on Software Engineering …, 2014
142014
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
122017
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
112017
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
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
72018
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
72017
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
62010
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
Multiagent Task Allocation and Planning with Multi-Objective Requirements
T Robinson, G Su, M Zhang
Proceedings of the 20th International Conference on Autonomous Agents and …, 2021
12021
Session communication and integration
G Su, M Ying, C Zhang
arXiv preprint arXiv:1210.2125, 2012
12012
Recognizing diseases with multivariate physiological signals by a DeepCNN-LSTM network
J Liao, D Liu, G Su, L Liu
Applied Intelligence, 1-13, 2021
2021
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
The system can't perform the operation now. Try again later.
Articles 1–20