Probabilistic Model Checking of Pipe protocol. - Kangli He; Min Zhang 007; Jia He; Yixiang Chen 001 (TASE, 2015)

PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems. - Kangli He; Yixiang Chen 001; Min Zhang 007; Yuanrui Zhang (MMB/DFT, 2016)

Bayesian Statistical Model-Checking for Complex Stochastic Systems. - Jia He; Min Zhang 007; Kangli He; Yannan Guo; Yusi Lei (TASE, 2016)

Models of Connected Things: On Priced Probabilistic Timed Reo. - Kangli He; Holger Hermanns; Yixiang Chen 001 (COMPSAC (1), 2017)

Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time. - Peixin Wang; Hongfei Fu 001; Krishnendu Chatterjee; Kangli He; Ming Xu 010 (CoRR, 2019)

Connection models for the Internet-of-Things. - Kangli He; Holger Hermanns; Hengyang Wu; Yixiang Chen 001 (Frontiers Comput. Sci., 2020)

On divergence-sensitive weak probabilistic bisimilarity. - Kangli He; Hengyang Wu; Yixiang Chen 001 (Inf. Comput., 2023)