An Automatic Circuit Extractor for RTL Verification. - Tun Li; Yang Guo 003; Sikun Li (Asian Test Symposium, 2003)

Parallel verilog simulation: architecture and circuit partition. - Tun Li; Yang Guo 003; Sikun Li; Fujiang Ao; Gongjie Li (ASP-DAC, 2004)

CLP Based Static Property Checking. - Tun Li; Yang Guo 003; Sikun Li (ATVA, 2004)

Assertion-based automated functional vectors generation using constraint logic programming. - Tun Li; Yang Guo 003; Sikun Li (ACM Great Lakes Symposium on VLSI, 2004)

Design and Implementation of a Parallel Verilog Simulator: PVSim. - Tun Li; Yang Guo 003; Sikun Li (VLSI Design, 2004)

Automatic Circuit Extractor for HDL Description Using Program Slicing. - Tun Li; Yang Guo 003; Sikun Li (J. Comput. Sci. Technol., 2004)

Automatic functional test program generation for microprocessor verification. - Tun Li; Dan Zhu; Lei Liang; Yang Guo 003; Sikun Li (ASP-DAC, 2005)

Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. - Tun Li; Yang Guo 003; Sikun Li; GongJie Liu (ATVA, 2005)

Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming. - Tun Li; Yang Guo 003; GongJie Liu; Sikun Li (DSD, 2005)

MA2TG: A Functional Test Program Generator for Microprocessor Verification. - Tun Li; Dan Zhu; Yang Guo 003; GongJie Liu; Sikun Li (DSD, 2005)

Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. - Tun Li; Yang Guo 003; Sikun Li; Dan Zhu (MICAI, 2005)

Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation. - Jinshan Yu; Tun Li; Yang Guo 003; QingPing Tan (EUC, 2006)

Coverage Driven Test Generation Framework for RTL Functional Verification. - Yang Guo 003; WanXia Qu; Tun Li; Sikun Li (CAD/Graphics, 2007)

A Novel Collaborative Verification Environment for SoC Co-Verification. - Tun Li; Sikun Li; Jinshan Yu; Yang Guo 003 (CSCWD, 2007)

Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization. - Sikun Li; Dawei Wang 020; Tun Li; Yong Dou (CSCWD, 2007)

Fast Panorama Unrolling of Catadioptric Omni-Directional Images for Cooperative Robot Vision System. - Zhihui Xiong; Maojun Zhang; Yunli Wang; Tun Li; Sikun Li (CSCWD, 2007)

Experiences Teaching Functional Verification Techniques with Practical Designs. - Tun Li; Yang Guo 003; Sikun Li; Wei Dong; Rangyu Deng (MSE, 2007)

Explicit Model Checking Based on Integer Pointer and Fibonacci Hash. - WanXia Qu; Tun Li; Yang Guo 003; Xiaodong Yang (ICYCS, 2008)

2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. - Dan Zhu; Tun Li; Yang Guo 003; Sikun Li (ISQED, 2008)

The application of Aspectual Feature Module in the development and verification of SystemC models. - Jun Ye; Tun Li; QingPing Tan (FDL, 2009)

On Soft Error Immunity of Sequential Circuits. - Dan Zhu; Tun Li; Sikun Li (Asian Test Symposium, 2010)

An Approximate Soft Error Reliability Sorting Approach Based on State Analysis of Sequential Circuits. - Dan Zhu; Tun Li; Sikun Li (DFT, 2010)

Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib. - Jun Ye; QingPing Tan; Tun Li; Bin Wu; Yuanru Meng (FDL, 2010)

FeatureVerilog: Extending Verilog to Support Feature-Oriented Programming. - Jun Ye; Qingping Tan; Tun Li; GuoRong Cao (IPDPS Workshops, 2011)

Separation of communication and computation in SystemC/TLM modeling: A Feature-Oriented approach. - Jun Ye; QingPing Tan; Tun Li (ISQED, 2011)

A bio-inspired self-organizing approach for multicellular embryonic architecture. - Jiaqing Xu; Qi Lv; Tun Li; Yong Dou (AHS, 2012)

Application specified soft error failure rate analysis using sequential equivalence checking techniques. - Tun Li; Dan Zhu; Sikun Li; Yang Guo 003 (ASP-DAC, 2013)

Translation validation of scheduling in high level synthesis. - Tun Li; Yang Guo 003; Wanwei Liu; Mingsheng Tang (ACM Great Lakes Symposium on VLSI, 2013)

Efficient translation validation of high-level synthesis. - Tun Li; Yang Guo 003; Wanwei Liu; Chiyuan Ma (ISQED, 2013)

Introduction to programming: science or art? - Tun Li; Wanwei Liu; Xiaoguang Mao; Huiping Zhou (ITiCSE, 2013)

Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. - Rui Wang 019; Wanwei Liu; Tun Li; Xiaoguang Mao; Ji Wang 001 (J. Appl. Math., 2013)

Equivalence checking of scheduling in high-level synthesis. - Tun Li; Jian Hu; Yang Guo 003; Sikun Li; QingPing Tan (ISQED, 2015)

Formal equivalence checking between SLM and RTL descriptions. - Jian Hu; Tun Li; Sikun Li (SoCC, 2015)

Equivalence checking between SLM and TLM using coverage directed simulation. - Jian Hu; Tun Li; Sikun Li (Frontiers Comput. Sci., 2015)

Equivalence checking between SLM and RTL using machine learning techniques. - Jian Hu; Tun Li; Sikun Li (ISQED, 2016)

Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information. - Jian Hu; Tun Li; Sikun Li (J. Circuits Syst. Comput., 2019)

Compiling FLres on Finite Words. - Wanwei Liu; Liangze Yin; Tun Li (SETTA, 2020)

Attack plan recognition using hidden Markov and probabilistic inference. - Tun Li; Yutian Liu; Yanbing Liu; Yunpeng Xiao 001; Nguyen Nang An (Comput. Secur., 2020)

Software testing without the oracle correctness assumption. - Tun Li; Wanwei Liu; Xinrui Guo; Ji Wang 001 (Frontiers Comput. Sci., 2020)

Towards functional verifying a family of systemC TLMs. - Tun Li; Jun Ye; Qingping Tan (Frontiers Comput. Sci., 2020)

Edge Computing and Blockchain for Quick Fake News Detection in IoV. - Yonggang Xiao; Yanbing Liu; Tun Li (Sensors, 2020)

Rectified Multi-class AdaBoost for Noisy Dataset Based on Weight Adjustment Standard. - Keke Hu; Wanwei Liu; Tun Li (ASSE, 2021)

On Enhancing Application-Ability Training in Discrete Mathematics. - Tun Li; Wanwei Liu; Liqian Chen; Xiaoguang Mao (FIE, 2021)

Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design. - Tun Li; Hongji Zou; Dan Luo; WanXia Qu (ISCAS, 2021)

Towards Implementing RTL Microprocessor Agile Design Using Feature Oriented Programming. - Hongji Zou; Mingchuan Shi; Tun Li; WanXia Qu (DATE, 2022)

ICS-SVM: A user retweet prediction method for hot topics based on improved SVM. - Tianji Dai; Yunpeng Xiao 001; Xia Liang; Qian Li 009; Tun Li (Digit. Commun. Networks, 2022)

Grammar-based fuzz testing for microprocessor RTL design. - Dan Luo; Tun Li; Liqian Chen; Hongji Zou; Mingchuan Shi (Integr., 2022)

Recommendation Model Based on Dynamic Interest Group Identification and Data Compensation. - Xingyu Lu; Jun Liu; Shengli Gan; Tun Li; Yunpeng Xiao 001; Yanbing Liu (IEEE Trans. Netw. Serv. Manag., 2022)

MMFuzz: Towards Enhancing RTL Fuzz Testing Using Metric Feedbacks Based on Markov Chain. - Yue Cheng; Hongji Zou; Jiayu He; Chen Chen; Tun Li; Han Long (ATS, 2023)

ESFO: Equality Saturation for FIRRTL Optimization. - Yan Pi; Hongji Zou; Tun Li; Wanxia Qu; Hai Wan (ACM Great Lakes Symposium on VLSI, 2023)

Towards Accelerating Assertion Coverage Using Surrogate Logic Models. - Tun Li; Mingchuan Shi; Hongji Zou; Wanxia Qu (ISCAS, 2023)

Diffusion Pixelation: A Game Diffusion Model of Rumor & Anti-Rumor Inspired by Image Restoration. - Yunpeng Xiao 001; Zhen Huang; Qian Li 009; Xingyu Lu; Tun Li (IEEE Trans. Knowl. Data Eng., 2023)

A malware propagation prediction model based on representation learning and graph convolutional networks. - Tun Li; Yanbing Liu; Qilie Liu; Wei Xu; Yunpeng Xiao 001; Hong Liu 025 (Digit. Commun. Networks, 2023)

A Diffusion Model for Multimessage Multidimensional Complex Game Based on Rumor and Anti-Rumor. - Yunpeng Xiao 001; Wenbo Yuan; Xiangtao Yue; Tun Li; Qian Li 009 (IEEE Trans. Comput. Soc. Syst., 2023)

A fast malware detection model based on heterogeneous graph similarity search. - Tun Li; Peng Shou; Xin Wan; Qian Li 009; Rong Wang 003; Chaolong Jia; Yunpeng Xiao 001 (Comput. Networks, 2024)

A malware detection model based on imbalanced heterogeneous graph embeddings. - Tun Li; Ya Luo; Xin Wan; Qian Li 009; Qilie Liu; Rong Wang 003; Chaolong Jia; Yunpeng Xiao 001 (Expert Syst. Appl., 2024)

A prediction model for rumor user propagation behavior based on sparse representation and transfer learning. - Yunpeng Xiao 001; Yu Zhang; Cong Zeng; Tun Li; Rong Wang 003; Qian Li 009; Chaolong Jia (Inf. Sci., 2024)

A Joint Learning Recommendation Model for E-Commerce Platforms Integrating Long-Term and Short-Term Interests. - Yunpeng Xiao 001; Wanjing Zhao; Yuyang Huang; Tun Li; Qian Li 009 (IEEE Trans. Serv. Comput., 2024)

Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments. - Deheng Yang; Jiayu He; Xiaoguang Mao; Tun Li; Yan Lei; Xin Yi; Jiang Wu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

A Malicious Information Traceability Model Based on Neighborhood Similarity and Multiple Types of Interaction. - Tun Li; Zhou Li; Kexin Ma 009; Qian Li 009; Rong Wang 003; Chaolong Jia; Yunpeng Xiao 001 (IEEE Trans. Comput. Soc. Syst., 2024)

Interest HD: An Interest Frame Model for Recommendation Based on HD Image Generation. - WeiKang He; Yunpeng Xiao 001; Tun Li; Rong Wang 003; Qian Li 009 (IEEE Trans. Neural Networks Learn. Syst., 2024)

Malware detection model based on stacking ensemble technique. - Tun Li; Qianying Yao; Juan Li; Qian Li 009; Rong Wang 003; Chaolong Jia; Yunpeng Xiao 001 (Appl. Soft Comput., 2025)

A prediction model for the propagation of hot topics based on representation learning and group identity. - Chaolong Jia; Dandan Jiao; Zhengfa Xu; Guicai Deng; Tun Li; Rong Wang 003; Yunpeng Xiao 001 (Expert Syst. Appl., 2025)

Dynamic model of information dissemination based on topic sensitivity and interest evolution. - Tun Li; Jiaxu Bian; Tingting Zhu; Weidong Ma; Qian Li 009; Rong Wang 003; Yunpeng Xiao 001 (Inf. Sci., 2025)

A Malicious Information Popularity Prediction Model Based on User Influence. - Tun Li; Yan Tang; Rong Xie; Yuqi Weng; Qian Li 009; Rong Wang 003; Chaolong Jia; Yunpeng Xiao 001 (IEEE Trans. Serv. Comput., 2025)

An efficient heterogeneous parallel password recovery system on MT-3000. - Yongtao Luo; Jie Liu 002; Chunye Gong; Tun Li (J. Supercomput., 2025)

A Derivative Topic Propagation Model Based on Multidimensional Cognition and Game Theory. - Qian Li 009; Long Gao; Wenyi Xi; Tun Li; Rong Wang 003; Junwei Ge; Yunpeng Xiao 001 (IEEE Trans. Cogn. Dev. Syst., 2025)

A Distributed Generative Adversarial Network for Data Augmentation Under Vertical Federated Learning. - Yunpeng Xiao 001; Xufeng Li; Tun Li; Rong Wang 003; Yucai Pang; Guoyin Wang 001 (IEEE Trans. Big Data, 2025)

Derivative Topic Dissemination Model Based on Multitopic Iterative Derivation and Social Psychology. - Rong Wang 003; Kexin Ma 009; Xiaole Guo; Shihong Wei; Zhiwei Wang; Tun Li; Yunpeng Xiao 001 (IEEE Trans. Comput. Soc. Syst., 2025)

A Cross-Domain Recommendation Model Based on Asymmetric Vertical Federated Learning and Heterogeneous Representation. - Wanjing Zhao; Yunpeng Xiao 001; Tun Li; Rong Wang 003; Qian Li 009; Guoyin Wang 001 (IEEE Trans. Emerg. Top. Comput. Intell., 2025)

PyABV: a framework for enhancing PyRTL with assertion-based verification. - Yue Cheng; Tun Li; Hongji Zou; Wanxia Qu (Frontiers Comput. Sci., 2025)

A Marketing Topic Traceability Model Based on Domain Preference and Heterogeneous Network. - Tun Li; Di Lei; Qian Li 009; Rong Wang 003; Chaolong Jia; Yunpeng Xiao 001 (IEEE Trans. Big Data, 2025)

A Hidden Key User Discovery Model for Guided Public Opinion Based on Behavioral Intentions and Implicit Relationships. - Rong Wang 003; Haichuan Zhou; Tun Li; Qian Li 009; Yunpeng Xiao 001 (IEEE Trans. Knowl. Data Eng., 2025)

A Federated Learning-Based Data Augmentation Method for Privacy Preservation Under Heterogeneous Data. - Yunpeng Xiao 001; Dengke Zhao; Xufeng Li; Tun Li; Rong Wang 003; Guoyin Wang 001 (IEEE Trans. Mob. Comput., 2025)