Formal Analysis of 5G AKMA. - Tengshun Yang; Shuling Wang 003; Bohua Zhan; Naijun Zhan; Jinghui Li; Shuangqing Xiang; Zhan Xiang; Bifei Mao (SETTA, 2021)

Formal Analysis of 5G Authentication and Key Management for Applications (AKMA). - Tengshun Yang; Shuling Wang 003; Bohua Zhan; Naijun Zhan; Jinghui Li; Shuangqing Xiang; Zhan Xiang; Bifei Mao (J. Syst. Archit., 2022)

Template-Based Static Posterior Inference for Bayesian Probabilistic Programming. - Peixin Wang; Hongfei Fu 001; Tengshun Yang; Guanyan Li; Luke Ong (CoRR, 2023)

A Unified Framework for Quantitative Analysis of Probabilistic Programs. - Shenghua Feng; Tengshun Yang; Mingshuai Chen; Naijun Zhan (Principles of Verification (1), 2024)

Piecewise Linear Expectation Analysis via k-Induction for Probabilistic Programs. - Tengshun Yang; Hongfei Fu 001; Jingyu Ke; Naijun Zhan; Shiyang Wu (CoRR, 2024)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving. - Peixin Wang; Tengshun Yang; Hongfei Fu 001; Guanyan Li; C.-H. Luke Ong (Proc. ACM Program. Lang., 2024)