Su, Guoxin

Su, Guoxin Dr.

Lecturer

guoxin@uow.edu.au

+61 2 4221 8092

UOW Personal Homepage

Top Publications

Year	Title
2018	Verifying the long-run behavior of probabilistic system models in the presence of uncertainty
2017	ProEva: runtime proactive performance evaluation based on continuous-time Mardov chains
2017	Probabilistic model checking of perturbed MDPs with applications to cloud computing
2016	Reliability of run-time quality-of-service evaluation using parametric model checking
2016	Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters Published in IEEE Transactions on Software Engineering

Research Areas

Available as Research Supervisor

Available for Collaborative Projects

Member Of

ACM Special Interest Group in Software Engineering (SIGSOFT) Member 2018 -
Association for Computing Machinery (ACM) Member 2018 -
The Institute of Electrical and Electronics Engineers (IEEE) Member 2018 -

Selected Publications

Journal Article

Year	Title
2018	Recognizing diseases from physiological time series data using probabilistic model Published In Lecture Notes in Artificial Intelligence
2017	A framework of mining semantic-based probabilistic event relations for complex activity recognition Published In Information Sciences
2017	Towards complex activity recognition using a Bayesian network-based probabilistic generative framework Published In Pattern Recognition
2017	Towards complex activity recognition using a Bayesian network-based probabilistic generative framework Published In Pattern Recognition
2016	Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters Published In IEEE Transactions on Software Engineering
2013	Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems Published In Lecture Notes in Computer Science
2010	An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection Published In Lecture Notes in Computer Science
2008	A logic for impredicative sentence Published In Studies in Logic

Conference Paper

Year	Title
2018	Verifying the long-run behavior of probabilistic system models in the presence of uncertainty Published In Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’18)
2017	An Inferential Metamorphic Testing Approach to Eliminating False Positives in SQLIV Penetration Test Published In IEEE Computers, Software, and Applications Conference (COMPSAC 2017)
2017	ProEva: runtime proactive performance evaluation based on continuous-time Mardov chains Published In 39th International Conference on Software Engineering (ICSE '17)
2017	Probabilistic model checking of perturbed MDPs with applications to cloud computing Published In ACM SIGSOFT International Symposium on the Foundations of Software Engineering
2016	An iterative decision-making scheme for Markov Decision Processes and its application to self-adaptive systems Published In Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, Vol 9633
2016	Reliability of run-time quality-of-service evaluation using parametric model checking Published In IEEE/ACM 38th International Conference on Software Engineering (ICSE 2016)
2014	Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters Published In Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014
2014	Perturbation analysis of stochastic systems with empirical distribution parameters Published In Proceedings of the 36th International Conference on Software Engineering (ICSE 2014)
2012	Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles Published In 2012 Joint Working IEEE/IFIP Conference Software Architecture (WICSA) and European Conference on Software Architecture (ECSA 2012)

Investigator On

Year	Title
2021 - 2022	VR CFD based simulation and training tool for dust control in gateroad development panels Awarded by: Australian Coal Association Research Program (ACARP) Funding Scheme: Grant

Available as Research Supervisor

Advisees

Graduate Advising Relationship

Degree	Research Title	Advisee
Doctor of Philosophy	Learning Based Consensus Building For Decentralised Open-Market
Doctor of Philosophy	Deep Learning for Hate Speech Detection on Social Media
Doctor of Philosophy	Efficient Multiagent Stochastic Planning in Dynamic Environments	Robinson, Tom
Doctor of Philosophy	Click-stream based User Behaviour Analysis using Probabilistic Model Checking Techniques	Mangi, Fawad Ali
Doctor of Philosophy	Trust Models for Partner Selection in Open, Dynamic, and Sociable Environment	Liang, Qin
Master of Philosophy - EIS	Understanding journey of patients with alcohol use disorder in Illawarra & Shoalhaven Local Health District	Zhang, Jingxiang
Doctor of Philosophy (Integrated)	Data Missing Assessment and Improvement on Data Mining	Altuhaifa, Fatimah Abdulazim A
Doctor of Philosophy	Methods for Group Decision-making in Multi-agent Systems under Dynamic and Sociable Environments	Liu, Xiaoxue
Doctor of Philosophy	Intelligent Social Computing Mechanisms and their Applications	Gu, Wen

Located In Facility

Building 3, Room 227

Orcid Id

http://orcid.org/0000-0002-2087-4894 (confirmed)

Top Publications

Year	Title
2018	Verifying the long-run behavior of probabilistic system models in the presence of uncertainty
2017	ProEva: runtime proactive performance evaluation based on continuous-time Mardov chains
2017	Probabilistic model checking of perturbed MDPs with applications to cloud computing
2016	Reliability of run-time quality-of-service evaluation using parametric model checking
2016	Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters Published in IEEE Transactions on Software Engineering

Research Areas

Member Of

ACM Special Interest Group in Software Engineering (SIGSOFT) Member 2018 -
Association for Computing Machinery (ACM) Member 2018 -
The Institute of Electrical and Electronics Engineers (IEEE) Member 2018 -

Selected Publications

Journal Article

Year	Title
2018	Recognizing diseases from physiological time series data using probabilistic model Published In Lecture Notes in Artificial Intelligence
2017	A framework of mining semantic-based probabilistic event relations for complex activity recognition Published In Information Sciences
2017	Towards complex activity recognition using a Bayesian network-based probabilistic generative framework Published In Pattern Recognition
2017	Towards complex activity recognition using a Bayesian network-based probabilistic generative framework Published In Pattern Recognition
2016	Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters Published In IEEE Transactions on Software Engineering
2013	Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems Published In Lecture Notes in Computer Science
2010	An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection Published In Lecture Notes in Computer Science
2008	A logic for impredicative sentence Published In Studies in Logic

Conference Paper

Year	Title
2018	Verifying the long-run behavior of probabilistic system models in the presence of uncertainty Published In Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’18)
2017	An Inferential Metamorphic Testing Approach to Eliminating False Positives in SQLIV Penetration Test Published In IEEE Computers, Software, and Applications Conference (COMPSAC 2017)
2017	ProEva: runtime proactive performance evaluation based on continuous-time Mardov chains Published In 39th International Conference on Software Engineering (ICSE '17)
2017	Probabilistic model checking of perturbed MDPs with applications to cloud computing Published In ACM SIGSOFT International Symposium on the Foundations of Software Engineering
2016	An iterative decision-making scheme for Markov Decision Processes and its application to self-adaptive systems Published In Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, Vol 9633
2016	Reliability of run-time quality-of-service evaluation using parametric model checking Published In IEEE/ACM 38th International Conference on Software Engineering (ICSE 2016)
2014	Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters Published In Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014
2014	Perturbation analysis of stochastic systems with empirical distribution parameters Published In Proceedings of the 36th International Conference on Software Engineering (ICSE 2014)
2012	Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles Published In 2012 Joint Working IEEE/IFIP Conference Software Architecture (WICSA) and European Conference on Software Architecture (ECSA 2012)

Investigator On

Year	Title
2021 - 2022	VR CFD based simulation and training tool for dust control in gateroad development panels Awarded by: Australian Coal Association Research Program (ACARP) Funding Scheme: Grant

Advisees

Graduate Advising Relationship

Degree	Research Title	Advisee
Doctor of Philosophy	Learning Based Consensus Building For Decentralised Open-Market
Doctor of Philosophy	Deep Learning for Hate Speech Detection on Social Media
Doctor of Philosophy	Efficient Multiagent Stochastic Planning in Dynamic Environments	Robinson, Tom
Doctor of Philosophy	Click-stream based User Behaviour Analysis using Probabilistic Model Checking Techniques	Mangi, Fawad Ali
Doctor of Philosophy	Trust Models for Partner Selection in Open, Dynamic, and Sociable Environment	Liang, Qin
Master of Philosophy - EIS	Understanding journey of patients with alcohol use disorder in Illawarra & Shoalhaven Local Health District	Zhang, Jingxiang
Doctor of Philosophy (Integrated)	Data Missing Assessment and Improvement on Data Mining	Altuhaifa, Fatimah Abdulazim A
Doctor of Philosophy	Methods for Group Decision-making in Multi-agent Systems under Dynamic and Sociable Environments	Liu, Xiaoxue
Doctor of Philosophy	Intelligent Social Computing Mechanisms and their Applications	Gu, Wen

Located In Facility

Building 3, Room 227

Orcid Id

http://orcid.org/0000-0002-2087-4894 (confirmed)

Visualisations

Publication History

Investigator Network

Collaborator Map

Research Areas