Zhenhua Duan

发表

Sound and Complete Set of Reduction Rules of Free Choice WF-Nets: Sound and Complete Set of Reduction Rules of Free Choice WF-Nets

Zhenhua Duan, Man Zhang, Xiao-Bing Wang, 2013 .

A Hybrid Projection Temporal Logic for Hybrid Systems

M. Holcombe, Zhenhua Duan, 1994 .

Propositional Projection Temporal Logic, Büchi Automata and ω-Regular Expressions

Zhenhua Duan, Cong Tian, Zhenhua Duan, 2008 .

Compositional verification with stutter-invariant propositional projection temporal logic

Zhenhua Duan, Chen Yang, 2010 .

Improved even order magic square construction algorithms and their applications in multi-user shared electronic accounts

Jie Li, Jin Liu, Zhenhua Duan, 2015, Theor. Comput. Sci..

Propositional Projection Temporal Logic Specification Mining

Nan Zhang, Zhenhua Duan, Xiaoshuai Yuan, 2020, COCOA.

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China

Yu Guo, Tianlong Gu, Yiyun Chen, 2007, TASE.

Satisfiability of Propositional Projection Temporal Logic

Zhenhua Duan, Li Zhang, 2006 .

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.

A Decision Procedure for a Fragment of Linear Time Mu-Calculus

Yao Liu, Zhenhua Duan, Cong Tian, 2016, IJCAI.

Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Shaoying Liu, Cong Tian, Huaikou Miao, 2020, SOFL+MSVL.

Linear time-dependent constraints programming with MSVL

Qian Ma, Zhenhua Duan, Q. Ma, 2012, Journal of Combinatorial Optimization.

A Knowledge-Based Temporal Planning Approach for Urban Traffic Control

Zhenhua Duan, Cong Tian, Nan Zhang, 2021, IEEE Transactions on Intelligent Transportation Systems.

A temporal logic programming approach to planning

Hongwei Du, Kai Yang, Zhenhua Duan, 2019, J. Comb. Optim..

Planning with Spatio-Temporal Search Control Knowledge

Zhenhua Duan, Cong Tian, Hongwei Du, 2018, IEEE Transactions on Knowledge and Data Engineering.

A compiler for MSVL and its applications

Kai Yang, Zhenhua Duan, Cong Tian, 2017, Theor. Comput. Sci..

Temporalising Separation Logic for Planning with Search Control Knowledge

Zhenhua Duan, Cong Tian, Xu Lu, 2017, IJCAI.

MSVL: a typed language for temporal logic programming

Liang Zhao, Zhenhua Duan, Cong Tian, 2017, Frontiers of Computer Science.

Operational semantics of Framed Tempura

Zhenhua Duan, Xiaoxiao Yang, Zhenhua Duan, 2008, J. Log. Algebraic Methods Program..

Framed temporal logic programming

Maciej Koutny, Zhenhua Duan, Xiaoxiao Yang, 2008, Sci. Comput. Program..

Verifying temporal properties of programs: A parallel approach

Zhenhua Duan, Cong Tian, Bin Yu, 2017, J. Parallel Distributed Comput..

An extended strange planet protocol

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

A Novel Approach to Verifying Context Free Properties of Programs

Hongwei Du, Zhenhua Duan, Cong Tian, 2018, AAIM.

Prioritized Constraint-Aided Dynamic Partial-Order Reduction

Zhenhua Duan, Cong Tian, Bin Yu, 2022, ASE.

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

Zhenhua Duan, Cong Tian, Nan Zhang, 2016, Theor. Comput. Sci..

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

Cong Tian, Nan Zhang, Zhenhua Duan, 2016, Theor. Comput. Sci..

Unified Bounded Model Checking for MSVL

Zhenhua Duan, Cong Tian, Bin Yu, 2014, SOFL+MSVL.

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

Ding-Zhu Du, Zhenhua Duan, Cong Tian, 2014, Theor. Comput. Sci..

Making CEGAR More Efficient in Software Model Checking

Zhenhua Duan, Cong Tian, Zhao Duan, 2014, IEEE Transactions on Software Engineering.

Verification of Embedded Real-Time Systems Using Symbolic Model Checking: A Case Study

Zhenhua Duan, Tao Pang, Xiaofang Liu, 2013 .

Improved Net Reductions for LTL $$\setminus $$ \ X Model Checking

Hua Yang, Zhenhua Duan, Cong Tian, 2013, SOFL+MSVL.

A complete proof system for propositional projection temporal logic

Maciej Koutny, Zhenhua Duan, Nan Zhang, 2013, Theor. Comput. Sci..

Bounded Model Checking for Propositional Projection Temporal Logic

Zhenhua Duan, Cong Tian, Mengfei Yang, 2013, COCOON.

Detecting spurious counterexamples efficiently in abstract model checking

Zhenhua Duan, Cong Tian, Zhenhua Duan, 2011, 2013 35th International Conference on Software Engineering (ICSE).

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan, Shaoying Liu, 2013, Lecture Notes in Computer Science.

Symbolic Model Checking for Propositional Projection Temporal Logic

Zhenhua Duan, Cong Tian, Tao Pang, 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

A decision procedure for propositional projection temporal logic with infinite models

Li Zhang, Zhenhua Duan, Cong Tian, 2008, Acta Informatica.

Model Checking Propositional Projection Temporal Logic Based on SPIN

Zhenhua Duan, Cong Tian, Zhenhua Duan, 2007, ICFEM.

Decidability of Propositional Projection Temporal Logic with Infinite Models

Zhenhua Duan, Cong Tian, Zhenhua Duan, 2007, TAMC.

A Semantic Model for Many-Core Parallel Computing

Zhenhua Duan, Nan Zhang, N. Zhang, 2011, COCOA.

Operational Semantics of Framed Temporal Logic Programs

Zhenhua Duan, Xiaoxiao Yang, Zhenhua Duan, 2007, SOFSEM.

Present-Future Form of Linear Time $$\mu $$ -Calculus

Yao Liu, Bo Liu, Zhenhua Duan, 2013, SOFL+MSVL.

Model Checking C Programs with MSVL

Yan Yu, Zhenhua Duan, Cong Tian, 2012, SOFL.

Efficient and scalable scheduling for performance heterogeneous multicore systems

Zhenhua Duan, Pengcheng Nie, Zhenhua Duan, 2012, J. Parallel Distributed Comput..

Linear time-dependent constraints programming with MSVL

Q. Ma, Zhenhua Duan, 2014, J. Comb. Optim..

A framed temporal logic programming language

Maciej Koutny, Zhenhua Duan, M. Koutny, 2004, Journal of Computer Science and Technology.

Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution

Meng Wang, Zhenhua Duan, Cong Tian, 2019, IEEE Transactions on Reliability.

Integration of Linear Constraints with a Temporal Logic Programming Language

Qian Ma, Zhenhua Duan, Mengfei Yang, 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.

A cylinder computation model for many-core parallel computing

Zhenhua Duan, Cong Tian, Nan Zhang, 2013, Theor. Comput. Sci..

Axiomatic semantics of projection temporal logic programs†

Qian Ma, Xiaoxiao Yang, Zhenhua Duan, 2010, Mathematical Structures in Computer Science.

Unconditional secure communication: a Russian Cards protocol

Chen Yang, Zhenhua Duan, Zhenhua Duan, 2010, J. Comb. Optim..

A Unified Model Checking Approach with Projection Temporal Logic

Zhenhua Duan, Cong Tian, Zhenhua Duan, 2008, ICFEM.

An Interpreter for Framed Tempura and Its Application

Zhenhua Duan, Xiaoxiao Yang, Yongtao Ma, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

Automating Web Service Composition for Collaborative Business Processes

Zhenhua Duan, Lihui Lei, Zhenhua Duan, 2007, 2007 11th International Conference on Computer Supported Cooperative Work in Design.

Semantic Matching of Web Services for Collaborative Business Processes

Zhenhua Duan, Bin Yu, Lihui Lei, 2006, CSCWD.

Projection in Temporal Logic Programming

Maciej Koutny, Zhenhua Duan, Chris Holt, 1994, LPAR.

An extended interval temporal logic and a framing technique for temporal logic programming

Zhenhua Duan, Zhenhua Duan, 1996 .

A decision procedure and complete axiomatization for projection temporal logic

Hongwei Du, Zhenhua Duan, Xinfeng Shu, 2017, Theor. Comput. Sci..

SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations

Liang Zhao, Zhenhua Duan, Cong Tian, 2019, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).

A Proof System for MSVL Programs in Coq

Zhenhua Duan, Cong Tian, Nan Zhang, 2016, SOFL+MSVL.

Model checking concurrent systems with MSVL

N. Zhang, Zhenhua Duan, Cong Tian, 2016, Science China Information Sciences.

Verify heaps via unified model checking

Hongwei Du, Zhenhua Duan, Cong Tian, 2020, Theor. Comput. Sci..

A dynamic approach to detecting, eliminating and fixing memory leaks

Bin Yu, Hongwei Du, Zhenhua Duan, 2019, J. Comb. Optim..

Translating Xd-C programs to MSVL programs

Meng Wang, Zhenhua Duan, Cong Tian, 2018, Theor. Comput. Sci..

Verifying schedulability of tasks in ROS-based systems

Hongwei Du, Zhenhua Duan, Cong Tian, 2018, J. Comb. Optim..

Verifying schedulability of tasks in ROS-based systems

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

A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability

Jin Cui, Zhenhua Duan, Cong Tian, 2018, IEEE Transactions on Reliability.

Implementing MapReduce with MSVL

Meng Wang, Zhenhua Duan, Cong Tian, 2017, SOFL+MSVL.

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

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

A mechanism of function calls in MSVL

Zhenhua Duan, Cong Tian, Nan Zhang, 2016, Theor. Comput. Sci..

A practical decision procedure for Propositional Projection Temporal Logic with infinite models

Cong Tian, Zhenhua Duan, Zhenhua Duan, 2014, Theor. Comput. Sci..

Formalizing and Implementing Types in MSVL

Liang Zhao, Zhenhua Duan, Xiaobing Wang, 2013, SOFL+MSVL.

Expressiveness of propositional projection temporal logic with star

Zhenhua Duan, Cong Tian, Zhenhua Duan, 2011, Theor. Comput. Sci..

Full Regular Temporal Property Verification as Dynamic Program Execution

Meng Wang, Zhenhua Duan, Cong Tian, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).

An Improved Recursive Algorithm for Parity Games

Yao Liu, Zhenhua Duan, Cong Tian, 2014, 2014 Theoretical Aspects of Software Engineering Conference.

Deternimization of Büchi Automata as Partitioned Automata

Zhenhua Duan, Cong Tian, Mengfei Yang, 2013, COCOON.

Linear optimal estimation for discrete-time systems with measurement-delay and packet dropping

Ju H. Park, Zhenhua Duan, Xinmin Song, 2016, Appl. Math. Comput..

RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model

Jie Zhang, Cong Tian, Liang Zhao, 2020, 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS).

A Novel Load Balancing Scheme for Mobile Edge Computing pdf

Zhenhua Duan, Cong Tian, Nan Zhang, 2021, J. Syst. Softw..

Translating C programs to MSVL programs pdf

Meng Wang, Zhenhua Duan, Cong Tian, 2018, ArXiv.

Malware Detection using CNN via Word Embedding

Zhenhua Duan, Cong Tian, Jie Zhang, 2021, 2021 8th International Conference on Dependable Systems and Their Applications (DSA).

An efficient approach for taint analysis of android applications

Zhenhua Duan, Cong Tian, Jie Zhang, 2021, Comput. Secur..

RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations

Liang Zhao, Zhenhua Duan, Cong Tian, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

Modeling and Verifying Multi-core Programs

Hongwei Du, Kai Yang, Zhenhua Duan, 2017, COCOA.

Extending MSVL with Semaphore

Zhenhua Duan, Xinfeng Shu, Zhenhua Duan, 2016, COCOON.

A Transformation from p-π to MSVL

Ling Luo, Zhenhua Duan, Zhenhua Duan, 2013, ICTAC.

Asynchronous Communication in MSVL

Zhenhua Duan, Xiaobing Wang, Dapeng Mo, 2011, ICFEM.

A structural transformation from p-$$\pi $$π to MSVL

Zhenhua Duan, Xiaobing Wang, Cong Tian, 2015, J. Comb. Optim..

Verification of distributed systems with the axiomatic system of MSVL

N. Zhang, Q. Ma, Zhenhua Duan, 2014, Formal Aspects of Computing.

Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach

Liang Zhao, Zhenhua Duan, Cong Tian, 2019, ACM Trans. Softw. Eng. Methodol..

D. Peled, Zhenhua Duan, Cong Tian, 2018, Handbook of Finite State Based Models and Applications.

Normal Form Expressions of Propositional Projection Temporal Logic

Zhenhua Duan, Cong Tian, Nan Zhang, 2014, COCOON.

Time Constraints with Temporal Logic Programming

Zhenhua Duan, Meng Han, Xiaobing Wang, 2012, ICFEM.

A Transformation from PPTL to S1S

Zhenhua Duan, Cong Tian, Zhenhua Duan, 2010, COCOA.

Semantics of Framed Temporal Logic Programs

Maciej Koutny, Zhenhua Duan, Xiaoxiao Yang, 2005, ICLP.

Some Fixed-Point Issues in PPTL

Qian Ma, Zhenhua Duan, Cong Tian, 2013, Theories of Programming and Formal Methods.

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan, Cong Tian, 2017, Lecture Notes in Computer Science.

ESHMP: A Stall-Time-Based Scheduling for Performance Heterogeneous Multicore Systems

Pengcheng Nie, Zhenhua Duan, Bohu Huang, 2011, 2011 IEEE International Conference on High Performance Computing and Communications.

More effective interpolations in software model checking

C.-H. Luke Ong, Zhenhua Duan, Cong Tian, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).

Bounded Model Checking of Traffic Light Control System

Zhenhua Duan, Cong Tian, Bin Yu, 2014, TTSS.

HP2P: A Hybrid Hierarchical P2P Network

Yang Cao, Zhenhua Duan, Jian-Jun Qi, 2007, First International Conference on the Digital Society (ICDS'07).

A Memory Management Mechanism for MSVL

Kai Yang, Zhenhua Duan, Cong Tian, 2014, SOFL+MSVL.

Verification of distributed systems with the axiomatic system of MSVL

Qian Ma, Zhenhua Duan, Nan Zhang, 2014, Formal Aspects of Computing.

Analysis and Transformation of Overlapped Patterns in BPEL Process Modeling: Analysis and Transformation of Overlapped Patterns in BPEL Process Modeling

Man Zhang, Zhenhua Duan, Xiao-Bing Wang, 2011 .

A multi-granularity CNN pruning framework via deformable soft mask with joint training

Zhenhua Duan, Cong Tian, Peng Zhang, 2023, Neurocomputing.

A Test Case Generation Approach Based on Sequence Diagram and Automata Models

Duan Zhenhua, Ding Ming, Zhang Chen, 2016 .

Model checking concurrent systems with MSVL

Zhenhua Duan, Cong Tian, Nan Zhang, 2016, Science China Information Sciences.

Neuron importance based verification of neural networks via divide and conquer

Zhenhua Duan, Cong Tian, Liang Zhao, 2023, Neurocomputing.

Transformation from PLTL to automata via NFGs

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

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

Zhenhua Duan, Cong Tian, Nan Zhang, 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Simulation and verification of the virtual memory management system with MSVL

Meng Wang, Zhenhua Duan, Cong Tian, 2014, Proceedings of the 2014 IEEE 18th International Conference on Computer Supported Cooperative Work in Design (CSCWD).

Non-Functional Requirements Elicitation and Incorporation into Class Diagrams

Xiaoyu Song, Zhenhua Duan, Cong Tian, 2010, Intelligent Information Processing.

FastDroid: Efficient Taint Analysis for Android Applications

Zhenhua Duan, Cong Tian, Jie Zhang, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).