Zhenhua Duan

According to our database, Zhenhua Duan authored at least 203 papers between 1994 and 2024.

Collaborative distances:

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

2024

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

Peng Zhang, Cong Tian, Liang Zhao, Zhenhua Duan

Neurocomputing, March, 2024

Neuron importance based verification of neural networks via divide and conquer.

Yansong Dong, Yuehao Liu, Liang Zhao, Cong Tian, Zhenhua Duan

Neurocomputing, January, 2024

2023

Adaptively parallel runtime verification based on distributed network for temporal properties.

Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan

Parallel Comput., 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

Using Experience Classification for Training Non-Markovian Tasks.

Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan

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

PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution).

Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian, Zhenhua Duan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.

Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations.

Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 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

Improving transferability of adversarial examples by saliency distribution and data augmentation.

Yansong Dong, Long Tang, Cong Tian, Bin Yu, Zhenhua Duan

Comput. Secur., 2022

Formulate Full View Camera Sensor Coverage by Using Group Set Coverage.

Hongwei Du, Zhao Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du

Proceedings of the Wireless Internet - 15th EAI International Conference, 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

Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.

Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu

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

USV Path Planning Based on Adaptive Fuzzy Reward.

Zhenhua Duan, Guoyin Wang, Qun Liu, Yan Shi

Proceedings of the Rough Sets - International Joint Conference, 2022

Prioritized Constraint-Aided Dynamic Partial-Order Reduction.

Jie Su, Cong Tian, Zuchao Yang, Jiyu Yang, Bin Yu, Zhenhua Duan

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 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

Three Algorithms for Converting Control Flow Statements from Python to XD-M.

Jiarui Wang, Nan Zhang, Zhenhua Duan

Proceedings of the Algorithmic Aspects in Information and Management, 2022

2021

RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model.

Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao

IEEE Trans. Reliab., 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

Multi-matching nested relations.

Jin Liu, 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

An efficient approach for taint analysis of android applications.

Jie Zhang, Cong Tian, Zhenhua Duan

Comput. Secur., 2021

Conditional interpolation: making concurrent program verification more effective.

Jie Su, Cong Tian, Zhenhua Duan

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Improving Quality of Counterexamples in Model Checking via Automated Planning.

Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Malware Detection using CNN via Word Embedding.

Jie Zhang, Lin Yan, Rong Wang, Cong Tian, Zhenhua Duan

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 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 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

A decision procedure and complete axiomatization for projection temporal logic.

Xinfeng Shu, Zhenhua Duan, Hongwei Du

Theor. Comput. Sci., 2020

Verify heaps via unified model checking.

Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du

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

Making Streett Determinization Tight.

Cong Tian, Wensheng Wang, Zhenhua Duan

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Propositional Projection Temporal Logic Specification Mining.

Nan Zhang, Xiaoshuai Yuan, Zhenhua Duan

Proceedings of the Combinatorial Optimization and Applications, 2020

Transforming Multi-matching Nested Traceable Automata to Multi-matching Nested Expressions.

Jin Liu, Zhenhua Duan, Cong Tian

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

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

Cong Tian, Chu Chen, Zhenhua Duan, Liang Zhao

ACM Trans. Softw. Eng. Methodol., 2019

Model checking of pushdown systems for projection temporal logic.

Liang Zhao, Xiaobing Wang, Zhenhua Duan

Theor. Comput. Sci., 2019

Model checking open systems with alternating projection temporal logic.

Cong Tian, Zhenhua Duan

Theor. Comput. Sci., 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

From Box Algebra to Interval Temporal Logic.

Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski

Fundam. Informaticae, 2019

FastDroid: efficient taint analysis for Android applications.

Jie Zhang, Cong Tian, Zhenhua Duan

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

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

Jin Cui, Zhenhua Duan, Cong Tian, Hongwei Du

IEEE Trans. Reliab., 2018

Planning with Spatio-Temporal Search Control Knowledge.

Xu Lu, Cong Tian, Zhenhua Duan, Hongwei Du

IEEE Trans. Knowl. Data Eng., 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

On general threshold and general cascade models of social influence.

Weili Wu, Hongwei Du, Huijuan Wang, Lidong Wu, Zhenhua Duan, Cong Tian

J. Comb. Optim., 2018

Translating C programs to MSVL programs.

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

CoRR, 2018

InterpChecker: Reducing State Space via Interpolations - (Competition Contribution).

Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Android inter-component communication analysis with intent revision.

Cong Tian, Congli Xia, Zhenhua Duan

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Accelerating counterexample detection in software model checking.

Cong Tian, Zhao Duan, Zhenhua Duan

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

RFC-directed differential testing of certificate validation in SSL/TLS implementations.

Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao

Proceedings of the 40th International Conference on Software Engineering, 2018

Reducing Extension Edges of Concurrent Programs for Reachability Analysis.

Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao

Proceedings of the Combinatorial Optimization and Applications, 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

MSVL: a typed language for temporal logic programming.

Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao

Frontiers Comput. Sci., 2017

Model Checking Multi-agent Systems with APTL.

Haiyang Wang, Zhenhua Duan, Cong Tian

Ad Hoc Sens. Wirel. Networks, 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

More effective interpolations in software model checking.

Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Temporalising Separation Logic for Planning with Search Control Knowledge.

Xu Lu, Cong Tian, Zhenhua Duan

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Full regular temporal property verification as dynamic program execution.

Meng Wang, Cong Tian, Zhenhua Duan

Proceedings of the 39th International Conference on Software Engineering, 2017

Verifying Temporal Properties of C Programs via Lazy Abstraction.

Zhao Duan, Cong Tian, Zhenhua Duan

Proceedings of the Formal Methods and Software Engineering, 2017

Cloning Automata: Simulation and Analysis of Computer Bacteria.

Chu Chen, Zhenhua Duan, Cong Tian, Hongwei Du

Proceedings of the Combinatorial Optimization and Applications, 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 Petri nets with MSVL.

Ya Shi, Cong Tian, Zhenhua Duan, Mengchu Zhou

Inf. Sci., 2016

Transformation from business process models to BPEL with overlapped patterns involved.

Man Zhang, Zhenhua Duan, Qingshan Li, Hua Chu

Int. J. High Perform. Comput. Netw., 2016

Model checking concurrent systems with MSVL.

Nan Zhang, Zhenhua Duan, Cong Tian

Sci. China Inf. Sci., 2016

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

Xinmin Song, Zhenhua Duan, Ju H. Park

Appl. Math. Comput., 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

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

Yao Liu, Zhenhua Duan, Cong Tian

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Extending MSVL with Semaphore.

Xinfeng Shu, Zhenhua Duan

Proceedings of the Computing and Combinatorics - 22nd International Conference, 2016

Satisfiability of Linear Time Mu-Calculus on Finite Traces.

Yao Liu, Zhenhua Duan, Cong Tian, Bin Cui

Proceedings of the Computing and Combinatorics - 22nd International Conference, 2016

Using Unified Model Checking to Verify Heaps.

Xu Lu, Zhenhua Duan, Cong Tian

Proceedings of the Combinatorial Optimization and Applications, 2016

2015

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

Zhenhua Duan, Jin Liu, Jie Li, Cong Tian

Theor. Comput. Sci., 2015

Transformation from PLTL to automata via NFGs.

Cong Tian, Zhenhua Duan, Mengfei Yang

J. Comb. Optim., 2015

A structural transformation from p-π to MSVL.

Ling Luo, Zhenhua Duan, Cong Tian, Xiaobing Wang

J. Comb. Optim., 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

Extending PPTL for Verifying Heap Evolution Properties.

Xu Lu, Zhenhua Duan, Cong Tian

CoRR, 2015

An Improved Decision Procedure for Linear Time Mu-Calculus.

Yao Liu, Zhenhua Duan, Cong Tian

CoRR, 2015

PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic.

Xiaoming Zhang, Zhenhua Duan, Cong Tian

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

LtlNfBa: Making LTL Translation More Practical.

Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan

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

Model Checking Process Scheduling over Multi-core Computer System with MSVL.

Xinfeng Shu, Zhenhua Duan

Proceedings of the Structured Object-Oriented Formal Language and Method, 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

Symbolic Model Checking for Alternating Projection Temporal Logic.

Haiyang Wang, Zhenhua Duan, Cong Tian

Proceedings of the Combinatorial Optimization and Applications, 2015

2014

Making CEGAR More Efficient in Software Model Checking.

Cong Tian, Zhenhua Duan, Zhao Duan

IEEE Trans. Software Eng., 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

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

Zhenhua Duan, Cong Tian

Theor. Comput. Sci., 2014

Secure communications with strange planet protocol.

Cong Tian, Zhenhua Duan, Jin Liu

Optim. Lett., 2014

Linear time-dependent constraints programming with MSVL.

Qian Ma, Zhenhua Duan

J. Comb. Optim., 2014

Buchi Determinization Made Tighter.

Cong Tian, Zhenhua Duan

CoRR, 2014

An Improved Recursive Algorithm for Parity Games.

Yao Liu, Zhenhua Duan, Cong Tian

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Unified Bounded Model Checking for MSVL.

Bin Yu, Zhenhua Duan, Cong Tian

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

A Memory Management Mechanism for MSVL.

Kai Yang, Zhenhua Duan, Cong Tian

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

Clustering and Partition Based Divide and Conquer for SAT Solving.

Quanrun Fan, Zhenhua Duan, Cong Tian, Hongwei Du

Proceedings of the 10th International Conference on Mobile Ad-hoc and Sensor Networks, 2014

Interval Temporal Logic Semantics of Box Algebra.

Hanna Klaudel, Maciej Koutny, Zhenhua Duan

Proceedings of the Language and Automata Theory and Applications, 2014

Extending MSVL with Function Calls.

Nan Zhang, Zhenhua Duan, Cong Tian

Proceedings of the Formal Methods and Software Engineering, 2014

Model Checking Rate-Monotonic Scheduler with TMSVL.

Jin Cui, Zhenhua Duan, Cong Tian

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Simulation and verification of the virtual memory management system with MSVL.

Meng Wang, Zhenhua Duan, Cong Tian

Proceedings of the IEEE 18th International Conference on Computer Supported Cooperative Work in Design, 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

Improved Even Order Magic Square Construction Algorithms and Their Applications.

Zhenhua Duan, Jin Liu, Jie Li, Cong Tian

Proceedings of the Combinatorial Optimization and Applications, 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

ITL semantics of composite Petri nets.

Zhenhua Duan, Hanna Klaudel, Maciej Koutny

J. Log. Algebraic Methods Program., 2013

Bounded Model Checking of Traffic Light Control System.

Bin Yu, Zhenhua Duan, Cong Tian

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Modeling and Verification of RBC Handover Protocol.

Kai Yang, Zhenhua Duan, Cong Tian

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Integration of Linear Constraints with a Temporal Logic Programming Language.

Qian Ma, Zhenhua Duan, Mengfei Yang

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Formalizing and Implementing Types in MSVL.

Xiaobing Wang, Zhenhua Duan, Liang Zhao

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

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

Ya Shi, Zhenhua Duan, Cong Tian, Hua Yang

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

Integrating Separation Logic with PPTL.

Xu Lu, Zhenhua Duan, Cong Tian, Hongjin Liu

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

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

Yao Liu, Zhenhua Duan, Cong Tian, Bo Liu

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

A Transformation from p-π to MSVL.

Ling Luo, Zhenhua Duan

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Detecting spurious counterexamples efficiently in abstract model checking.

Cong Tian, Zhenhua Duan

Proceedings of the 35th International Conference on Software Engineering, 2013

Translation from Workflow Nets to MSVL.

Ya Shi, Zhenhua Duan, Cong Tian

Proceedings of the Formal Methods and Software Engineering, 2013

Simulation of CTCS-3 protocol with temporal logic programming.

Peng Zhang, Zhenhua Duan, Cong Tian

Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), 2013

Deternimization of Büchi Automata as Partitioned Automata.

Cong Tian, Zhenhua Duan, Mengfei Yang

Proceedings of the Computing and Combinatorics, 19th International Conference, 2013

Bounded Model Checking for Propositional Projection Temporal Logic.

Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He

Proceedings of the Computing and Combinatorics, 19th International Conference, 2013

An Extended Strange Planet Protocol.

Jin Liu, Zhenhua Duan, Cong Tian

Proceedings of the Combinatorial Optimization and Applications, 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

Model Checking.

Zhenhua Duan, Cong Tian

Proceedings of the Handbook of Finite State Based Models and Applications., 2012

An efficient approach for abstraction-refinement in model checking.

Cong Tian, Zhenhua Duan, Nan Zhang

Theor. Comput. Sci., 2012

Efficient and scalable scheduling for performance heterogeneous multicore systems.

Pengcheng Nie, Zhenhua Duan

J. Parallel Distributed Comput., 2012

Symbolic Model Checking for Propositional Projection Temporal Logic.

Tao Pang, Zhenhua Duan, Cong Tian

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Model Checking C Programs with MSVL.

Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang

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

Abstract Model Checking with SOFL Hierarchy.

Cong Tian, Shaoying Liu, Zhenhua Duan

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

Time Constraints with Temporal Logic Programming.

Meng Han, Zhenhua Duan, Xiaobing Wang

Proceedings of the Formal Methods and Software Engineering, 2012

2011

Expressiveness of propositional projection temporal logic with star.

Cong Tian, Zhenhua Duan

Theor. Comput. Sci., 2011

Focus Game for Projection Temporal Logic.

Cong Tian, Zhenhua Duan

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata.

Chen Zhang, Zhenhua Duan

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Asynchronous Communication in MSVL.

Dapeng Mo, Xiaobing Wang, Zhenhua Duan

Proceedings of the Formal Methods and Software Engineering, 2011

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

Pengcheng Nie, Zhenhua Duan, Bohu Huang

Proceedings of the 13th IEEE International Conference on High Performance Computing & Communication, 2011

Making Abstraction-Refinement Efficient in Model Checking.

Cong Tian, Zhenhua Duan

Proceedings of the Computing and Combinatorics - 17th Annual International Conference, 2011

A Semantic Model for Many-Core Parallel Computing.

Nan Zhang, Zhenhua Duan

Proceedings of the Combinatorial Optimization and Applications, 2011

Public Communication Based on Russian Cards Protocol: A Case Study.

Jia He, Zhenhua Duan

Proceedings of the Combinatorial Optimization and Applications, 2011

2010

Axiomatic semantics of projection temporal logic programs.

Xiaoxiao Yang, Zhenhua Duan, Qian Ma

Math. Struct. Comput. Sci., 2010

Unconditional secure communication: a Russian Cards protocol.

Zhenhua Duan, Chen Yang

J. Comb. Optim., 2010

Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic.

Haibin Zhang, Zhenhua Duan, Bohu Huang, Xiaobing Wang, Long Zhang

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Axiomatic Temporal Logic Programs Verification.

Xiaoxiao Yang, Zhenhua Duan

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

An Executable Concurrent Model for OWL-S Process Models.

Zhenhua Duan, Cong Tian

Proceedings of the 10th International Conference on Quality Software, 2010

Non-Functional Requirements Elicitation and Incorporation into Class Diagrams.

Xiaoyu Song, Zhenhua Duan, Cong Tian

Proceedings of the Intelligent Information Processing V, 2010

Alternating Interval Based Temporal Logics.

Cong Tian, Zhenhua Duan

Proceedings of the Formal Methods and Software Engineering, 2010

An Improved Decision Procedure for Propositional Projection Temporal Logic.

Zhenhua Duan, Cong Tian

Proceedings of the Formal Methods and Software Engineering, 2010

A Transformation from PPTL to S1S.

Cong Tian, Zhenhua Duan

Proceedings of the Combinatorial Optimization and Applications, 2010

2009

A Proof System for Projection Temporal Logic.

Zhenhua Duan, Xinfeng Shu

Proceedings of the Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, 2009

Complexity of propositional projection temporal logic with star.

Cong Tian, Zhenhua Duan

Math. Struct. Comput. Sci., 2009

A note on stutter-invariant PLTL.

Cong Tian, Zhenhua Duan

Inf. Process. Lett., 2009

An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems.

Yan Xiao, Zhenhua Duan, Pengcheng Nie

Proceedings of the TASE 2009, 2009

Verification of Use Case with Petri Nets in Requirement Analysis.

Jinqiang Zhao, Zhenhua Duan

Proceedings of the Computational Science and Its Applications, 2009

Generalized Russian Cards Problem.

Zhenhua Duan, Chen Yang

Proceedings of the Combinatorial Optimization and Applications, 2009

A Model-Driven Approach for Generating Business Processes and Process Interaction Semantics.

Chenting Zhao, Zhenhua Duan, Man Zhang

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Framed temporal logic programming.

Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny

Sci. Comput. Program., 2008

Operational semantics of Framed Tempura.

Xiaoxiao Yang, Zhenhua Duan

J. Log. Algebraic Methods Program., 2008

A decision procedure for propositional projection temporal logic with infinite models.

Zhenhua Duan, Cong Tian, Li Zhang

Acta Informatica, 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

Symbolic Algorithm Analysis of Rectangular Hybrid Systems.

Haibin Zhang, Zhenhua Duan

Proceedings of the Theory and Applications of Models of Computation, 2008

Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions.

Cong Tian, Zhenhua Duan

Proceedings of the Theory and Applications of Models of Computation, 2008

From Business Process Models to Web Services Orchestration: The Case of UML 2.0 Activity Diagram to BPEL.

Man Zhang, Zhenhua Duan

Proceedings of the Service-Oriented Computing, 2008

Kapa: A File Sharing System Based on HP2P.

Bo Wang, Zhenhua Duan, Lei Wang

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

A Unified Model Checking Approach with Projection Temporal Logic.

Zhenhua Duan, Cong Tian

Proceedings of the Formal Methods and Software Engineering, 2008

Semi-automatically annotating data semantics to web services using ontology mapping.

Man Zhang, Zhenhua Duan, Chenting Zhao

Proceedings of the 12th International Conference on CSCW in Design, 2008

Dynamic Critical-Path based on Fit Degree scheduling for reconfigurable multi-FPGAs.

Yan Xiao, Zhenhua Duan

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Integrating AJAX and Web Services for Cooperative Image Editing.

Lihui Lei, Zhenhua Duan

IT Prof., 2007

An Interpreter for Framed Tempura and Its Application.

Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Decidability of Propositional Projection Temporal Logic with Infinite Models.

Zhenhua Duan, Cong Tian

Proceedings of the Theory and Applications of Models of Computation, 2007

Operational Semantics of Framed Temporal Logic Programs.

Xiaoxiao Yang, Zhenhua Duan

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Model Checking Propositional Projection Temporal Logic Based on SPIN.

Cong Tian, Zhenhua Duan

Proceedings of the Formal Methods and Software Engineering, 2007

HP2P: A Hybrid Hierarchical P2P Network.

Zhuo Peng, Zhenhua Duan, Jian-Jun Qi, Yang Cao, Ertao Lv

Proceedings of the First International Conference on the Digital Society (ICDS 2007), 2007

Incorporating Clusters into Hybrid P2P Network.

Ertao Lv, Zhenhua Duan, Jian-Jun Qi, Yang Cao, Zhuo Peng

Proceedings of the First International Conference on the Digital Society (ICDS 2007), 2007

Automating Web Service Composition for Collaborative Business Processes.

Lihui Lei, Zhenhua Duan

Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007

Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery.

Peng Men, Zhenhua Duan, Bin Yu

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Implementing Chord for HP2P Network.

Yang Cao, Zhenhua Duan, Jian-Jun Qi, Zhuo Peng, Ertao Lv

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Transforming OWL-S Process Model into EDFA for Service Discovery.

Lihui Lei, Zhenhua Duan

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

A Comprehensive Framework for Dynamic Web Services Integration.

Zhile Zou, Zhenhua Duan, Jianli Wang

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

Building Business Processes or Assembling Service Components: Reuse Services with BPEL4WS and SCA.

Zhile Zou, Zhenhua Duan

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

Semantic Matching of Web Services for Collaborative Business Processes.

Lihui Lei, Zhenhua Duan, Bin Yu

Proceedings of the Computer Supported Cooperative Work in Design III, 2006

Semantic Matching of Web Services Based on Choreographies.

Lihui Lei, Zhenhua Duan, Bin Yu

Proceedings of the 10th International Conference on CSCW in Design, 2006

2005

Semantics of Framed Temporal Logic Programs.

Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

A Framed Temporal Logic Programming Language.

Zhenhua Duan, Maciej Koutny

J. Comput. Sci. Technol., 2004

1996

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

Zhenhua Duan

PhD thesis, 1996

1994

Projection in Temporal Logic Programming.

Zhenhua Duan, Maciej Koutny, Chris Holt

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994