Yi Li

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 15

Top Topics

Modeling Language

Top Venues

Sci. Comput. Program.

Publications

Yi Li, Weidi Sun, Meng Sun
: A component-based modeling language for concurrent and distributed systems. Sci. Comput. Program. 192 (2020)
Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun
Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. TASE (2019)
M. Saqib Nawaz, Moin Malik, Yi Li, Meng Sun, Muhammad Ikram Ullah Lali
A Survey on Theorem Provers in Formal Methods. CoRR (2019)
Yi Li, Meng Sun
Distributed Mediator. TASE (2019)
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
Reasoning about connectors using Coq and Z3. Sci. Comput. Program. 170 (2019)
Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
A formal framework capturing real-time and stochastic behavior in connectors. Sci. Comput. Program. 177 (2019)
Yi Li, Meng Sun
Generating Arduino C Codes from Mediator. It's All About Coordination (2018)
Ai Liu, Shun Wang, Yi Li, Meng Sun
On Semantics for Mediator: A Coalgebraic Perspective. SOFL+MSVL (2018)
Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
Capturing Stochastic and Real-Time Behavior in Reo Connectors. SBMF (2017)
Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun
Using Coq for Formal Modeling and Verification of Timed Connectors. SEFM Workshops (2017)
Yi Li, Meng Sun
Component-Based Modeling in Mediator. FACS (2017)
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
Towards Concolic Testing for Hybrid Systems. CoRR (2016)
Yi Li, Meng Sun, Yiwu Wang
Active Learning from Blackbox to Timed Connectors. TASE (2016)
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
Towards Concolic Testing for Hybrid Systems. FM (2016)
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
Reasoning About Connectors in Coq. FACS (2016)
Yi Li, Meng Sun
Modeling and verification of component connectors in Coq. Sci. Comput. Program. 113 (2015)
Meng Sun, Yi Li
Formal modeling and verification of complex interactions in e-government applications. ICEGOV (2014)
Yi Li, Meng Sun
Modeling and Analysis of Component Connectors in Coq. FACS (2013)