Nan Zhang

84 papers B 2C 8Misc 7Journal 52Unranked 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
AutoTestForge: A Multidimensional Automated Testing Framework for Natural Language Processing Models.
CoRR
Hengrui Xing, Cong Tian, Liang Zhao, Zhi Ma, Wensheng Wang, Nan Zhang, Chao Huang, Zhenhua Duan
2025 J jnl
Collaboration with Generative AI to improve Requirements Change.
Comput. Stand. Interfaces
Yuan Kong, Nan Zhang, Zhenhua Duan, Bin Yu
2025 J jnl
Improved SARSA and DQN algorithms for reinforcement learning.
Theor. Comput. Sci.
Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian
2025 J jnl
SAT-based bounded model checking for propositional projection temporal logic.
Theor. Comput. Sci.
Zhenhua Duan, Cong Tian, Nan Zhang, Chaofeng Yu, Mengfei Yang, Jia He
2025 J jnl
SFD-resistant joint time-frequency symbol timing recovery algorithm and parallel FPGA implementation for broadband satellite communication.
Digit. Signal Process.
Peixin Zhang, Guo Li, Fengkui Gong, Nan Zhang, Daqing Wang, Zhao Li
2025 J jnl
Verifying chip designs at RTL level.
Sci. Comput. Program.
Nan Zhang, Zhijie Xu, Zhenhua Duan, Cong Tian, Wu Wang, Chaofeng Yu
2024 J jnl
Generating Java code pairing with ChatGPT.
Theor. Comput. Sci.
Zelong Zhao, Nan Zhang, Bin Yu, Zhenhua Duan
2024 J jnl
Robust Secure Precoding for UAV-Aided Multi-Beam Satellite NOMA Communications.
IEEE Trans. Veh. Technol.
Mengyan Huang, Guo Li, Fengkui Gong, Nan Zhang, Zhisheng Yin, Xingwang Li, Arumugam Nallanathan, Zhiguo Ding
2024 J jnl
Secure Precoding for Satellite NOMA-Aided Integrated Sensing and Communication.
IEEE Internet Things J.
Mengyan Huang, Fengkui Gong, Guo Li, Nan Zhang, Quoc-Viet Pham
2023 J jnl
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties.
IEEE Trans. Parallel Distributed Syst.
Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan
2023 — conf
A Dynamic Parameter Adaptive Path Planning Algorithm.
COCOA (2)
Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian
2023 J jnl
A proof system for unified temporal logic.
Theor. Comput. Sci.
Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian
2023 — conf
An Approach to Agent Path Planning Under Temporal Logic Constraints.
COCOON (2)
Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian
2023 J jnl
For Security and Higher Spectrum Efficiency: A Variable Packing Ratio Transmission System Based on Faster-Than-Nyquist and Deep Learning.
IEEE Trans. Wirel. Commun.
Peiyang Song, Nan Zhang, Lin Cai, Guo Li, Tong Wu, Feng-Kui Gong
2023 J jnl
Parallel Doubly Fed Symbol Timing Recovery Algorithm and FPGA Implementation for Burst Broadband Satellite Access.
IEEE Trans. Very Large Scale Integr. Syst.
Nan Zhang, Jinghan Feng, Peixin Zhang, Fengkui Gong
2023 — conf
Robust Secure Precoding for NOMA Multi-beam Satellite Systems.
VTC2023-Spring
Mengyan Huang, Guo Li, Nan Zhang, Fengkui Gong, Pengfei Xu
2023 Misc conf
Verifying Chips Design at RTL Level.
TASE
Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu
2022 J jnl
A novel load balancing scheme for mobile edge computing.
J. Syst. Softw.
Zhenhua Duan, Cong Tian, Nan Zhang, MengChu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu
2022 — conf
An Approach for Automatically Generating Traces for Python Programs.
DSA
Xiaoting Zhong, Nan Zhang, Zhenhua Duan
2022 — conf
Implementation of Matlab matfun Toolkit Based on MSVL.
SOFL+MSVL
Xueqing Feng, Nan Zhang, Zhenhua Duan
2022 J jnl
PPTL specification mining based on LNFG.
Theor. Comput. Sci.
Xinya Ning, Nan Zhang, Zhenhua Duan, Cong Tian
2022 J jnl
Verifying Properties of MapReduce-Based Big Data Processing.
IEEE Trans. Reliab.
Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian
2021 J jnl
A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs.
IEEE Trans. Reliab.
Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2021 J jnl
A Knowledge-Based Temporal Planning Approach for Urban Traffic Control.
IEEE Trans. Intell. Transp. Syst.
Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan
2021 J jnl
A Novel Load Balancing Scheme for Mobile Edge Computing.
CoRR
Zhenhua Duan, Cong Tian, Nan Zhang, MengChu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu
2021 J jnl
A dynamic approach to detecting, eliminating and fixing memory leaks.
J. Comb. Optim.
Bin Yu, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2021 C conf
Design and Implementation of List and Dictionary in XD-M Language.
AAIM
Yajie Wang, Nan Zhang, Zhenhua Duan
2021 J jnl
Reliability and Security Performance Analysis of Hybrid Satellite-Terrestrial Multi-Relay Systems With Artificial Noise.
IEEE Access
Mengyan Huang, Fengkui Gong, Nan Zhang, Guo Li, Feng Qian
2021 J jnl
Temporal logic specification mining of programs.
Theor. Comput. Sci.
Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan
2021 J jnl
Unified temporal logic.
Theor. Comput. Sci.
Nan Zhang, Zhenhua Duan, Cong Tian
2020 J jnl
A novel approach to verifying context free properties of programs.
Theor. Comput. Sci.
Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du
2020 J jnl
A sound and complete proof system for a unified temporal logic.
Theor. Comput. Sci.
Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang
2020 J jnl
Efficient decision procedure for propositional projection temporal logic.
Theor. Comput. Sci.
Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao
2020 J jnl
P2P Network Based Smart Parking System Using Edge Computing.
Mob. Networks Appl.
Nan Zhang, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang
2020 J jnl
ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang
2020 C conf
Propositional Projection Temporal Logic Specification Mining.
COCOA
Nan Zhang, Xiaoshuai Yuan, Zhenhua Duan
2020 J jnl
Translating Xd-C programs to MSVL programs.
Theor. Comput. Sci.
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
2019 Misc conf
A Proof System for a Unified Temporal Logic.
COCOON
Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang
2019 J jnl
A temporal logic programming approach to planning.
J. Comb. Optim.
Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2019 Misc conf
An Efficient Decision Procedure for Propositional Projection Temporal Logic.
COCOON
Xinfeng Shu, Nan Zhang
2019 J jnl
Index set expressions can represent temporal logic formulas.
Theor. Comput. Sci.
Zhenhua Duan, Cong Tian, Nan Zhang, Qian Ma, Hongwei Du
2019 J jnl
Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution.
IEEE Trans. Reliab.
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan
2019 J jnl
Verifying a scheduling protocol of safety-critical systems.
J. Comb. Optim.
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2019 J jnl
Verifying schedulability of tasks in ROS-based systems.
J. Comb. Optim.
Jin Cui, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2018 — conf
A Blockchain Implementation of an Attendance Management System.
SOFL+MSVL
Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu
2018 C conf
A Low-Complexity Blind Equalization Algorithm for 4096-QAM Systems.
APCC
Bo Wu, Nan Zhang, Hang Zhang, Feng-Kui Gong
2018 — conf
A Low-complexity and Flexible Implementation of Carrier Recovery for 4096-QAM Systems.
VTC Fall
Hao Wang, Nan Zhang, Hang Zhang, Fengkui Gong
2018 C conf
A Novel Approach to Verifying Context Free Properties of Programs.
AAIM
Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du
2018 J jnl
A Runtime Optimization Approach for FPGA Routing.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang
2018 J jnl
A compiler for MSVL and its applications.
Theor. Comput. Sci.
Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang
2018 — conf
Blind Estimation Algorithms for I/Q Imbalance in Direct Down-Conversion Receivers.
VTC Fall
Peiyang Song, Nan Zhang, Hang Zhang, Fengkui Gong
2018 J jnl
Translating C programs to MSVL programs.
CoRR
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
2018 J jnl
Verifying temporal properties of programs: A parallel approach.
J. Parallel Distributed Comput.
Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang
2017 — conf
Implementing MapReduce with MSVL.
SOFL+MSVL
Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui
2017 — conf
Modeling and Verifying Multi-core Programs.
COCOA (2)
Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang
2017 J jnl
Two-layer hybrid peer-to-peer networks.
Peer-to-Peer Netw. Appl.
Zhenhua Duan, Cong Tian, MengChu Zhou, Xiaobing Wang, Nan Zhang, Hongwei Du, Lei Wang
2016 — conf
A Proof System for MSVL Programs in Coq.
SOFL+MSVL
Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian
2016 J jnl
A canonical form based decision procedure and model checking approach for propositional projection temporal logic.
Theor. Comput. Sci.
Zhenhua Duan, Cong Tian, Nan Zhang
2016 J jnl
A complete axiom system for propositional projection temporal logic with cylinder computation model.
Theor. Comput. Sci.
Nan Zhang, Zhenhua Duan, Cong Tian
2016 J jnl
A mechanism of function calls in MSVL.
Theor. Comput. Sci.
Nan Zhang, Zhenhua Duan, Cong Tian
2016 J jnl
Model checking concurrent systems with MSVL.
Sci. China Inf. Sci.
Nan Zhang, Zhenhua Duan, Cong Tian
2016 J jnl
Verifying safety critical task scheduling systems in PPTL axiom system.
J. Comb. Optim.
Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian
2015 J jnl
A Fuse-and-Forward Protocol for Two-Way Relaying Networks With Relay Having Its Own Broadcasting Information.
IEEE Commun. Lett.
Guo Li, Fengkui Gong, Nan Zhang, Yong Wang
2015 — conf
A Self-ORganizing Trust Model Based on HP2P.
MSN
Zhenhua Duan, Yujiang Hui, Cong Tian, Nan Zhang, Bohu Huang
2015 J jnl
An extended strange planet protocol.
J. Comb. Optim.
Jin Liu, Zhenhua Duan, Cong Tian, Nan Zhang
2015 B conf
Distributed space-time block coding in multi-way amplify-and-forward relaying networks.
PIMRC
Guo Li, Fengkui Gong, Nan Zhang, Xiang Chen
2015 Misc conf
Model Checking MSVL Programs Based on Dynamic Symbolic Execution.
COCOON
Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang
2015 C conf
Model Checking \mu μ C/OS-III Multi-task System with TMSVL.
ICFEM
Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou
2015 — conf
Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL.
SOFL+MSVL
Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang
2015 C conf
Verification of a real time scheduling protocol of safety-critical systems.
CSCWD
Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang
2015 J jnl
Verification of distributed systems with the axiomatic system of MSVL.
Formal Aspects Comput.
Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang
2014 J jnl
A formal proof of the deadline driven scheduler in PPTL axiomatic system.
Theor. Comput. Sci.
Nan Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du
2014 Misc conf
An Axiomatization for Cylinder Computation Model.
COCOON
Nan Zhang, Zhenhua Duan, Cong Tian
2014 C conf
Extending MSVL with Function Calls.
ICFEM
Nan Zhang, Zhenhua Duan, Cong Tian
2014 Misc conf
Normal Form Expressions of Propositional Projection Temporal Logic.
COCOON
Zhenhua Duan, Cong Tian, Nan Zhang
2013 J jnl
A complete proof system for propositional projection temporal logic.
Theor. Comput. Sci.
Zhenhua Duan, Nan Zhang, Maciej Koutny
2013 J jnl
A cylinder computation model for many-core parallel computing.
Theor. Comput. Sci.
Nan Zhang, Zhenhua Duan, Cong Tian
2013 — conf
Design of training-aided transmission schemes for the DC-STBC based two-way relaying network.
WCSP
Shi Yin, Fengkui Gong, Lianben Li, Nan Zhang
2013 B conf
Distributed collaborative space-time block codes for two-way relaying network.
WCNC
Fengkui Gong, Jian-Kang Zhang, Jianhua Ge, Nan Zhang
2013 — conf
Some Fixed-Point Issues in PPTL.
Theories of Programming and Formal Methods
Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang
2012 J jnl
An efficient approach for abstraction-refinement in model checking.
Theor. Comput. Sci.
Cong Tian, Zhenhua Duan, Nan Zhang
2011 C conf
A Semantic Model for Many-Core Parallel Computing.
COCOA
Nan Zhang, Zhenhua Duan
2011 J jnl
SER Analysis of the Mobile-Relay-Based M2M Communication over Double Nakagami-m Fading Channels.
IEEE Commun. Lett.
Fengkui Gong, Jianhua Ge, Nan Zhang
2008 Misc conf
A Complete Axiomatization of Propositional Projection Temporal Logic.
TASE
Zhenhua Duan, Nan Zhang