Tiancheng Wang

67 papers A* 4A 2C 12Misc 1Journal 32Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
AI Assisted Economics Measurement From Survey: Evidence from Public Employee Pension Choice.
CoRR
Tiancheng Wang, Krishna Sharma
2026 — conf
AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs.
ASP-DAC
Hongqin Lyu, Yonghao Wang, Jiaxin Zhou, Zhiteng Chao, Tiancheng Wang, Huawei Li
2026 J jnl
Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification.
CoRR
Yonghao Wang, Jiaxin Zhou, Yang Yin, Hongqin Lyu, Zhiteng Chao, Wenchao Ding, Jing Ye, Tiancheng Wang, Huawei Li
2025 J jnl
A contrastive semi-supervised remaining useful life prediction method with incomplete life histories on turbofan.
Comput. Electr. Eng.
Tiancheng Wang, Yi Xu, Di Guo, Xi-Ming Sun
2025 J jnl
AssertFix: Empowering Automated Assertion Fix via Large Language Models.
CoRR
Hongqin Lyu, Yunlin Du, Yonghao Wang, Zhiteng Chao, Tiancheng Wang, Huawei Li
2025 — conf
AssertGen: Enhancement of LLM-aided Assertion Generation through Cross-Layer Signal Bridging.
ATS
Hongqin Lyu, Yonghao Wang, Yunlin Du, Mingyu Shi, Zhiteng Chao, Wenxing Li, Tiancheng Wang, Huawei Li
2025 J jnl
AssertGen: Enhancement of LLM-aided Assertion Generation through Cross-Layer Signal Bridging.
CoRR
Hongqin Lyu, Yonghao Wang, Yunlin Du, Mingyu Shi, Zhiteng Chao, Wenxing Li, Tiancheng Wang, Huawei Li
2025 J jnl
AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs.
CoRR
Hongqin Lyu, Yonghao Wang, Jiaxin Zhou, Zhiteng Chao, Tiancheng Wang, Huawei Li
2025 J jnl
DeepAssert: An LLM-Aided Verification Framework with Fine-Grained Assertion Generation for Modules with Extracted Module Specifications.
CoRR
Yonghao Wang, Jiaxin Zhou, Hongqin Lyu, Zhiteng Chao, Tiancheng Wang, Huawei Li
2025 J jnl
Safety2Drive: Safety-Critical Scenario Benchmark for the Evaluation of Autonomous Driving.
CoRR
Jingzheng Li, Tiancheng Wang, Xingyu Peng, Jiacheng Chen, Zhijun Chen, Bing Li, Xianglong Liu
2025 J jnl
SoccerNet 2025 Challenges Results.
CoRR
Silvio Giancola, Anthony Cioppa, Marc Gutiérrez-Pérez, Jan Held, Carlos Hinojosa, Victor Joos, Arnaud Leduc, Floriane Magera, Karen Sanchez, Vladimir Somers, Artur Xarles, Antonio Agudo, Alexandre Alahi, Olivier Barnich, Albert Clapés, Christophe De Vleeschouwer, Sergio Escalera, Bernard Ghanem, Thomas B. Moeslund, Marc Van Droogenbroeck, Tomoki Abe, Saad Ghazai Alotaibi, Faisal Sami Altawijri, Steven Araujo, Xiang Bai, Xiaoyang Bi, Jiawang Cao, Vanyi Chao, Kamil Czarnogórski, Fabian Deuser, Mingyang Du, Tianrui Feng, Patrick Frenzel, Mirco Fuchs, Jorge García, Konrad Habel, Takaya Hashiguchi, Sadao Hirose, Xinting Hu, Yewon Hwang, Ririko Inoue, Riku Itsuji, Kazuto Iwai, Hongwei Ji, Yangguang Ji, Licheng Jiao, Yuto Kageyama, Yuta Kamikawa, Yuuki Kanasugi, Hyungjung Kim, Jinwook Kim, Takuya Kurihara, Bozheng Li, Lingling Li, Xian Li, Youxing Lian, Dingkang Liang, Hongkai Lin, Jiadong Lin, Jian Liu, Liang Liu, Shuaikun Liu, Zhaohong Liu, Yi Lu, Federico Méndez, Huadong Ma, Wenping Ma, Jacek Maksymiuk, Henry Mantilla, Ismail Mathkour, Daniel Matthes, Ayaha Motomochi, Muhammad Amrulloh Robbani, Haruto Nakayama, Joohyung Oh, Yin May Oo, Marcelo Ortega, Norbert Oswald, Rintaro Otsubo, Fabian Perez, Mengshi Qi, Cristian Rey, Abel Reyes-Angulo, Oliver Rose, Hoover Rueda-Chacón, Hideo Saito, Jose Sarmiento, Kanta Sawafuji, Atom Scott, Xi Shen, Pragyan Shrestha, Jae-Young Sim, Long Sun, Yuyang Sun, Tomohiro Suzuki, Licheng Tang, Masato Tonouchi, Ikuma Uchida, Henry O. Velesaca, Tiancheng Wang
2025 A* conf
Unified Medical Lesion Segmentation via Self-referring Indicator.
CVPR
Shijie Chang, Xiaoqi Zhao, Lihe Zhang, Tiancheng Wang
2024 A* conf
CLIP in Mirror: Disentangling text from visual images through reflection.
NeurIPS
Tiancheng Wang, Yuguang Yang, Linlin Yang, Shaohui Lin, Juan Zhang, Guodong Guo, Baochang Zhang
2024 J jnl
Continual Residual Reservoir Computing for Remaining Useful Life Prediction.
IEEE Trans. Ind. Informatics
Tiancheng Wang, Huaping Liu, Di Guo, Xi-Ming Sun
2024 J jnl
Identification of Complex Slope Subsurface Strata Using Ground-Penetrating Radar.
Remote. Sens.
Tiancheng Wang, Wensheng Zhang, Jinhui Li, Da Liu, Limin Zhang
2024 — book
Neural Networks with Model Compression
Baochang Zhang, Tiancheng Wang, Sheng Xu, David S. Doermann
2024 C conf
On Optimal Ternary Signal Constellation Maximizing Capacity Under Energy Constraints.
ISITA
Shion Kitamura, Tiancheng Wang, Souichi Takahira, Tsuyoshi Sasaki Usuda
2024 C conf
Property of Classical Reliability Function for BPSK Signals Coded by Simplex Codes with SRM.
ISITA
Ken Masaki, Tiancheng Wang, Shogo Usami, Souichi Takahira, Tsuyoshi Sasaki Usuda
2024 C conf
Quantum Deletionllnsertion Errors in Optical Qubits due to Synchronization Error.
ISITA
Masaki Takekoshi, Shion Kitamura, Tiancheng Wang, Tsuyoshi Sasaki Usuda
2024 J jnl
Robot path planning based on IAPF-A-Star algorithm.
Int. J. Model. Simul. Sci. Comput.
Yixuan Wang, Lei Wang, Dongdong Li, Jingcao Cai, Tiancheng Wang, Qiangqiang Xia
2024 J jnl
Security enhancement of amplitude-shift keying-type asymmetric quantum communication systems.
Quantum Inf. Process.
Tiancheng Wang, Tsuyoshi Sasaki Usuda
2024 A* conf
SmartATPG: Learning-based Automatic Test Pattern Generation with Graph Convolutional Network and Reinforcement Learning.
DAC
Wenxing Li, Hongqin Lyu, Shengwen Liang, Tiancheng Wang, Huawei Li
2023 J jnl
Adaptive edge finite element method and numerical design for metasurface cloak.
Comput. Phys. Commun.
Wei Yang, Tiancheng Wang, Jiangqiong Mao
2023 A* conf
An Implicitly Stable Mixture Model for Dynamic Multi-fluid Simulations.
SIGGRAPH Asia
Yanrui Xu, Xiaokun Wang, Jiamin Wang, Chongming Song, Tiancheng Wang, Yalan Zhang, Jian Chang, Jian-Jun Zhang, Jirí Kosinka, Alexandru C. Telea, Xiaojuan Ban
2023 J jnl
Bandit Interpretability of Deep Models via Confidence Selection.
Neurocomputing
Xiaoyue Duan, Hong Li, Panpan Wang, Tiancheng Wang, Boyu Liu, Baochang Zhang
2023 J jnl
Implicit smoothed particle hydrodynamics model for simulating incompressible fluid-elastic coupling.
Comput. Animat. Virtual Worlds
Xiaokun Wang, Tiancheng Wang, Jiamin Wang, Yanrui Xu, Xiaojuan Ban, Houbin Huang, Zhihong Zhu, Jian Chang, Jian-Jun Zhang
2023 — conf
Intelligent Automatic Test Pattern Generation for Digital Circuits Based on Reinforcement Learning.
ATS
Wenxing Li, Hongqin Lyu, Shengwen Liang, Tiancheng Wang, Pengyu Tian, Huawei Li
2023 J jnl
Monte Carlo-based improved ant colony optimization for path planning of welding robot.
J. King Saud Univ. Comput. Inf. Sci.
Tiancheng Wang, Lei Wang, Dongdong Li, Jingcao Cai, Yixuan Wang
2023 J jnl
Simulating hyperelastic materials with anisotropic stiffness models in a particle-based framework.
Comput. Graph.
Tiancheng Wang, Yanrui Xu, Ruolan Li, Haoping Wang, Yuege Xiong, Xiaokun Wang
2022 J jnl
Error Performance of Amplitude Shift Keying-Type Asymmetric Quantum Communication Systems.
Entropy
Tiancheng Wang, Tsuyoshi Sasaki Usuda
2022 — conf
Model Predictive Reference Generation of Wheel-Individually Controlled Vehicles.
CCTA
Manuel Schwartz, Tiancheng Wang, Christopher Bohn, Sören Hohmann
2022 C conf
PSK-type asymmetric quantum communication and its attenuation characteristics.
ISITA
Suguru Sameshima, Tiancheng Wang, Shogo Usami, Tsuyoshi Sasaki Usuda
2022 — conf
Recurrent Bilinear Optimization for Binary Neural Networks.
ECCV (24)
Sheng Xu, Yanjing Li, Tiancheng Wang, Teli Ma, Baochang Zhang, Peng Gao, Yu Qiao, Jinhu Lü, Guodong Guo
2022 J jnl
Recurrent Bilinear Optimization for Binary Neural Networks.
CoRR
Sheng Xu, Yanjing Li, Tiancheng Wang, Teli Ma, Baochang Zhang, Peng Gao, Yu Qiao, Jinhu Lv, Guodong Guo
2022 J jnl
Remaining useful life predictions for turbofan engine degradation based on concurrent semi-supervised model.
Neural Comput. Appl.
Tiancheng Wang, Di Guo, Xi-Ming Sun
2022 J jnl
Simplification of the Gram Matrix Eigenvalue Problem for Quadrature Amplitude Modulation Signals.
Entropy
Ryusuke Miyazaki, Tiancheng Wang, Tsuyoshi Sasaki Usuda
2022 — conf
Spindle Density Analysis of Adult Epilepsy based on Automatic Detection Algorithms in EEG.
ISAIMS
Yajin Huang, Yanjun Liu, Junqiang Li, Yan Yue, Yaqing Liu, Tiancheng Wang
2020 J jnl
A 4K × 2K@60fps Multifunctional Video Display Processor for High Perceptual Image Quality.
IEEE Trans. Circuits Syst. I Regul. Pap.
Hang Wang, Xiang Li, Daqiang Han, Shiquan Yu, Shouyi Yin, Shaojun Wei, Nanning Zheng, Xuchong Zhang, Tiancheng Wang, Wenchang Li, Qiubo Chen, Pengju Ren, Xiaogang Wu, Hongbin Sun, Zhiqiang Jiang
2020 — conf
A New Paralleled Semi-supervised Deep Learning Method for Remaining Useful Life Prediction.
ICCSIP
Tiancheng Wang, Di Guo, Ximing Sun
2020 — conf
Design of indoor object searching and positioning system based on ibeacon.
I2MTC
Wenbin Zheng, Tiancheng Wang, Ping Fu, Lei Feng, Jinlong Shi, Li Wang
2020 C conf
Effect of Non-Gaussian Noise Due to Beam Wandering on Error Performance of Quantum Measurement.
ISITA
Tiancheng Wang, Tsuyoshi Sasaki Usuda
2020 J jnl
Evaluating and Constraining Hardware Assertions with Absent Scenarios.
J. Comput. Sci. Technol.
Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li
2020 J jnl
Normal Information Diffusion Distribution and Its Application in Inferring the Optimal Probability Density Functions of the Event Coordinates From the Microseismic or Acoustic Emission Sources.
IEEE Access
Fengqiang Gong, Tiancheng Wang, Song Luo
2020 C conf
Performance Evaluation of Ghost Imaging with Orthogonal/Non-orthogonal Quantum States in Terms of Image Quality.
ISITA
Yuto Takahashi, Tiancheng Wang, Shogo Usami, Tsuyoshi Sasaki Usuda
2020 C conf
Quantum Illumination using Quasi-Bell States.
ISITA
Jun Yamauchi, Yuto Takahashi, Tiancheng Wang, Tsuyoshi Sasaki Usuda
2020 C conf
Simplification of the Calculation of the Channel Matrix for AMPM Coherent-state Signals.
ISITA
Ryusuke Miyazaki, Mana Yoshida, Tiancheng Wang, Tsuyoshi Sasaki Usuda
2019 C conf
A Hardware-Efficient Post-Processing Algorithm for Motion Compensated Frame Rate Up-Conversion.
ISCAS
Hang Wang, Tiancheng Wang, Yunqi Mi, Hongbin Sun, Nanning Zheng
2019 J jnl
Efficient Compression-Based Line Buffer Design for Image/Video Processing Circuits.
IEEE Trans. Very Large Scale Integr. Syst.
Hang Wang, Tiancheng Wang, Longjun Liu, Hongbin Sun, Nanning Zheng
2019 J jnl
Research on the optimal cluster number of energy efficiency based on the block model of opportunistic signal.
Clust. Comput.
Tiancheng Wang
2019 J jnl
State feedback stabilization for nonlinear systems with more general high-order terms.
Trans. Inst. Meas. Control
Tiancheng Wang, Shi Zheng, Wuquan Li
2018 C conf
Effect of Non-Symmetric Loss on Quantum Reading Using a Quasi-Bell State.
ISITA
Keita Ishikawa, Tiancheng Wang, Tsuyoshi Sasaki Usuda
2018 C conf
Error performance and robustness of optimum quantum detection for MPSK signals in the presence of phase noise.
ISITA
Tiancheng Wang, Kenji Nakahira, Tsuyoshi Sasaki Usuda
2018 J jnl
Low rank constraint and spatial spectral total variation for hyperspectral image mixed denoising.
Signal Process.
Qiang Wang, Zhaojun Wu, Jing Jin, Tiancheng Wang, Yi Shen
2017 — conf
Coupled denoising and unmixing with low rank constraint and hypergraph regularization for hyperspectral image.
I2MTC
Zhaojun Wu, Xuan Liu, Tiancheng Wang, Qiang Wang, Yi Shen, Jing Jin
2017 — conf
On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios.
ATS
Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li
2016 J jnl
Abstraction-Guided Simulation Using Markov Analysis for Functional Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jian Wang, Huawei Li, Tao Lv, Tiancheng Wang, Xiaowei Li, Sandip Kundu
2016 A conf
An accurate algorithm for computing mutation coverage in model checking.
ITC
Huina Chao, Huawei Li, Tiancheng Wang, Xiaowei Li, Bo Liu
2016 J jnl
Functional Test Generation for Hard-to-Reach States Using Path Constraint Solving.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yanhong Zhou, Tiancheng Wang, Huawei Li, Tao Lv, Xiaowei Li
2016 J jnl
LOFT: A low-overhead fault-tolerant routing scheme for 3D NoCs.
Integr.
Jun Zhou, Huawei Li, Tiancheng Wang, Xiaowei Li
2016 Misc conf
Path constraint solving based test generation for observability-enhanced branch coverage.
VTS
Yanhong Zhou, Huawei Li, Tiancheng Wang, Bo Liu, Yingke Gao, Xiaowei Li
2016 — conf
Property Coverage Analysis Based Trustworthiness Verification for Potential Threats from EDA Tools.
ATS
Yingxin Qiu, Huawei Li, Tiancheng Wang, Bo Liu, Yingke Gao, Xiaowei Li
2015 — conf
TURO: A lightweight turn-guided routing scheme for 3D NoCs.
COOL Chips
Jun Zhou, Huawei Li, Tiancheng Wang, Ying Wang, Xiaowei Li
2015 — conf
TWiN: A Turn-Guided Reliable Routing Scheme for Wireless 3D NoCs.
ATS
Jun Zhou, Huawei Li, Tiancheng Wang, Sen Li, Ying Wang, Xiaowei Li
2014 A conf
Functional test generation guided by steady-state probabilities of abstract design.
DATE
Jian Wang, Huawei Li, Tao Lv, Tiancheng Wang, Xiaowei Li
2014 — conf
HARS: A High-Performance Reliable Routing Scheme for 3D NoCs.
ISVLSI
Jun Zhou, Huawei Li, Yuntan Fang, Tiancheng Wang, Yuanqing Cheng, Xiaowei Li
2013 — conf
Path Constraint Solving Based Test Generation for Hard-to-Reach States.
Asian Test Symposium
Yanhong Zhou, Tiancheng Wang, Tao Lv, Huawei Li, Xiaowei Li
2006 C conf
Delay-Dependent Robust Stabilization for Uncertain Time-Delay Systems.
ICARCV
Tiancheng Wang, Hongxia Guo, Jing Ju