Yi Li
Yi Li
Huawei
Verified email at pku.edu.cn
Title
Cited by
Cited by
Year
iscasMc: A Web-Based Probabilistic Model Checker
EM Hahn, Y Li, S Schewe, A Turrini, L Zhang
International Symposium on Formal Methods, 312-317, 2014
912014
Modeling and verification of component connectors in Coq
Y Li, M Sun
Science of Computer Programming 113, 285-301, 2015
122015
Using Coq for formal modeling and verification of timed connectors
W Hong, MS Nawaz, X Zhang, Y Li, M Sun
International Conference on Software Engineering and Formal Methods, 558-573, 2017
112017
Towards concolic testing for hybrid systems
P Kong, Y Li, X Chen, J Sun, M Sun, J Wang
International Symposium on Formal Methods, 460-478, 2016
92016
Reasoning about connectors in Coq
X Zhang, W Hong, Y Li, M Sun
International Workshop on Formal Aspects of Component Software, 172-190, 2016
92016
Modeling and analysis of component connectors in Coq
Y Li, M Sun
International Workshop on Formal Aspects of Component Software, 273-290, 2013
72013
Component-based modeling in mediator
Y Li, M Sun
International Conference on Formal Aspects of Component Software, 1-19, 2017
62017
Reasoning about connectors using Coq and Z3
X Zhang, W Hong, Y Li, M Sun
Science of Computer Programming 170, 27-44, 2019
42019
Capturing stochastic and real-time behavior in Reo connectors
Y Li, X Zhang, Y Ji, M Sun
Brazilian Symposium on Formal Methods, 287-304, 2017
42017
Formal modeling and verification of complex interactions in e-government applications
M Sun, Y Li
Proceedings of the 8th International Conference on Theory and Practice of …, 2014
42014
Generating Arduino C Codes from Mediator
Y Li, M Sun
It's All About Coordination, 174-188, 2018
32018
Towards a Formally Verified EVM in Production Environment
X Zhang, Y Li, M Sun
International Conference on Coordination Languages and Models, 341-349, 2020
12020
Developing Reliable Component-Based Software in Mediator
Y Li
International Conference on Formal Engineering Methods, 432-435, 2018
2018
Verifying probabilistic timed automata against omega-regular dense-time properties
H Fu, Y Li, J Li
International Conference on Quantitative Evaluation of Systems, 122-139, 2018
2018
Active Learning from Blackbox to Timed Connectors
Y Li, M Sun, Y Wang
2016 10th International Symposium on Theoretical Aspects of Software …, 2016
2016
XML-based model libraries application in Geographic Information System
S Zhang, Y Li, Y Gao
2013 21st International Conference on Geoinformatics, 1-4, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–16