Nan Zhang

According to our database, Nan Zhang authored at least 62 papers between 2008 and 2023.

Collaborative distances:

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

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

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

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 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

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

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

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

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

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