Zhenhua Duan

Peng Zhang, Zhenhua Duan, Cong Tian, 2013, Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD).

Poster: Android Inter-Component Communication Analysis with Intent Revision

Zhenhua Duan, Cong Tian, Congli Xia, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

Accelerating counterexample detection in software model checking

Zhenhua Duan, Cong Tian, Zhao Duan, 2018, ICSE.

Verifying safety critical task scheduling systems in PPTL axiom system

Bin Gu, Zhenhua Duan, Cong Tian, 2016, J. Comb. Optim..

Asynchronous Communication in MSVL

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

An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems

Yan Xiao, Pengcheng Nie, Zhenhua Duan, 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.

Formalizing and Implementing Types in MSVL

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

Model checking open systems with alternating projection temporal logic

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

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

Axiomatic Temporal Logic Programs Verification

Zhenhua Duan, Xiaoxiao Yang, 2010, 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.

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

On general threshold and general cascade models of social influence

Weili Wu, Hongwei Du, Zhenhua Duan, 2018, J. Comb. Optim..

Verifying schedulability of tasks in ROS-based systems

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

A Novel Approach to Verifying Context Free Properties of Programs

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

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

Zhenhua Duan, Cong Tian, 2008, TAMC.

An extended strange planet protocol

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

Symbolic Algorithm Analysis of Rectangular Hybrid Systems

Haibin Zhang, Zhenhua Duan, 2008, TAMC.

Temporalising Separation Logic for Planning with Search Control Knowledge

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

Structured Object-Oriented Formal Language and Method

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

Operational Semantics of Framed Temporal Logic Programs

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

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

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

Interval Temporal Logic Semantics of Box Algebra

Maciej Koutny, Hanna Klaudel, Zhenhua Duan, 2014, LATA.

Model checking Petri nets with MSVL

MengChu Zhou, Zhenhua Duan, Cong Tian, 2016, Inf. Sci..

Verification of a real time scheduling protocol of safety-critical systems

Meng Wang, Zhenhua Duan, Cong Tian, 2015, 2015 IEEE 19th International Conference on Computer Supported Cooperative Work in Design (CSCWD).

Using Unified Model Checking to Verify Heaps

Zhenhua Duan, Cong Tian, Xu Lu, 2016, COCOA.

A Transformation from p-π to MSVL

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

A Proof System for Projection Temporal Logic

Zhenhua Duan, Xinfeng Shu, 2009, Computer and Information Science.

An Improved Decision Procedure for Propositional Projection Temporal Logic

Zhenhua Duan, Cong Tian, 2010, ICFEM.

Structured Object-Oriented Formal Language and Method

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

A note on stutter-invariant PLTL

Zhenhua Duan, Cong Tian, 2009, Inf. Process. Lett..

An extended strange planet protocol

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

Time Constraints with Temporal Logic Programming

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

A Model-Driven Approach for Dynamic Web Service Composition

Man Zhang, Zhenhua Duan, Chenting Zhao, 2009, 2009 WRI World Congress on Software Engineering.

A Semantic Model for Many-Core Parallel Computing

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

Projection in Temporal Logic Programming

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

Verify heaps via unified model checking

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

Reducing Extension Edges of Concurrent Programs for Reachability Analysis

Liang Zhao, Zhenhua Duan, Cong Tian, 2018, COCOA.

Planning with Spatio-Temporal Search Control Knowledge

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

Proceedings of the 8th International Conference on Application of Concurrency to System Design. 23-27 June 2008. Xi'an, China

Maciej Koutny, Jonathan Billington, Zhenhua Duan, 2008 .

A complete proof system for propositional projection temporal logic

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

Limited memory optimal filter for discrete-time systems with measurement delay

Zhenhua Duan, Xinmin Song, Maoling Qin, 2017 .

Making Abstraction-Refinement Efficient in Model Checking

Zhenhua Duan, Cong Tian, 2011, COCOON.

Linear time-dependent constraints programming with MSVL

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

Buchi Determinization Made Tighter pdf

Zhenhua Duan, Cong Tian, 2014, ArXiv.

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

Verifying temporal properties of programs: A parallel approach

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

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

Extending MSVL with Function Calls

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

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

C.-H. Luke Ong, Zhenhua Duan, Cong Tian, 2018, TACAS.

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

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

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.

HP2P: A Hybrid Hierarchical P2P Network

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

Public Communication Based on Russian Cards Protocol: A Case Study

Zhenhua Duan, Jia He, 2011, COCOA.

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.

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

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

A Memory Management Mechanism for MSVL

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

Model Checking Rate-Monotonic Scheduler with TMSVL

Zhenhua Duan, Cong Tian, Jin Cui, 2014, 2014 19th International Conference on Engineering of Complex Computer Systems.

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

Chen Zhang, Zhenhua Duan, Chen Zhang, 2011, SSIRI.

Some Fixed-Point Issues in PPTL

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

A Transformation from PPTL to S1S

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

A Self-ORganizing Trust Model Based on HP2P

Zhenhua Duan, Cong Tian, Nan Zhang, 2015, 2015 11th International Conference on Mobile Ad-hoc and Sensor Networks (MSN).

A 3D Printed Ready-Mixed Concrete Power Distribution Substation: Materials and Construction Technology

Tao Ding, Zhenhua Duan, Jianzhuang Xiao, 2019, Materials.

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 .

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

Zhenhua Duan, Zhenhua Duan, 1996 .

A Runtime Optimization Approach for FPGA Routing

Zhenhua Duan, Cong Tian, Bohu Huang, 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Bounded Model Checking of Traffic Light Control System

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

Adaptive Scheduling on Performance Asymmetric Multicore Processors: Adaptive Scheduling on Performance Asymmetric Multicore Processors

Zhenhua Duan, Cong Tian, Mengfei Yang, 2014 .

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

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

Two-layer hybrid peer-to-peer networks

MengChu Zhou, Hongwei Du, Lei Wang, 2017, Peer Peer Netw. Appl..

Non-Functional Requirements Elicitation and Incorporation into Class Diagrams

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

Verifying Temporal Properties of C Programs via Lazy Abstraction

Zhenhua Duan, Cong Tian, Zhao Duan, 2017, ICFEM.

Unconditional secure communication: a Russian Cards protocol

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

Alternating Interval Based Temporal Logics

Zhenhua Duan, Cong Tian, 2010, ICFEM.

Generalized Russian Cards Problem

Chen Yang, Zhenhua Duan, 2009, COCOA.

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

Complexity of propositional projection temporal logic with star

Zhenhua Duan, Cong Tian, 2009, Math. Struct. Comput. Sci..

Integrating Separation Logic with PPTL

Hongjin Liu, Zhenhua Duan, Cong Tian, 2013, SOFL+MSVL.

A compiler for MSVL and its applications

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

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

Zhenhua Duan, Xinfeng Shu, 2015, SOFL+MSVL.

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

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

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

Zhenhua Duan, Zhile Zou, 2006, 2006 European Conference on Web Services (ECOWS'06).

An Improved Recursive Algorithm for Parity Games

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

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

Xiaoming Zhang, Zhenhua Duan, Cong Tian, 2015, SOFL+MSVL.

Secure communications with strange planet protocol

Jin Liu, Zhenhua Duan, Cong Tian, 2014, Optim. Lett..

A Blockchain Implementation of an Attendance Management System

Ying Wu, Zhenhua Duan, Cong Tian, 2018, SOFL+MSVL.

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

Yan Xiao, Zhenhua Duan, 2008, 2008 8th International Conference on Application of Concurrency to System Design.

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 .

Translating Xd-C programs to MSVL programs

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

A decision procedure and complete axiomatization for projection temporal logic

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

Satisfiability of Linear Time Mu-Calculus on Finite Traces

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

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.

Translation from Workflow Nets to MSVL

Zhenhua Duan, Cong Tian, Ya Shi, 2013, ICFEM.

Model Checking MSVL Programs Based on Dynamic Symbolic Execution

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

Detecting spurious counterexamples efficiently in abstract model checking

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

An Executable Concurrent Model for OWL-S Process Models

Zhenhua Duan, Cong Tian, 2010, 2010 10th International Conference on Quality Software.

Extending MSVL with Semaphore

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

Structured Object-Oriented Formal Language and Method

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

Implementing MapReduce with MSVL

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

8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008

Maciej Koutny, Jonathan Billington, Zhenhua Duan, 2008, ACSD.

Transformation from PLTL to automata via NFGs

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

Extending PPTL for Verifying Heap Evolution Properties pdf

Zhenhua Duan, Cong Tian, Xu Lu, 2015, ArXiv.

Cloning Automata: Simulation and Analysis of Computer Bacteria

Hongwei Du, Zhenhua Duan, Cong Tian, 2017, COCOA.

Model checking concurrent systems with MSVL

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

A decision procedure for propositional projection temporal logic with infinite models

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

Transforming OWL-S Process Model into EDFA for Service Discovery

Zhenhua Duan, Lihui Lei, 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL

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

Symbolic Model Checking for Alternating Projection Temporal Logic

Haiyang Wang, Zhenhua Duan, Cong Tian, 2015, COCOA.

A Proof System for MSVL Programs in Coq

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

A Unified Model Checking Approach with Projection Temporal Logic

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

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

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

An Improved Decision Procedure for Linear Time Mu-Calculus pdf

Yao Liu, Zhenhua Duan, Cong Tian, 2015, ArXiv.

MSVL: a typed language for temporal logic programming

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

The Performance of HP2P

Lei Wang, Bo Wang, Zhenhua Duan, 2008, 2008 Third International Conference on Pervasive Computing and Applications.

Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery

Zhenhua Duan, Bin Yu, Peng Men, 2007, ICATPN.

Improved Even Order Magic Square Construction Algorithms and Their Applications

Jie Li, Jin Liu, Zhenhua Duan, 2014, COCOA.

Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers

Zhenhua Duan, Shaoying Liu, SoflMsvl, 2014 .

A dynamic approach to detecting, eliminating and fixing memory leaks

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

Framed temporal logic programming

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

Model Checking Multi-agent Systems with APTL

Haiyang Wang, Zhenhua Duan, Cong Tian, 2017, Ad Hoc Sens. Wirel. Networks.

Integrating AJAX and Web Services for Cooperative Image Editing

Zhenhua Duan, Lihui Lei, 2007, IT Professional.

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

Operational semantics of Framed Tempura

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

Incorporating Clusters into Hybrid P2P Network

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

Bounded Model Checking for Propositional Projection Temporal Logic

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

A Comprehensive Framework for Dynamic Web Services Integration

Zhenhua Duan, Jianli Wang, Zhile Zou, 2006, 2006 European Conference on Web Services (ECOWS'06).

Semantic Matching ofWeb Services Basedon Choreographies

Zhenhua Duan, Lihui Lei, 2006 .

Modeling and Verification of RBC Handover Protocol

Kai Yang, Zhenhua Duan, Cong Tian, 2014, Electron. Notes Theor. Comput. Sci..

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

Man Zhang, Zhenhua Duan, Chenting Zhao, 2008, 2008 12th International Conference on Computer Supported Cooperative Work in Design.

Clustering and Partition Based Divide and Conquer for SAT Solving

Hongwei Du, Zhenhua Duan, Cong Tian, 2014, 2014 10th International Conference on Mobile Ad-hoc and Sensor Networks.

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

Abstract Model Checking with SOFL Hierarchy

Shaoying Liu, Zhenhua Duan, Cong Tian, 2012, SOFL.

A temporal logic programming approach to planning

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

Semantic Matching of Web Services for Collaborative Business Processes

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

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.

A mechanism of function calls in MSVL

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

Index set expressions can represent temporal logic formulas

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

Expressiveness of propositional projection temporal logic with star

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

Focus Game for Projection Temporal Logic

Zhenhua Duan, Cong Tian, 2011, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering.

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

Man Zhang, Zhenhua Duan, 2008, ICSOC.

Making CEGAR More Efficient in Software Model Checking

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

Unified Bounded Model Checking for MSVL

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

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

Zhenhua Duan, Tao Pang, Xiaofang Liu, 2013 .

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

Ling Luo, Zhenhua Duan, Cong Tian, 2015, J. Comb. Optim..

An efficient approach for abstraction-refinement in model checking

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

Extension of π-Calculus with Interval Action Prefixes

Ling Luo, Zhenhua Duan, Cong Tian, 2016 .

Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution

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

Verification of Use Case with Petri Nets in Requirement Analysis

Zhenhua Duan, Jinqiang Zhao, 2009, ICCSA.

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.

A Complete Axiomatization of Propositional Projection Temporal Logic

Zhenhua Duan, Nan Zhang, 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.

Verification of Hardware Designs: A Case Study

Nan Zhang, Zhenhua Duan, 2011, 2011 First ACIS/JNU International Conference on Computers, Networks, Systems and Industrial Engineering.

Semantic Matching of Web Services Based on Choreographies

Zhenhua Duan, Bin Yu, Lihui Lei, 2006, 2006 10th International Conference on Computer Supported Cooperative Work in Design.

Verifying a scheduling protocol of safety-critical systems

Meng Wang, Hongwei Du, Zhenhua Duan, 2019, J. Comb. Optim..

Transformation from business process models to BPEL with overlapped patterns involved

Man Zhang, Zhenhua Duan, Qingshan Li, 2016, Int. J. High Perform. Comput. Netw..

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

Man Zhang, Zhenhua Duan, Chenting Zhao, 2009, 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science.

An Axiomatization for Cylinder Computation Model

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

Verification of distributed systems with the axiomatic system of MSVL

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

Temporal logic specification mining of programs

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

Conditional interpolation: making concurrent program verification more effective

Zhenhua Duan, Cong Tian, Jie Su, 2021, ESEC/SIGSOFT FSE.

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

RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model

Zhenhua Duan, Cong Tian, Jie Zhang, 2021, IEEE Transactions on Reliability.

A Novel Load Balancing Scheme for Mobile Edge Computing pdf

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

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

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

Unified temporal logic

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

A Knowledge-Based Temporal Planning Approach for Urban Traffic Control

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

An efficient approach for taint analysis of android applications

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

Translating C programs to MSVL programs pdf

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

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

Zhenhua Duan, Cong Tian, Zhenhua Duan, 2008 .

Quality of Service in Web Services Discovery

Zhenhua Duan, Keshan Zhu, Jianli Wang, 2008, 2008 IEEE Symposium on Advanced Management of Information for Globalized Enterprises (AMIGE).