Dr. Guoxin Su

About Me

I commenced my lecturer appointment at University of Wollongong (UOW) on 1 March 2017. Before that, I was a senior research fellow at National University of Singapore (NUS). In June 2013, I received my PhD degree in computer science from the University of Technology Sydney (UTS), Australia.

Research Areas

• Formal verification and probabilistic verification
• Software performance and adaptation
• Big data analytics and engineering
• Software architecture
• Activity recognition

Recent Publications

Quantitative verification for monitoring event-streaming systems to appear in IEEE Transactions in Software Engineering 2020

Wavelet packet analysis for speaker-independent emotion recognition, Neurocomputing 2020

Verifying the long-run behavior of probabilistic system models in the presence of uncertainty accepted on ESEC/FSE 2018

Probabilistic model checking of perturbed MDPs with applications to cloud computing accepted on ESEC/FSE 2017

ProEva: runtime proactive performance evaluation based on continuous-time Markov chains accepted on ICSE 2017

Towards complex activity recognition using a Bayesian network-based probabilistic generative framework published on Pattern Recognition (2017)

Framework of mining semantic-based probabilistic event relations for complex activity recognition published on Information Science (2017)