Nan Zhang

An Approach for Automatically Generating Traces for Python Programs

Zhenhua Duan, Xiaoting Zhong, Nan Zhang, 2022, 2022 9th International Conference on Dependable Systems and Their Applications (DSA).

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

X. Lu, Zhenhua Duan, Cong Tian, 2023, IEEE Transactions on Parallel and Distributed Systems.

A temporal logic programming approach to planning

H. Du, Zhenhua Duan, Cong Tian, 2019, Journal of Combinatorial Optimization.

An extended strange planet protocol

Zhenhua Duan, Cong Tian, Nan Zhang, 2014, Journal of Combinatorial Optimization.

A dynamic approach to detecting, eliminating and fixing memory leaks

H. Du, Zhenhua Duan, Cong Tian, 2019, Journal of Combinatorial Optimization.

Verifying a scheduling protocol of safety-critical systems

M. Wang, H. Du, Zhenhua Duan, 2018, Journal of Combinatorial Optimization.

Verifying safety critical task scheduling systems in PPTL axiom system

Mengfei Yang, Zhenhua Duan, Cong Tian, 2014, Journal of Combinatorial Optimization.

An extended strange planet protocol

Jin Liu, Zhenhua Duan, Cong Tian, 2013, J. Comb. Optim..

Verifying schedulability of tasks in ROS-based systems

H. Du, Zhenhua Duan, Cong Tian, 2018, Journal of combinatorial optimization.

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

Zhenhua Duan, Yajie Wang, Nan Zhang, 2021, AAIM.