Guoxin Su

Reliability of Run-Time Quality-of-Service Evaluation Using Parametric Model Checking

Giordano Tamburrelli, David S. Rosenblum, Guoxin Su, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).

Quantitative Verification for Monitoring Event-Streaming Systems

David S. Rosenblum, Minjie Zhang, Guoxin Su, 2022, IEEE Transactions on Software Engineering.

Verifying the long-run behavior of probabilistic system models in the presence of uncertainty

David S. Rosenblum, Guoxin Su, Marcel Böhme, 2018, ESEC/SIGSOFT FSE.

Software architecture modelling and analysis in process algebra

Guoxin Su, Guoxin Su, 2013 .

Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration

Guoxin Su, T. Robinson, 2023, NASA Formal Methods.

An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems

David S. Rosenblum, Yuan Feng, P. S. Thiagarajan, 2016, FASE.

Session Communication and Integration pdf

Chengqi Zhang, Mingsheng Ying, Guoxin Su, 2012, ArXiv.

Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters

David S. Rosenblum, Yuan Feng, Taolue Chen, 2016 .

Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems pdf

David S. Rosenblum, Guoxin Su, Guoxin Su, 2013, ICFEM.