Nan Zhang

According to our database, Nan Zhang authored at least 83 papers between 2008 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

AutoTestForge: A Multidimensional Automated Testing Framework for Natural Language Processing Models.

Hengrui Xing, Cong Tian, Liang Zhao, Zhi Ma, Wensheng Wang, Nan Zhang, Chao Huang, Zhenhua Duan

CoRR, March, 2025

Improved SARSA and DQN algorithms for reinforcement learning.

Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2025

SAT-based bounded model checking for propositional projection temporal logic.

Zhenhua Duan, Cong Tian, Nan Zhang, Chaofeng Yu, Mengfei Yang, Jia He

Theor. Comput. Sci., 2025

Verifying chip designs at RTL level.

Nan Zhang, Zhijie Xu, Zhenhua Duan, Cong Tian, Wu Wang, Chaofeng Yu

Sci. Comput. Program., 2025

SFD-resistant joint time-frequency symbol timing recovery algorithm and parallel FPGA implementation for broadband satellite communication.

Peixin Zhang, Guo Li, Fengkui Gong, Nan Zhang, Daqing Wang, Zhao Li

Digit. Signal Process., 2025

Collaboration with Generative AI to improve Requirements Change.

Yuan Kong, Nan Zhang, Zhenhua Duan, Bin Yu

Comput. Stand. Interfaces, 2025

2024

Secure Precoding for Satellite NOMA-Aided Integrated Sensing and Communication.

Mengyan Huang, Fengkui Gong, Guo Li, Nan Zhang, Quoc-Viet Pham

IEEE Internet Things J., September, 2024

Robust Secure Precoding for UAV-Aided Multi-Beam Satellite NOMA Communications.

Mengyan Huang, Guo Li, Fengkui Gong, Nan Zhang, Zhisheng Yin, Xingwang Li, Arumugam Nallanathan, Zhiguo Ding

IEEE Trans. Veh. Technol., June, 2024

Generating Java code pairing with ChatGPT.

Zelong Zhao, Nan Zhang, Bin Yu, Zhenhua Duan

Theor. Comput. Sci., 2024

2023

Parallel Doubly Fed Symbol Timing Recovery Algorithm and FPGA Implementation for Burst Broadband Satellite Access.

Nan Zhang, Jinghan Feng, Peixin Zhang, Fengkui Gong

IEEE Trans. Very Large Scale Integr. Syst., December, 2023

For Security and Higher Spectrum Efficiency: A Variable Packing Ratio Transmission System Based on Faster-Than-Nyquist and Deep Learning.

Peiyang Song, Nan Zhang, Lin Cai, Guo Li, Tong Wu, Feng-Kui Gong

IEEE Trans. Wirel. Commun., September, 2023

A proof system for unified temporal logic.

Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., March, 2023

A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties.

Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan

IEEE Trans. Parallel Distributed Syst., 2023

Robust Secure Precoding for NOMA Multi-beam Satellite Systems.

Mengyan Huang, Guo Li, Nan Zhang, Fengkui Gong, Pengfei Xu

Proceedings of the 97th IEEE Vehicular Technology Conference, 2023

Verifying Chips Design at RTL Level.

Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu

Proceedings of the Theoretical Aspects of Software Engineering, 2023

An Approach to Agent Path Planning Under Temporal Logic Constraints.

Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian

Proceedings of the Computing and Combinatorics - 29th International Conference, 2023

A Dynamic Parameter Adaptive Path Planning Algorithm.

Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian

Proceedings of the Combinatorial Optimization and Applications, 2023

2022

Verifying Properties of MapReduce-Based Big Data Processing.

Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian

IEEE Trans. Reliab., 2022

PPTL specification mining based on LNFG.

Xinya Ning, Nan Zhang, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2022

A novel load balancing scheme for mobile edge computing.

Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu

J. Syst. Softw., 2022

Implementation of Matlab matfun Toolkit Based on MSVL.

Xueqing Feng, Nan Zhang, Zhenhua Duan

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

An Approach for Automatically Generating Traces for Python Programs.

Xiaoting Zhong, Nan Zhang, Zhenhua Duan

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2021

A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs.

Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du

IEEE Trans. Reliab., 2021

A Knowledge-Based Temporal Planning Approach for Urban Traffic Control.

Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan

IEEE Trans. Intell. Transp. Syst., 2021

Temporal logic specification mining of programs.

Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan

Theor. Comput. Sci., 2021

Unified temporal logic.

Nan Zhang, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2021

A dynamic approach to detecting, eliminating and fixing memory leaks.

Bin Yu, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du

J. Comb. Optim., 2021

A Novel Load Balancing Scheme for Mobile Edge Computing.

Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu

CoRR, 2021

Reliability and Security Performance Analysis of Hybrid Satellite-Terrestrial Multi-Relay Systems With Artificial Noise.

Mengyan Huang, Fengkui Gong, Nan Zhang, Guo Li, Feng Qian

IEEE Access, 2021

Design and Implementation of List and Dictionary in XD-M Language.

Yajie Wang, Nan Zhang, Zhenhua Duan

Proceedings of the Algorithmic Aspects in Information and Management, 2021

2020

A sound and complete proof system for a unified temporal logic.

Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang

Theor. Comput. Sci., 2020

A novel approach to verifying context free properties of programs.

Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du

Theor. Comput. Sci., 2020

Translating Xd-C programs to MSVL programs.

Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao

Theor. Comput. Sci., 2020

Efficient decision procedure for propositional projection temporal logic.

Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao

Theor. Comput. Sci., 2020

ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach.

Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

P2P Network Based Smart Parking System Using Edge Computing.

Nan Zhang, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang

Mob. Networks Appl., 2020

Propositional Projection Temporal Logic Specification Mining.

Nan Zhang, Xiaoshuai Yuan, Zhenhua Duan

Proceedings of the Combinatorial Optimization and Applications, 2020

2019

Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution.

Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan

IEEE Trans. Reliab., 2019

Index set expressions can represent temporal logic formulas.

Zhenhua Duan, Cong Tian, Nan Zhang, Qian Ma, Hongwei Du

Theor. Comput. Sci., 2019

A temporal logic programming approach to planning.

Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du

J. Comb. Optim., 2019

Verifying a scheduling protocol of safety-critical systems.

Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du

J. Comb. Optim., 2019

Verifying schedulability of tasks in ROS-based systems.

Jin Cui, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du

J. Comb. Optim., 2019

A Proof System for a Unified Temporal Logic.

Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang

Proceedings of the Computing and Combinatorics - 25th International Conference, 2019

An Efficient Decision Procedure for Propositional Projection Temporal Logic.

Xinfeng Shu, Nan Zhang

Proceedings of the Computing and Combinatorics - 25th International Conference, 2019

2018

A compiler for MSVL and its applications.

Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang

Theor. Comput. Sci., 2018

A Runtime Optimization Approach for FPGA Routing.

Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Verifying temporal properties of programs: A parallel approach.

Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang

J. Parallel Distributed Comput., 2018

Translating C programs to MSVL programs.

Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao

CoRR, 2018

A Low-complexity and Flexible Implementation of Carrier Recovery for 4096-QAM Systems.

Hao Wang, Nan Zhang, Hang Zhang, Fengkui Gong

Proceedings of the 88th IEEE Vehicular Technology Conference, 2018

Blind Estimation Algorithms for I/Q Imbalance in Direct Down-Conversion Receivers.

Peiyang Song, Nan Zhang, Hang Zhang, Fengkui Gong

Proceedings of the 88th IEEE Vehicular Technology Conference, 2018

A Blockchain Implementation of an Attendance Management System.

Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

A Low-Complexity Blind Equalization Algorithm for 4096-QAM Systems.

Bo Wu, Nan Zhang, Hang Zhang, Feng-Kui Gong

Proceedings of the 24th Asia-Pacific Conference on Communications, 2018

2017

Two-layer hybrid peer-to-peer networks.

Zhenhua Duan, Cong Tian, Mengchu Zhou, Xiaobing Wang, Nan Zhang, Hongwei Du, Lei Wang

Peer-to-Peer Netw. Appl., 2017

Implementing MapReduce with MSVL.

Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

Modeling and Verifying Multi-core Programs.

Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang

Proceedings of the Combinatorial Optimization and Applications, 2017

2016

A mechanism of function calls in MSVL.

Nan Zhang, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2016

A complete axiom system for propositional projection temporal logic with cylinder computation model.

Nan Zhang, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2016

A canonical form based decision procedure and model checking approach for propositional projection temporal logic.

Zhenhua Duan, Cong Tian, Nan Zhang

Theor. Comput. Sci., 2016

Verifying safety critical task scheduling systems in PPTL axiom system.

Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian

J. Comb. Optim., 2016

Model checking concurrent systems with MSVL.

Nan Zhang, Zhenhua Duan, Cong Tian

Sci. China Inf. Sci., 2016

A Proof System for MSVL Programs in Coq.

Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

2015

An extended strange planet protocol.

Jin Liu, Zhenhua Duan, Cong Tian, Nan Zhang

J. Comb. Optim., 2015

A Fuse-and-Forward Protocol for Two-Way Relaying Networks With Relay Having Its Own Broadcasting Information.

Guo Li, Fengkui Gong, Nan Zhang, Yong Wang

IEEE Commun. Lett., 2015

Verification of distributed systems with the axiomatic system of MSVL.

Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang

Formal Aspects Comput., 2015

Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL.

Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Distributed space-time block coding in multi-way amplify-and-forward relaying networks.

Guo Li, Fengkui Gong, Nan Zhang, Xiang Chen

Proceedings of the 26th IEEE Annual International Symposium on Personal, 2015

A Self-ORganizing Trust Model Based on HP2P.

Zhenhua Duan, Yujiang Hui, Cong Tian, Nan Zhang, Bohu Huang

Proceedings of the 11th International Conference on Mobile Ad-hoc and Sensor Networks, 2015

Model Checking \mu μ C/OS-III Multi-task System with TMSVL.

Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou

Proceedings of the Formal Methods and Software Engineering, 2015

Verification of a real time scheduling protocol of safety-critical systems.

Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang

Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

Model Checking MSVL Programs Based on Dynamic Symbolic Execution.

Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang

Proceedings of the Computing and Combinatorics - 21st International Conference, 2015

2014

A formal proof of the deadline driven scheduler in PPTL axiomatic system.

Nan Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du

Theor. Comput. Sci., 2014

Extending MSVL with Function Calls.

Nan Zhang, Zhenhua Duan, Cong Tian

Proceedings of the Formal Methods and Software Engineering, 2014

An Axiomatization for Cylinder Computation Model.

Nan Zhang, Zhenhua Duan, Cong Tian

Proceedings of the Computing and Combinatorics - 20th International Conference, 2014

Normal Form Expressions of Propositional Projection Temporal Logic.

Zhenhua Duan, Cong Tian, Nan Zhang

Proceedings of the Computing and Combinatorics - 20th International Conference, 2014

2013

A cylinder computation model for many-core parallel computing.

Nan Zhang, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2013

A complete proof system for propositional projection temporal logic.

Zhenhua Duan, Nan Zhang, Maciej Koutny

Theor. Comput. Sci., 2013

Design of training-aided transmission schemes for the DC-STBC based two-way relaying network.

Shi Yin, Fengkui Gong, Lianben Li, Nan Zhang

Proceedings of the International Conference on Wireless Communications and Signal Processing, 2013

Distributed collaborative space-time block codes for two-way relaying network.

Fengkui Gong, Jian-Kang Zhang, Jianhua Ge, Nan Zhang

Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

Some Fixed-Point Issues in PPTL.

Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

An efficient approach for abstraction-refinement in model checking.

Cong Tian, Zhenhua Duan, Nan Zhang

Theor. Comput. Sci., 2012

2011

SER Analysis of the Mobile-Relay-Based M2M Communication over Double Nakagami-m Fading Channels.

Fengkui Gong, Jianhua Ge, Nan Zhang

IEEE Commun. Lett., 2011

A Semantic Model for Many-Core Parallel Computing.

Nan Zhang, Zhenhua Duan

Proceedings of the Combinatorial Optimization and Applications, 2011

2008

A Complete Axiomatization of Propositional Projection Temporal Logic.

Zhenhua Duan, Nan Zhang

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008