Nan Zhang

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 46

Top Topics

Satisfiability Problem

Top Venues

Theor. Comput. Sci.

J. Comb. Optim.

Publications

Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian
A Dynamic Parameter Adaptive Path Planning Algorithm. COCOA (2) (2023)
Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian
An Approach to Agent Path Planning Under Temporal Logic Constraints. COCOON (2) (2023)
Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian
A proof system for unified temporal logic. Theor. Comput. Sci. 949 (2023)
Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. IEEE Trans. Parallel Distributed Syst. 34 (1) (2023)
Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu
Verifying Chips Design at RTL Level. TASE (2023)
Xiaoting Zhong, Nan Zhang, Zhenhua Duan
An Approach for Automatically Generating Traces for Python Programs. DSA (2022)
Xinya Ning, Nan Zhang, Zhenhua Duan, Cong Tian
PPTL specification mining based on LNFG. Theor. Comput. Sci. 937 (2022)
Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian
Verifying Properties of MapReduce-Based Big Data Processing. IEEE Trans. Reliab. 71 (1) (2022)
Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu
A novel load balancing scheme for mobile edge computing. J. Syst. Softw. 186 (2022)
Xueqing Feng, Nan Zhang, Zhenhua Duan
Implementation of Matlab matfun Toolkit Based on MSVL. SOFL+MSVL (2022)
Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu
A Novel Load Balancing Scheme for Mobile Edge Computing. CoRR (2021)
Yajie Wang, Nan Zhang, Zhenhua Duan
Design and Implementation of List and Dictionary in XD-M Language. AAIM (2021)
Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs. IEEE Trans. Reliab. 70 (4) (2021)
Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan
A Knowledge-Based Temporal Planning Approach for Urban Traffic Control. IEEE Trans. Intell. Transp. Syst. 22 (3) (2021)
Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan
Temporal logic specification mining of programs. Theor. Comput. Sci. 857 (2021)
Bin Yu, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
A dynamic approach to detecting, eliminating and fixing memory leaks. J. Comb. Optim. 42 (3) (2021)
Nan Zhang, Zhenhua Duan, Cong Tian
Unified temporal logic. Theor. Comput. Sci. 864 (2021)
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
Translating Xd-C programs to MSVL programs. Theor. Comput. Sci. 809 (2020)
Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du
A novel approach to verifying context free properties of programs. Theor. Comput. Sci. 809 (2020)
Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang
ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (4) (2020)
Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao
Efficient decision procedure for propositional projection temporal logic. Theor. Comput. Sci. 838 (2020)
Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang
A sound and complete proof system for a unified temporal logic. Theor. Comput. Sci. 838 (2020)
Nan Zhang, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang
P2P Network Based Smart Parking System Using Edge Computing. Mob. Networks Appl. 25 (6) (2020)
Nan Zhang, Xiaoshuai Yuan, Zhenhua Duan
Propositional Projection Temporal Logic Specification Mining. COCOA (2020)
Jin Cui, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
Verifying schedulability of tasks in ROS-based systems. J. Comb. Optim. 37 (3) (2019)
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
Verifying a scheduling protocol of safety-critical systems. J. Comb. Optim. 37 (4) (2019)
Xinfeng Shu, Nan Zhang
An Efficient Decision Procedure for Propositional Projection Temporal Logic. COCOON (2019)
Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang
A Proof System for a Unified Temporal Logic. COCOON (2019)
Zhenhua Duan, Cong Tian, Nan Zhang, Qian Ma, Hongwei Du
Index set expressions can represent temporal logic formulas. Theor. Comput. Sci. 788 (2019)
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan
Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. IEEE Trans. Reliab. 68 (3) (2019)
Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
A temporal logic programming approach to planning. J. Comb. Optim. 38 (2) (2019)
Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang
A Runtime Optimization Approach for FPGA Routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (8) (2018)
Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu
A Blockchain Implementation of an Attendance Management System. SOFL+MSVL (2018)
Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang
Verifying temporal properties of programs: A parallel approach. J. Parallel Distributed Comput. 118 (Part) (2018)
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
Translating C programs to MSVL programs. CoRR (2018)
Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du
A Novel Approach to Verifying Context Free Properties of Programs. AAIM (2018)
Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang
A compiler for MSVL and its applications. Theor. Comput. Sci. 749 (2018)
Zhenhua Duan, Cong Tian, Mengchu Zhou, Xiaobing Wang, Nan Zhang, Hongwei Du, Lei Wang
Two-layer hybrid peer-to-peer networks. Peer-to-Peer Netw. Appl. 10 (6) (2017)
Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui
Implementing MapReduce with MSVL. SOFL+MSVL (2017)
Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang
Modeling and Verifying Multi-core Programs. COCOA (2) (2017)
Nan Zhang, Zhenhua Duan, Cong Tian
A complete axiom system for propositional projection temporal logic with cylinder computation model. Theor. Comput. Sci. 609 (2016)
Nan Zhang, Zhenhua Duan, Cong Tian
A mechanism of function calls in MSVL. Theor. Comput. Sci. 654 (2016)
Nan Zhang, Zhenhua Duan, Cong Tian
Model checking concurrent systems with MSVL. Sci. China Inf. Sci. 59 (11) (2016)
Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian
A Proof System for MSVL Programs in Coq. SOFL+MSVL (2016)
Zhenhua Duan, Cong Tian, Nan Zhang
A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Theor. Comput. Sci. 609 (2016)
Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian
Verifying safety critical task scheduling systems in PPTL axiom system. J. Comb. Optim. 31 (2) (2016)
Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou
Model Checking \mu μ C/OS-III Multi-task System with TMSVL. ICFEM (2015)
Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang
Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL. SOFL+MSVL (2015)
Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang
Model Checking MSVL Programs Based on Dynamic Symbolic Execution. COCOON (2015)
Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang
Verification of distributed systems with the axiomatic system of MSVL. Formal Aspects Comput. 27 (1) (2015)
Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang
Verification of a real time scheduling protocol of safety-critical systems. CSCWD (2015)
Jin Liu, Zhenhua Duan, Cong Tian, Nan Zhang
An extended strange planet protocol. J. Comb. Optim. 30 (2) (2015)
Zhenhua Duan, Yujiang Hui, Cong Tian, Nan Zhang, Bohu Huang
A Self-ORganizing Trust Model Based on HP2P. MSN (2015)
Zhenhua Duan, Cong Tian, Nan Zhang
Normal Form Expressions of Propositional Projection Temporal Logic. COCOON (2014)
Nan Zhang, Zhenhua Duan, Cong Tian
Extending MSVL with Function Calls. ICFEM (2014)
Nan Zhang, Zhenhua Duan, Cong Tian
An Axiomatization for Cylinder Computation Model. COCOON (2014)
Nan Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du
A formal proof of the deadline driven scheduler in PPTL axiomatic system. Theor. Comput. Sci. 554 (2014)
Nan Zhang, Zhenhua Duan, Cong Tian
A cylinder computation model for many-core parallel computing. Theor. Comput. Sci. 497 (2013)
Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang
Some Fixed-Point Issues in PPTL. Theories of Programming and Formal Methods (2013)
Zhenhua Duan, Nan Zhang, Maciej Koutny
A complete proof system for propositional projection temporal logic. Theor. Comput. Sci. 497 (2013)
Cong Tian, Zhenhua Duan, Nan Zhang
An efficient approach for abstraction-refinement in model checking. Theor. Comput. Sci. 461 (2012)
Nan Zhang, Zhenhua Duan
A Semantic Model for Many-Core Parallel Computing. COCOA (2011)
Zhenhua Duan, Nan Zhang
A Complete Axiomatization of Propositional Projection Temporal Logic. TASE (2008)