We stand with Ukraine  

Yi Li

Orcid: 0000-0002-6318-405X

Affiliations:
  • Peking University, School of Mathematical Science, LMAM / Department of Informatics, Beijing, China


According to our database1, Yi Li authored at least 19 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
<i>Mediator</i>: A component-based modeling language for concurrent and distributed systems.
[BibTeX]
[DOI]
Yi Li
,
Weidi Sun
,
Meng Sun
Sci. Comput. Program., 2020

Towards a Formally Verified EVM in Production Environment.
[BibTeX]
[DOI]
Xiyue Zhang
,
Yi Li
,
Meng Sun
Proceedings of the Coordination Models and Languages, 2020

2019
Reasoning about connectors using Coq and Z3.
[BibTeX]
[DOI]
Xiyue Zhang
,
Weijiang Hong
,
Yi Li
,
Meng Sun
Sci. Comput. Program., 2019

A formal framework capturing real-time and stochastic behavior in connectors.
[BibTeX]
[DOI]
Yi Li
,
Xiyue Zhang
,
Yuanyi Ji
,
Meng Sun
Sci. Comput. Program., 2019

A Survey on Theorem Provers in Formal Methods.
[BibTeX]
[DOI]
M. Saqib Nawaz
,
Moin Malik
,
Yi Li
,
Meng Sun
,
Muhammad Ikram Ullah Lali
CoRR, 2019

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.
[BibTeX]
[DOI]
Xiyue Zhang
,
Yi Li
,
Weijiang Hong
,
Meng Sun
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Distributed Mediator.
[BibTeX]
[DOI]
Yi Li
,
Meng Sun
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018
On Semantics for Mediator: A Coalgebraic Perspective.
[BibTeX]
[DOI]
Ai Liu
,
Shun Wang
,
Yi Li
,
Meng Sun
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

Developing Reliable Component-Based Software in Mediator.
[BibTeX]
[DOI]
Yi Li
Proceedings of the Formal Methods and Software Engineering, 2018

Generating Arduino C Codes from Mediator.
[BibTeX]
[DOI]
Yi Li
,
Meng Sun
Proceedings of the It's All About Coordination, 2018

2017
Using Coq for Formal Modeling and Verification of Timed Connectors.
[BibTeX]
[DOI]
Weijiang Hong
,
M. Saqib Nawaz
,
Xiyue Zhang
,
Yi Li
,
Meng Sun
Proceedings of the Software Engineering and Formal Methods, 2017

Capturing Stochastic and Real-Time Behavior in Reo Connectors.
[BibTeX]
[DOI]
Yi Li
,
Xiyue Zhang
,
Yuanyi Ji
,
Meng Sun
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Component-Based Modeling in Mediator.
[BibTeX]
[DOI]
Yi Li
,
Meng Sun
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016
Active Learning from Blackbox to Timed Connectors.
[BibTeX]
[DOI]
Yi Li
,
Meng Sun
,
Yiwu Wang
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Towards Concolic Testing for Hybrid Systems.
[BibTeX]
[DOI]
Pingfan Kong
,
Yi Li
,
Xiaohong Chen
,
Jun Sun
,
Meng Sun
,
Jingyi Wang
Proceedings of the FM 2016: Formal Methods, 2016

Reasoning About Connectors in Coq.
[BibTeX]
[DOI]
Xiyue Zhang
,
Weijiang Hong
,
Yi Li
,
Meng Sun
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015
Modeling and verification of component connectors in Coq.
[BibTeX]
[DOI]
Yi Li
,
Meng Sun
Sci. Comput. Program., 2015

2014
Formal modeling and verification of complex interactions in e-government applications.
[BibTeX]
[DOI]
Meng Sun
,
Yi Li
Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, 2014

2013
Modeling and Analysis of Component Connectors in Coq.
[BibTeX]
[DOI]
Yi Li
,
Meng Sun
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013


  Loading...