Modeling and Analysis of Component Connectors in Coq. - Yi Li 010; Meng Sun 002 (FACS, 2013)

Formal modeling and verification of complex interactions in e-government applications. - Meng Sun 002; Yi Li 010 (ICEGOV, 2014)

Modeling and verification of component connectors in Coq. - Yi Li 010; Meng Sun 002 (Sci. Comput. Program., 2015)

Reasoning About Connectors in Coq. - Xiyue Zhang 001; Weijiang Hong; Yi Li 010; Meng Sun 002 (FACS, 2016)

Towards Concolic Testing for Hybrid Systems. - Pingfan Kong; Yi Li 010; Xiaohong Chen 002; Jun Sun 001; Meng Sun 002; Jingyi Wang 004 (FM, 2016)

Active Learning from Blackbox to Timed Connectors. - Yi Li 010; Meng Sun 002; Yiwu Wang (TASE, 2016)

Component-Based Modeling in Mediator. - Yi Li 010; Meng Sun 002 (FACS, 2017)

Capturing Stochastic and Real-Time Behavior in Reo Connectors. - Yi Li 010; Xiyue Zhang 001; Yuanyi Ji; Meng Sun 002 (SBMF, 2017)

Using Coq for Formal Modeling and Verification of Timed Connectors. - Weijiang Hong; M. Saqib Nawaz; Xiyue Zhang 001; Yi Li 010; Meng Sun 002 (SEFM Workshops, 2017)

Generating Arduino C Codes from Mediator. - Yi Li 010; Meng Sun 002 (It's All About Coordination, 2018)

Developing Reliable Component-Based Software in Mediator. - Yi Li 010 (ICFEM, 2018)

On Semantics for Mediator: A Coalgebraic Perspective. - Ai Liu; Shun Wang; Yi Li 010; Meng Sun 002 (SOFL+MSVL, 2018)

Distributed Mediator. - Yi Li 010; Meng Sun 002 (TASE, 2019)

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. - Xiyue Zhang 001; Yi Li 010; Weijiang Hong; Meng Sun 002 (TASE, 2019)

A Survey on Theorem Provers in Formal Methods. - M. Saqib Nawaz; Moin Malik; Yi Li 010; Meng Sun 002; Muhammad Ikram Ullah Lali (CoRR, 2019)

A formal framework capturing real-time and stochastic behavior in connectors. - Yi Li 010; Xiyue Zhang 001; Yuanyi Ji; Meng Sun 002 (Sci. Comput. Program., 2019)

Reasoning about connectors using Coq and Z3. - Xiyue Zhang 001; Weijiang Hong; Yi Li 010; Meng Sun 002 (Sci. Comput. Program., 2019)

Towards a Formally Verified EVM in Production Environment. - Xiyue Zhang 001; Yi Li 010; Meng Sun 002 (COORDINATION, 2020)

Mediator: A component-based modeling language for concurrent and distributed systems. - Yi Li 010; Weidi Sun; Meng Sun 002 (Sci. Comput. Program., 2020)