Tun Li - Publications, H-index & Citations

Tun Li

national university of defense technology

11H指数

88论文数

478被引数

收录论文 9

发表时间

Adaptive Density Clustering for Data-Driven Password Mangling Rule Generation 自适应密度聚类用于数据驱动的密码混淆规则生成

COMPUTERS & SECURITY

IF5.4

2026-04-01

PREAI

Yongtao Luo; Chunye Gong; Jie Liu; Tun Li

A comprehensive GPU-accelerated lattice Boltzmann framework for high-Reynolds-number flow in complex rod bundles 一个全面的GPU加速格子Boltzmann框架，用于复杂棒束中的高雷诺数流动

Engineering Applications of Computational Fluid Mechanics

IF5.4

2025-09-24

OAAI

Hang Zou; Qingyang Zhang; Hongyang Lu; Min Song; Ziyi Hu; Dianqiang Jiang; Tun Li; Jie Liu

PyABV: a framework for enhancing PyRTL with assertion-based verification

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2025-01-13

PREAI

Cheng, Yue; Li, Tun; Zou, Hongji; Qu, Wanxia

Towards Connecting Discrete Mathematics and Software Engineering

TSINGHUA SCIENCE AND TECHNOLOGY

IF3.5

2020-06-01

OAAI

Li, Tun; Liu, Wanwei; Chen, Juan; Mao, Xiaoguang; Mao, Xinjun

Application Specified Soft-Error Failure Rate Analysis Using Sequential Equivalence Checking Techniques

TSINGHUA SCIENCE AND TECHNOLOGY

IF3.5

2020-02-01

OAAI

Li, Tun; Yu, Qinhan; Wan, Hai; Li, Sikun

Software testing without the oracle correctness assumption 没有oracle正确性假设的软件测试

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2019-12-19

PREAI

Li, Tun; Liu, Wanwei; Guo, Xinrui; Wang, Ji

Towards functional verifying a family of systemC TLMs

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2019-03-07

PREAI

Li, Tun; Ye, Jun; Tan, Qingping

Equivalence checking between SLM and TLM using coverage directed simulation

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2015-10-20

PREAI

Hu, Jian; Li, Tun; Li, Sikun

Load carrying capacity assessment of a scaled masonry dome: Simulations validated with non-destructive and destructive measurements

CONSTRUCTION AND BUILDING MATERIALS

IF8

2012-09-01

PREAI

Atamturktur, Sez; Li, Tun; Ramage, Michael H.; Farajpour, Ismail

研究方向