Homepage of Dr. Guoxin Su

Home
Research Grants
Publications
Services
Teaching

For an up-to-date list of my pulications, please see my DBLP page.

Journal Articles

  1. Guoxin Su, Li Liu, Minjie Zhang and David S. Rosenblum, “Quantitative verification for monitoring event-streaming systems”, IEEE Transactions on Software Engineering (IEEE TSE) , to appear, preprint, 2020
  2. Kunxia Wang, Guoxin Su, Li Liu and Shu Wang, “Wavelet packet analysis for speaker-independent emotion recognition”, Neurocomputing, Elsevier, Vol 398, pp 257-264, 2020
  3. L. Liu, S. Wang, G. Su, B. Hu, Y. Peng, Q. Xiong, J. Wen, Framework of Mining Semantic-Based Probabilistic Event Relations for Complex Activity Recognition Information Sciences, Elsevier, Vols 418-419, pp 13-33, 2017
  4. Li Liu, Shu Wang, Guoxin Su, Zi-Gang Huang and Ming Liu, “Towards complex activity recognition using a Bayesian network-based probabilistic generative framework”, Pattern Recognition (PR), Elsevier, vol 63, pp 295-309, 2017
  5. Guoxin Su, Yuan Feng, Taolue Chen and David S. Rosenblum, “Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters”, IEEE Transactions on Software Engineering (IEEE TSE) , 42(7), pp 623-639, 2016
  6. Guoxin Su, “A logic for impredicative sentences,” Studies in Logic, Vol.1, No.3, 2008: 32-40, Sun Yat-sen University Publisher, ISSN: 1674-3230.

Conference Papers

  1. Yamilet R. Serrano Llerena, Marcel Böhme, Marc Brünink, Guoxin Su, David S. Rosenblum, “Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty”, The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018) (accepted)
  2. Yamilet R. Serrano Llerena, Guoxin Su and David S. Rosenblum, “Probabilistic model checking of perturbed MDPs with applications to cloud computing”, The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), pp 454-464, Paderborn, Germany, September 4-8, 2017
  3. Lei Liu, Guoxin Su, et al., “An Inferential Metamorphic Testing Approach to Eliminating False Positives in SQLIV Penetration Test”, IEEE Computers, Software, and Applications Conference (COMPSAC 2017), pp. 675-680, Turin, Italy, 4-8 July 2017
  4. Guoxin, Taolue Chen, Yuan Feng and David S. Rosenblum, “ ProEva: Runtime proactive performance evaluation based on continuous-time Markov chains”, the 39th International Conference on Software Engineering (ICSE'17), pp 484-495, Buenos Aires, Argentina, May 20-28, 2017
  5. Guoxin Su, Taolue Chen, Yuen Feng, David S. Rosenblum and P. S. Thiagarajan, “An iterative decision-making scheme for Markov Decision Processes and its application to self-adaptive systems”, the 19th International Conference on Fundamental Approaches to Software Engineering (FASE'16) , pp 269-286, Eindhoven, the Netherlands, 2016 (preprint)
  6. Guoxin Su, David S. Rosenblum and Giordano Tamburrelli, “Reliability of run-time Quality-of-Service evaluation using parametric model checking”, the 38th International Conference on Software Engineering (ICSE'16), pp 73-84, Austin, TA, US, 2016 (preprint)
  7. Guoxin Su and David S. Rosenblum, “Interval approximations for nested reachability properties of perturbable Markov chains”, 12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14) , pp 364-379, Sydney, Australia, 2014 (extended version)
  8. Taolue Chen, Yuan Feng, David S. Rosenblum and Guoxin Su, “Perturbation analysis in verification of discrete-time Markov chains”, the 25th Conference on Concurrency Theory (CONCUR'14) pp 218-233, Rome, Italy, 2014
  9. Guoxin Su and David S. Rosenblum, “Perturbation analysis of stochastic systems with empirical distribution parameters”, the 36th International Conference on Software Engineering (ICSE'14), pp 311-321, Hyderabad, India, 2014
  10. Guoxin Su and David S. Rosenblum, “Asymptotic bounds for quantitative verification of perturbed probabilistic systems”, the 15th International Conference on Formal Engineering Methods (ICFEM'13) pp 297-312, Queenstown, New Zealand, 2013
  11. Guoxin Su, Mingsheng Ying, and Chengqi Zhang, “Semantic analysis of component-aspect dynamism for connector-based architecture styles,” the Joint 10th Working IEEE/IFIP Conference on Software Architecture & 6th European Conference on Software Architecture (WICSA/ECSA'12) pp.151-160, Helsinki, Finland, 2012
  12. Guoxin Su, Mingsheng Ying, and Chengqi Zhang, “An ADL-approach to specifying and analysing centralised-mode architectural connection,” the 4th European Conference on Software Architecture (ECSA'10) pp 8-23, Copenhagen, Denmark, 2010

Doctoral Thesis

Technical Report

  1. Guoxin Su, Mingsheng Ying, and Chengqi Zhang, “Session Communication and integration,”, technical report, in arXiv: 1210.2125, 2012