Tengshun Yang

According to our database, Tengshun Yang authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

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

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

CoRR, 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