Kangli He

According to our database, Kangli He authored at least 7 papers between 2015 and 2023.

Collaborative distances:

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

2023

On divergence-sensitive weak probabilistic bisimilarity.

Kangli He, Hengyang Wu, Yixiang Chen

Inf. Comput., June, 2023

2020

Connection models for the Internet-of-Things.

Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen

Frontiers Comput. Sci., 2020

2019

Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time.

Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Kangli He, Ming Xu

CoRR, 2019

2017

Models of Connected Things: On Priced Probabilistic Timed Reo.

Kangli He, Holger Hermanns, Yixiang Chen

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Bayesian Statistical Model-Checking for Complex Stochastic Systems.

Jia He, Min Zhang, Kangli He, Yannan Guo, Yusi Lei

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.

Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang

Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

2015

Probabilistic Model Checking of Pipe protocol.

Kangli He, Min Zhang, Jia He, Yixiang Chen

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015