Tengshun Yang

According to our database, Tengshun Yang authored at least 8 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic.

Xiakun Li, Hao Wu, Bican Xia, Tengshun Yang, Naijun Zhan

CoRR, April, 2026

Piecewise Analysis of Probabilistic Programs via 𝑘-Induction.

Tengshun Yang, Shenghua Feng, Hongfei Fu, Naijun Zhan, Jingyu Ke, Shiyang Wu

Proc. ACM Program. Lang., 2026

2024

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving.

Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, C.-H. Luke Ong

Proc. ACM Program. Lang., 2024

Piecewise Linear Expectation Analysis via k-Induction for Probabilistic Programs.

Tengshun Yang, Hongfei Fu, Jingyu Ke, Naijun Zhan, Shiyang Wu

CoRR, 2024

A Unified Framework for Quantitative Analysis of Probabilistic Programs.

Shenghua Feng, Tengshun Yang, Mingshuai Chen, Naijun Zhan

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Template-Based Static Posterior Inference for Bayesian Probabilistic Programming.

Peixin Wang, Hongfei Fu, Tengshun Yang, Guanyan Li, Luke Ong

CoRR, 2023

2022

Formal Analysis of 5G Authentication and Key Management for Applications (AKMA).

Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao

J. Syst. Archit., 2022

2021

Formal Analysis of 5G AKMA.

Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021