Yi Li

19 papers B 1C 2Misc 3Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2020 C conf
Towards a Formally Verified EVM in Production Environment.
COORDINATION
Xiyue Zhang, Yi Li, Meng Sun
2019 J jnl
A Survey on Theorem Provers in Formal Methods.
CoRR
M. Saqib Nawaz, Moin Malik, Yi Li, Meng Sun, Muhammad Ikram Ullah Lali
2019 J jnl
A formal framework capturing real-time and stochastic behavior in connectors.
Sci. Comput. Program.
Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
2019 Misc conf
Distributed Mediator.
TASE
Yi Li, Meng Sun
2019 J jnl
Reasoning about connectors using Coq and Z3.
Sci. Comput. Program.
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
2019 Misc conf
Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.
TASE
Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun
2018 C conf
Developing Reliable Component-Based Software in Mediator.
ICFEM
Yi Li
2018 — conf
Generating Arduino C Codes from Mediator.
It's All About Coordination
Yi Li, Meng Sun
2018 — conf
On Semantics for Mediator: A Coalgebraic Perspective.
SOFL+MSVL
Ai Liu, Shun Wang, Yi Li, Meng Sun
2017 — conf
Capturing Stochastic and Real-Time Behavior in Reo Connectors.
SBMF
Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
2017 — conf
Component-Based Modeling in Mediator.
FACS
Yi Li, Meng Sun
2017 — conf
Using Coq for Formal Modeling and Verification of Timed Connectors.
SEFM Workshops
Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun
2016 Misc conf
Active Learning from Blackbox to Timed Connectors.
TASE
Yi Li, Meng Sun, Yiwu Wang
2016 — conf
Reasoning About Connectors in Coq.
FACS
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
2016 B conf
Towards Concolic Testing for Hybrid Systems.
FM
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
2016 J jnl
Towards Concolic Testing for Hybrid Systems.
CoRR
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
2015 J jnl
Modeling and verification of component connectors in Coq.
Sci. Comput. Program.
Yi Li, Meng Sun
2014 — conf
Formal modeling and verification of complex interactions in e-government applications.
ICEGOV
Meng Sun, Yi Li
2013 — conf
Modeling and Analysis of Component Connectors in Coq.
FACS
Yi Li, Meng Sun