Kangli He

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Probabilistic Model

Verification Method

Stochastic Systems

Top Venues

Publications

Kangli He, Hengyang Wu, Yixiang Chen
On divergence-sensitive weak probabilistic bisimilarity. Inf. Comput. 292 (2023)
Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen
Connection models for the Internet-of-Things. Frontiers Comput. Sci. 14 (3) (2020)
Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Kangli He, Ming Xu
Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time. CoRR (2019)
Kangli He, Holger Hermanns, Yixiang Chen
Models of Connected Things: On Priced Probabilistic Timed Reo. COMPSAC (1) (2017)
Jia He, Min Zhang, Kangli He, Yannan Guo, Yusi Lei
Bayesian Statistical Model-Checking for Complex Stochastic Systems. TASE (2016)
Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang
PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems. MMB/DFT (2016)
Kangli He, Min Zhang, Jia He, Yixiang Chen
Probabilistic Model Checking of Pipe protocol. TASE (2015)