Malware detection model based on stacking ensemble technique - Tun Li; Qianying Yao; Juan Li; Qian Li; Rong Wang; Chaolong Jia; Yunpeng Xiao (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; Yunpeng Xiao (Expert Syst. Appl., 2025)

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

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

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

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

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

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

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

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

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

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

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

A prediction model for rumor user propagation behavior based on sparse representation and transfer learning - Yunpeng Xiao; Yu Zhang; Cong Zeng; Tun Li; Rong Wang; Qian Li; Chaolong Jia (Inf. Sci., 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; Qian Li; Rong Wang; Chaolong Jia; Yunpeng Xiao (IEEE Trans. Comput. Soc. Syst., 2024)

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

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

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

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

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

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 (32nd IEEE Asian Test Symposium, ATS 2023, Beijing, China, October 14-17, 2023, 2023)

ESFO: Equality Saturation for FIRRTL Optimization - Yan Pi; Hongji Zou; Tun Li; Wanxia Qu; Hai Wan (Proceedings of the Great Lakes Symposium on VLSI 2023, GLSVLSI 2023, Knoxville, TN, USA, June 5-7, 2023, 2023)

Towards Accelerating Assertion Coverage Using Surrogate Logic Models - Tun Li; Mingchuan Shi; Hongji Zou; Wanxia Qu (IEEE International Symposium on Circuits and Systems, ISCAS 2023, Monterey, CA, USA, May 21-25, 2023, 2023)

ICS-SVM: A user retweet prediction method for hot topics based on improved SVM - Tianji Dai; Yunpeng Xiao; Xia Liang; Qian Li; 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; Yanbing Liu (IEEE Trans. Netw. Serv. Manag., 2022)

Towards Implementing RTL Microprocessor Agile Design Using Feature Oriented Programming - Hongji Zou; Mingchuan Shi; Tun Li; WanXia Qu (2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022, 2022)

Rectified Multi-class AdaBoost for Noisy Dataset Based on Weight Adjustment Standard - Keke Hu; Wanwei Liu; Tun Li (ASSE 2021: 2nd Asia Service Sciences and Software Engineering Conference, Macau, 24-26 February, 2021, 2021)

On Enhancing Application-Ability Training in Discrete Mathematics - Tun Li; Wanwei Liu; Liqian Chen; Xiaoguang Mao (IEEE Frontiers in Education Conference, FIE 2021, Lincoln, NE, USA, October 13-16, 2021, 2021)

Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design - Tun Li; Hongji Zou; Dan Luo; WanXia Qu (IEEE International Symposium on Circuits and Systems, ISCAS 2021, Daegu, South Korea, May 22-28, 2021, 2021)

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

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

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

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

Compiling FL\(^res\) on Finite Words - Wanwei Liu; Liangze Yin; Tun Li (Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, 2020)

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)

Equivalence checking between SLM and RTL using machine learning techniques - Jian Hu; Tun Li; Sikun Li (17th International Symposium on Quality Electronic Design, ISQED 2016, Santa Clara, CA, USA, March 15-16, 2016, 2016)

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

Equivalence checking of scheduling in high-level synthesis - Tun Li; Jian Hu; Yang Guo; Sikun Li; QingPing Tan (Sixteenth International Symposium on Quality Electronic Design, ISQED 2015, Santa Clara, CA, USA, March 2-4, 2015, 2015)

Formal equivalence checking between SLM and RTL descriptions - Jian Hu; Tun Li; Sikun Li (28th IEEE International System-on-Chip Conference, SOCC 2015, Beijing, China, September 8-11, 2015, 2015)

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

Application specified soft error failure rate analysis using sequential equivalence checking techniques - Tun Li; Dan Zhu; Sikun Li; Yang Guo (18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013, 2013)

Equivalence Checking between SLM and TLM Using Coverage Directed Simulation - Jian Hu; Tun Li; Sikun Li (2013 International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2013, Guangzhou, China, November 16-18, 2013, 2013)

Translation validation of scheduling in high level synthesis - Tun Li; Yang Guo; Wanwei Liu; Mingsheng Tang (Great Lakes Symposium on VLSI 2013 (part of ECRC), GLSVLSI'13, Paris, France, May 2-4, 2013, 2013)

Efficient translation validation of high-level synthesis - Tun Li; Yang Guo; Wanwei Liu; Chiyuan Ma (International Symposium on Quality Electronic Design, ISQED 2013, Santa Clara, CA, USA, March 4-6, 2013, 2013)

Introduction to programming: science or art? - Tun Li; Wanwei Liu; Xiaoguang Mao; Huiping Zhou (Innovation and Technology in Computer Science Education conference 2013, ITiCSE '13, Canterbury, United Kingdom - July 01 - 03, 2013, 2013)

A bio-inspired self-organizing approach for multicellular embryonic architecture - Jiaqing Xu; Qi Lv; Tun Li; Yong Dou (2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012, Erlangen, Germany, June 25-28, 2012, 2012)

FeatureVerilog: Extending Verilog to Support Feature-Oriented Programming - Jun Ye; Qingping Tan; Tun Li; GuoRong Cao (25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings, 2011)

Separation of communication and computation in SystemC/TLM modeling: A Feature-Oriented approach - Jun Ye; QingPing Tan; Tun Li (Proceedings of the 12th International Symposium on Quality Electronic Design, ISQED 2011, Santa Clara, California, USA, 14-16 March 2011, 2011)

On Soft Error Immunity of Sequential Circuits - Dan Zhu; Tun Li; Sikun Li (Proceedings of the 19th IEEE Asian Test Symposium, ATS 2010, 1-4 December 2010, Shanghai, China, 2010)

An Approximate Soft Error Reliability Sorting Approach Based on State Analysis of Sequential Circuits - Dan Zhu; Tun Li; Sikun Li (25th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, DFT 2010, Kyoto, Japan, October 6-8, 2010, 2010)

Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib - Jun Ye; QingPing Tan; Tun Li; Bin Wu; Yuanru Meng (Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, 2010)

The application of Aspectual Feature Module in the development and verification of SystemC models - Jun Ye; Tun Li; QingPing Tan (Forum on specification and Design Languages, FDL 2009, September 22-24, 2009, Sophia Antipolis, France, Proceedings, 2009)

Explicit Model Checking Based on Integer Pointer and Fibonacci Hash - WanXia Qu; Tun Li; Yang Guo; Xiaodong Yang (Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, 2008)

2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions - Dan Zhu; Tun Li; Yang Guo; Sikun Li (9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, 2008)

Coverage Driven Test Generation Framework for RTL Functional Verification - Yang Guo; WanXia Qu; Tun Li; Sikun Li (10th International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2007, Beijing, China, 15-18 October, 2007, 2007)

Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization - Sikun Li; Dawei Wang; Tun Li; Yong Dou (Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, April 26-28, 2007, Melbourne, Australia, 2007)

A Novel Collaborative Verification Environment for SoC Co-Verification - Tun Li; Sikun Li; Jinshan Yu; Yang Guo (Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, April 26-28, 2007, Melbourne, Australia, 2007)

Fast Panorama Unrolling of Catadioptric Omni-Directional Images for Cooperative Robot Vision System - Zhihui Xiong; Maojun Zhang; Yunli Wang; Tun Li; Sikun Li (Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, April 26-28, 2007, Melbourne, Australia, 2007)

Experiences Teaching Functional Verification Techniques with Practical Designs - Tun Li; Yang Guo; Sikun Li; Wei Dong; Rangyu Deng (IEEE International Conference on Microelectronic Systems Education, MSE '07, San Diego, CA, USA, June 3-4, 2007, 2007)

Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation - Jinshan Yu; Tun Li; Yang Guo; QingPing Tan (Embedded and Ubiquitous Computing, International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings, 2006)

Automatic functional test program generation for microprocessor verification - Tun Li; Dan Zhu; Lei Liang; Yang Guo; Sikun Li (Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, 2005)

Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming - Tun Li; Yang Guo; Sikun Li; GongJie Liu (Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, 2005)

Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming - Tun Li; Yang Guo; GongJie Liu; Sikun Li (Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August - 3 September 2005, Porto, Portugal, 2005)

MA2TG: A Functional Test Program Generator for Microprocessor Verification - Tun Li; Dan Zhu; Yang Guo; GongJie Liu; Sikun Li (Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August - 3 September 2005, Porto, Portugal, 2005)

Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions - Tun Li; Yang Guo; Sikun Li; Dan Zhu (MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings, 2005)

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

Parallel verilog simulation: architecture and circuit partition - Tun Li; Yang Guo; Sikun Li; Fujiang Ao; Gongjie Li (Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004, 2004)

CLP Based Static Property Checking - Tun Li; Yang Guo; Sikun Li (Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, 2004)

Assertion-based automated functional vectors generation using constraint logic programming - Tun Li; Yang Guo; Sikun Li (Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004, 2004)

Design and Implementation of a Parallel Verilog Simulator: PVSim - Tun Li; Yang Guo; Sikun Li (17th International Conference on VLSI Design (VLSI Design 2004), with the 3rd International Conference on Embedded Systems Design, 5-9 January 2004, Mumbai, India, 2004)

An Automatic Circuit Extractor for RTL Verification - Tun Li; Yang Guo; Sikun Li (12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003)