Tun Li

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 23

Top Topics

Oriented Programming

Malware Detection

Diffusion Model

Probabilistic Inference

Top Venues

Frontiers Comput. Sci.

Digit. Commun. Networks

Publications

Tun Li, Ya Luo, Xin Wan, Qian Li, Qilie Liu, Rong Wang, Chaolong Jia, Yunpeng Xiao
A malware detection model based on imbalanced heterogeneous graph embeddings. Expert Syst. Appl. 246 (2024)
Deheng Yang, Jiayu He, Xiaoguang Mao, Tun Li, Yan Lei, Xin Yi, Jiang Wu
Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (5) (2024)
Yunpeng Xiao, Yu Zhang, Cong Zeng, Tun Li, Rong Wang, Qian Li, Chaolong Jia
A prediction model for rumor user propagation behavior based on sparse representation and transfer learning. Inf. Sci. 670 (2024)
Yunpeng Xiao, Zhen Huang, Qian Li, Xingyu Lu, Tun Li
Diffusion Pixelation: A Game Diffusion Model of Rumor & Anti-Rumor Inspired by Image Restoration. IEEE Trans. Knowl. Data Eng. 35 (5) (2023)
Tun Li, Mingchuan Shi, Hongji Zou, Wanxia Qu
Towards Accelerating Assertion Coverage Using Surrogate Logic Models. ISCAS (2023)
Yunpeng Xiao, Wenbo Yuan, Xiangtao Yue, Tun Li, Qian Li
A Diffusion Model for Multimessage Multidimensional Complex Game Based on Rumor and Anti-Rumor. IEEE Trans. Comput. Soc. Syst. 10 (5) (2023)
Yan Pi, Hongji Zou, Tun Li, Wanxia Qu, Hai Wan
ESFO: Equality Saturation for FIRRTL Optimization. ACM Great Lakes Symposium on VLSI (2023)
Tun Li, Yanbing Liu, Qilie Liu, Wei Xu, Yunpeng Xiao, Hong Liu
A malware propagation prediction model based on representation learning and graph convolutional networks. Digit. Commun. Networks 9 (5) (2023)
Yue Cheng, Hongji Zou, Jiayu He, Chen Chen, Tun Li, Han Long
MMFuzz: Towards Enhancing RTL Fuzz Testing Using Metric Feedbacks Based on Markov Chain. ATS (2023)
Dan Luo, Tun Li, Liqian Chen, Hongji Zou, Mingchuan Shi
Grammar-based fuzz testing for microprocessor RTL design. Integr. 86 (2022)
Tianji Dai, Yunpeng Xiao, Xia Liang, Qian Li, Tun Li
ICS-SVM: A user retweet prediction method for hot topics based on improved SVM. Digit. Commun. Networks 8 (2) (2022)
Xingyu Lu, Jun Liu, Shengli Gan, Tun Li, Yunpeng Xiao, Yanbing Liu
Recommendation Model Based on Dynamic Interest Group Identification and Data Compensation. IEEE Trans. Netw. Serv. Manag. 19 (1) (2022)
Hongji Zou, Mingchuan Shi, Tun Li, WanXia Qu
Towards Implementing RTL Microprocessor Agile Design Using Feature Oriented Programming. DATE (2022)
Tun Li, Wanwei Liu, Liqian Chen, Xiaoguang Mao
On Enhancing Application-Ability Training in Discrete Mathematics. FIE (2021)
Tun Li, Hongji Zou, Dan Luo, WanXia Qu
Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design. ISCAS (2021)
Keke Hu, Wanwei Liu, Tun Li
Rectified Multi-class AdaBoost for Noisy Dataset Based on Weight Adjustment Standard. ASSE (2021)
Tun Li, Yutian Liu, Yanbing Liu, Yunpeng Xiao, Nguyen Nang An
Attack plan recognition using hidden Markov and probabilistic inference. Comput. Secur. 97 (2020)
Tun Li, Wanwei Liu, Xinrui Guo, Ji Wang
Software testing without the oracle correctness assumption. Frontiers Comput. Sci. 14 (3) (2020)
Yonggang Xiao, Yanbing Liu, Tun Li
Edge Computing and Blockchain for Quick Fake News Detection in IoV. Sensors 20 (16) (2020)
Wanwei Liu, Liangze Yin, Tun Li
on Finite Words. SETTA (2020)
Tun Li, Jun Ye, Qingping Tan
Towards functional verifying a family of systemC TLMs. Frontiers Comput. Sci. 14 (1) (2020)
Jian Hu, Tun Li, Sikun Li
Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information. J. Circuits Syst. Comput. 28 (10) (2019)
Jian Hu, Tun Li, Sikun Li
Equivalence checking between SLM and RTL using machine learning techniques. ISQED (2016)
Jian Hu, Tun Li, Sikun Li
Equivalence checking between SLM and TLM using coverage directed simulation. Frontiers Comput. Sci. 9 (6) (2015)
Tun Li, Jian Hu, Yang Guo, Sikun Li, QingPing Tan
Equivalence checking of scheduling in high-level synthesis. ISQED (2015)
Jian Hu, Tun Li, Sikun Li
Formal equivalence checking between SLM and RTL descriptions. SoCC (2015)
Tun Li, Yang Guo, Wanwei Liu, Chiyuan Ma
Efficient translation validation of high-level synthesis. ISQED (2013)
Tun Li, Wanwei Liu, Xiaoguang Mao, Huiping Zhou
Introduction to programming: science or art? ITiCSE (2013)
Tun Li, Dan Zhu, Sikun Li, Yang Guo
Application specified soft error failure rate analysis using sequential equivalence checking techniques. ASP-DAC (2013)
Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. J. Appl. Math. 2013 (2013)
Jian Hu, Tun Li, Sikun Li
Equivalence Checking between SLM and TLM Using Coverage Directed Simulation. CAD/Graphics (2013)
Tun Li, Yang Guo, Wanwei Liu, Mingsheng Tang
Translation validation of scheduling in high level synthesis. ACM Great Lakes Symposium on VLSI (2013)
Jiaqing Xu, Qi Lv, Tun Li, Yong Dou
A bio-inspired self-organizing approach for multicellular embryonic architecture. AHS (2012)
Jun Ye, Qingping Tan, Tun Li, GuoRong Cao
FeatureVerilog: Extending Verilog to Support Feature-Oriented Programming. IPDPS Workshops (2011)
Jun Ye, QingPing Tan, Tun Li
Separation of communication and computation in SystemC/TLM modeling: A Feature-Oriented approach. ISQED (2011)
Dan Zhu, Tun Li, Sikun Li
An Approximate Soft Error Reliability Sorting Approach Based on State Analysis of Sequential Circuits. DFT (2010)
Jun Ye, QingPing Tan, Tun Li, Bin Wu, Yuanru Meng
Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib. FDL (2010)
Dan Zhu, Tun Li, Sikun Li
On Soft Error Immunity of Sequential Circuits. Asian Test Symposium (2010)
Jun Ye, Tun Li, QingPing Tan
The application of Aspectual Feature Module in the development and verification of SystemC models. FDL (2009)
WanXia Qu, Tun Li, Yang Guo, Xiaodong Yang
Explicit Model Checking Based on Integer Pointer and Fibonacci Hash. ICYCS (2008)
Dan Zhu, Tun Li, Yang Guo, Sikun Li
2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. ISQED (2008)
Yang Guo, WanXia Qu, Tun Li, Sikun Li
Coverage Driven Test Generation Framework for RTL Functional Verification. CAD/Graphics (2007)
Tun Li, Yang Guo, Sikun Li, Wei Dong, Rangyu Deng
Experiences Teaching Functional Verification Techniques with Practical Designs. MSE (2007)
Sikun Li, Dawei Wang, Tun Li, Yong Dou
Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization. CSCWD (2007)
Tun Li, Sikun Li, Jinshan Yu, Yang Guo
A Novel Collaborative Verification Environment for SoC Co-Verification. CSCWD (2007)
Zhihui Xiong, Maojun Zhang, Yunli Wang, Tun Li, Sikun Li
Fast Panorama Unrolling of Catadioptric Omni-Directional Images for Cooperative Robot Vision System. CSCWD (2007)
Jinshan Yu, Tun Li, Yang Guo, QingPing Tan
Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation. EUC (2006)
Tun Li, Yang Guo, GongJie Liu, Sikun Li
Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming. DSD (2005)
Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li
MA2TG: A Functional Test Program Generator for Microprocessor Verification. DSD (2005)
Tun Li, Yang Guo, Sikun Li, Dan Zhu
Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. MICAI (2005)
Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li
Automatic functional test program generation for microprocessor verification. ASP-DAC (2005)
Tun Li, Yang Guo, Sikun Li, GongJie Liu
Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. ATVA (2005)
Tun Li, Yang Guo, Sikun Li
Design and Implementation of a Parallel Verilog Simulator: PVSim. VLSI Design (2004)
Tun Li, Yang Guo, Sikun Li, Fujiang Ao, Gongjie Li
Parallel verilog simulation: architecture and circuit partition. ASP-DAC (2004)
Tun Li, Yang Guo, Sikun Li
Automatic Circuit Extractor for HDL Description Using Program Slicing. J. Comput. Sci. Technol. 19 (5) (2004)
Tun Li, Yang Guo, Sikun Li
Assertion-based automated functional vectors generation using constraint logic programming. ACM Great Lakes Symposium on VLSI (2004)
Tun Li, Yang Guo, Sikun Li
CLP Based Static Property Checking. ATVA (2004)
Tun Li, Yang Guo, Sikun Li
An Automatic Circuit Extractor for RTL Verification. Asian Test Symposium (2003)