Scalable Verification Framework for C Program. - Guang Chen; Dexi Wang; Tianchi Li; Chao Zhang; Ming Gu 001; Jiaguang Sun 001 (APSEC, 2018)

Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet. - Zonghui Li; Hai Wan; Yangdong Deng; Qinghan Yu; Tianchi Li; Kang Wei; Ming Gu 001 (ICSE (Companion Volume), 2018)

Design and Evaluation of a Software Defined Passive Optical Intra-Rack Network in Data Centers. - Yueping Cai; Sen Luo; Li Zhou; Zongchen Yao; Tianchi Li (INFOCOM Workshops, 2019)

Simulation Analysis of Knowledge Transfer in a Knowledge Alliance Based on a Circular Surface Radiator Model. - Yi Su 009; Tianchi Li (Complex., 2020)

Multiple Cascaded Preconfigured Cycles for the FRER Mechanism in Time-Sensitive Networking. - Zongchen Yao; Yueping Cai; Tianchi Li (ICC Workshops, 2021)

Adaptive cuckoo algorithm with multiple search strategies. - Shuzhi Gao; Yue Gao; Yimin Zhang 006; Tianchi Li (Appl. Soft Comput., 2021)

A Service Protection Mechanism of Deterministic Networking Based on Segment Routing. - Tianchi Li; Yueping Cai (GAMENETS, 2022)

Joint Routing and Scheduling for Deterministic Networking: A Segment Routing Approach. - Tianchi Li; Yueping Cai (HPSR, 2022)

SD-MAC: Design and evaluation of a software-defined passive optical intrarack network in data centers. - Yueping Cai; Zongchen Yao; Tianchi Li; Sen Luo; Li Zhou (Trans. Emerg. Telecommun. Technol., 2022)

Radiation Damage Mechanisms and Research Status of Radiation-Resistant Optical Fibers: A Review. - Jicong Li; Qi Chen; Jia Zhou; Zhi Cao; Tianchi Li; Fang Liu; Zhongyuan Yang; Shangwen Chang; Keyuan Zhou; Yuzhou Ming; Taihong Yan; Weifang Zheng (Sensors, 2024)

Learning Modality Consistency and Difference Information with Multitask Learning for Multimodal Sentiment Analysis. - Cheng Fang; Feifei Liang; Tianchi Li; Fangheng Guan (Future Internet, 2024)

Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences. - Tianchi Li; Xin Zhang 035 (Proc. ACM Program. Lang., 2025)

An accurate and robust level-set formulation for multiple junction kinetics. - Tianchi Li; Marc Bernacki (CoRR, 2025)