Zhenhua Duan

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

Malware Detection using CNN via Word Embedding.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

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

[BibT_eX]

[DOI]

Yajie Wang

Proceedings of the Algorithmic Aspects in Information and Management, 2021

2020

A novel approach to verifying context free properties of programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Translating Xd-C programs to MSVL programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

A decision procedure and complete axiomatization for projection temporal logic.

[BibT_eX]

[DOI]

Hongwei Du

Theor. Comput. Sci., 2020

Verify heaps via unified model checking.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

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

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

P2P Network Based Smart Parking System Using Edge Computing.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2020

Making Streett Determinization Tight.

[BibT_eX]

[DOI]

Wensheng Wang

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

Propositional Projection Temporal Logic Specification Mining.

[BibT_eX]

[DOI]

Xiaoshuai Yuan

Proceedings of the Combinatorial Optimization and Applications, 2020

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

[BibT_eX]

[DOI]

Jin Liu

Proceedings of the Combinatorial Optimization and Applications, 2020

2019

Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2019

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

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2019

Model checking of pushdown systems for projection temporal logic.

[BibT_eX]

[DOI]

Liang Zhao

Theor. Comput. Sci., 2019

Model checking open systems with alternating projection temporal logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Index set expressions can represent temporal logic formulas.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

A temporal logic programming approach to planning.

[BibT_eX]

[DOI]

J. Comb. Optim., 2019

Verifying a scheduling protocol of safety-critical systems.

[BibT_eX]

[DOI]

J. Comb. Optim., 2019

Verifying schedulability of tasks in ROS-based systems.

[BibT_eX]

[DOI]

J. Comb. Optim., 2019

From Box Algebra to Interval Temporal Logic.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

FastDroid: efficient taint analysis for Android applications.

[BibT_eX]

[DOI]

Jie Zhang

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.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2018

Planning with Spatio-Temporal Search Control Knowledge.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2018

A compiler for MSVL and its applications.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

A Runtime Optimization Approach for FPGA Routing.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Verifying temporal properties of programs: A parallel approach.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2018

On general threshold and general cascade models of social influence.

[BibT_eX]

[DOI]

J. Comb. Optim., 2018

Translating C programs to MSVL programs.

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

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

A Blockchain Implementation of an Attendance Management System.

[BibT_eX]

[DOI]

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

Android inter-component communication analysis with intent revision.

[BibT_eX]

[DOI]

Congli Xia

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

Accelerating counterexample detection in software model checking.

[BibT_eX]

[DOI]

Zhao Duan

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

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

[BibT_eX]

[DOI]

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

Reducing Extension Edges of Concurrent Programs for Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2018

2017

Two-layer hybrid peer-to-peer networks.

[BibT_eX]

[DOI]

Peer-to-Peer Netw. Appl., 2017

MSVL: a typed language for temporal logic programming.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2017

Model Checking Multi-agent Systems with APTL.

[BibT_eX]

[DOI]

Haiyang Wang

Ad Hoc Sens. Wirel. Networks, 2017

Implementing MapReduce with MSVL.

[BibT_eX]

[DOI]

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

More effective interpolations in software model checking.

[BibT_eX]

[DOI]

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

Temporalising Separation Logic for Planning with Search Control Knowledge.

[BibT_eX]

[DOI]

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

Full regular temporal property verification as dynamic program execution.

[BibT_eX]

[DOI]

Meng Wang

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

Verifying Temporal Properties of C Programs via Lazy Abstraction.

[BibT_eX]

[DOI]

Zhao Duan

Proceedings of the Formal Methods and Software Engineering, 2017

Cloning Automata: Simulation and Analysis of Computer Bacteria.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2017

Modeling and Verifying Multi-core Programs.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2017

2016

A mechanism of function calls in MSVL.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Verifying safety critical task scheduling systems in PPTL axiom system.

[BibT_eX]

[DOI]

J. Comb. Optim., 2016

Model checking Petri nets with MSVL.

[BibT_eX]

[DOI]

Inf. Sci., 2016

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

[BibT_eX]

[DOI]

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

Model checking concurrent systems with MSVL.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2016

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

[BibT_eX]

[DOI]

Xinmin Song

Ju H. Park

Appl. Math. Comput., 2016

A Proof System for MSVL Programs in Coq.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Yao Liu

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

Extending MSVL with Semaphore.

[BibT_eX]

[DOI]

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

Satisfiability of Linear Time Mu-Calculus on Finite Traces.

[BibT_eX]

[DOI]

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

Using Unified Model Checking to Verify Heaps.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Transformation from PLTL to automata via NFGs.

[BibT_eX]

[DOI]

Mengfei Yang

J. Comb. Optim., 2015

A structural transformation from p-π to MSVL.

[BibT_eX]

[DOI]

J. Comb. Optim., 2015

An extended strange planet protocol.

[BibT_eX]

[DOI]

J. Comb. Optim., 2015

Verification of distributed systems with the axiomatic system of MSVL.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

Extending PPTL for Verifying Heap Evolution Properties.

[BibT_eX]

[DOI]

CoRR, 2015

An Improved Decision Procedure for Linear Time Mu-Calculus.

[BibT_eX]

[DOI]

Yao Liu

CoRR, 2015

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

[BibT_eX]

[DOI]

Xiaoming Zhang

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

LtlNfBa: Making LTL Translation More Practical.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

A Self-ORganizing Trust Model Based on HP2P.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

Model Checking MSVL Programs Based on Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics - 21st International Conference, 2015

Symbolic Model Checking for Alternating Projection Temporal Logic.

[BibT_eX]

[DOI]

Haiyang Wang

Proceedings of the Combinatorial Optimization and Applications, 2015

2014

Making CEGAR More Efficient in Software Model Checking.

[BibT_eX]

[DOI]

Zhao Duan

IEEE Trans. Software Eng., 2014

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Secure communications with strange planet protocol.

[BibT_eX]

[DOI]

Jin Liu

Optim. Lett., 2014

Linear time-dependent constraints programming with MSVL.

[BibT_eX]

[DOI]

Qian Ma

J. Comb. Optim., 2014

Buchi Determinization Made Tighter.

[BibT_eX]

[DOI]

CoRR, 2014

An Improved Recursive Algorithm for Parity Games.

[BibT_eX]

[DOI]

Yao Liu

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

Unified Bounded Model Checking for MSVL.

[BibT_eX]

[DOI]

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

A Memory Management Mechanism for MSVL.

[BibT_eX]

[DOI]

Kai Yang

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

Clustering and Partition Based Divide and Conquer for SAT Solving.

[BibT_eX]

[DOI]

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

Interval Temporal Logic Semantics of Box Algebra.

[BibT_eX]

[DOI]

Hanna Klaudel

Proceedings of the Language and Automata Theory and Applications, 2014

Extending MSVL with Function Calls.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Model Checking Rate-Monotonic Scheduler with TMSVL.

[BibT_eX]

[DOI]

Jin Cui

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.

[BibT_eX]

[DOI]

Meng Wang

Proceedings of the IEEE 18th International Conference on Computer Supported Cooperative Work in Design, 2014

An Axiomatization for Cylinder Computation Model.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics - 20th International Conference, 2014

Normal Form Expressions of Propositional Projection Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics - 20th International Conference, 2014

Improved Even Order Magic Square Construction Algorithms and Their Applications.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2014

2013

A cylinder computation model for many-core parallel computing.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

A complete proof system for propositional projection temporal logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

ITL semantics of composite Petri nets.

[BibT_eX]

[DOI]

Hanna Klaudel

J. Log. Algebraic Methods Program., 2013

Bounded Model Checking of Traffic Light Control System.

[BibT_eX]

[DOI]

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

Modeling and Verification of RBC Handover Protocol.

[BibT_eX]

[DOI]

Kai Yang

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.

[BibT_eX]

[DOI]

Qian Ma

Mengfei Yang

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

Formalizing and Implementing Types in MSVL.

[BibT_eX]

[DOI]

Liang Zhao

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

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

[BibT_eX]

[DOI]

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

Integrating Separation Logic with PPTL.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

A Transformation from p-π to MSVL.

[BibT_eX]

[DOI]

Ling Luo

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

Detecting spurious counterexamples efficiently in abstract model checking.

[BibT_eX]

[DOI]

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

Translation from Workflow Nets to MSVL.

[BibT_eX]

[DOI]

Ya Shi

Proceedings of the Formal Methods and Software Engineering, 2013

Simulation of CTCS-3 protocol with temporal logic programming.

[BibT_eX]

[DOI]

Peng Zhang

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.

[BibT_eX]

[DOI]

Mengfei Yang

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

Bounded Model Checking for Propositional Projection Temporal Logic.

[BibT_eX]

[DOI]

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

An Extended Strange Planet Protocol.

[BibT_eX]

[DOI]

Jin Liu

Proceedings of the Combinatorial Optimization and Applications, 2013

Some Fixed-Point Issues in PPTL.

[BibT_eX]

[DOI]

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Model Checking.

[BibT_eX]

[DOI]

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

An efficient approach for abstraction-refinement in model checking.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Efficient and scalable scheduling for performance heterogeneous multicore systems.

[BibT_eX]

[DOI]

Pengcheng Nie

J. Parallel Distributed Comput., 2012

Symbolic Model Checking for Propositional Projection Temporal Logic.

[BibT_eX]

[DOI]

Tao Pang

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

Model Checking C Programs with MSVL.

[BibT_eX]

[DOI]

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

Abstract Model Checking with SOFL Hierarchy.

[BibT_eX]

[DOI]

Shaoying Liu

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

Time Constraints with Temporal Logic Programming.

[BibT_eX]

[DOI]

Meng Han

Proceedings of the Formal Methods and Software Engineering, 2012

2011

Expressiveness of propositional projection temporal logic with star.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Focus Game for Projection Temporal Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Chen Zhang

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

Asynchronous Communication in MSVL.

[BibT_eX]

[DOI]

Dapeng Mo

Proceedings of the Formal Methods and Software Engineering, 2011

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

[BibT_eX]

[DOI]

Pengcheng Nie

Bohu Huang

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

Making Abstraction-Refinement Efficient in Model Checking.

[BibT_eX]

[DOI]

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

A Semantic Model for Many-Core Parallel Computing.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2011

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

[BibT_eX]

[DOI]

Jia He

Proceedings of the Combinatorial Optimization and Applications, 2011

2010

Axiomatic semantics of projection temporal logic programs.

[BibT_eX]

[DOI]

Qian Ma

Math. Struct. Comput. Sci., 2010

Unconditional secure communication: a Russian Cards protocol.

[BibT_eX]

[DOI]

Chen Yang

J. Comb. Optim., 2010

Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic.

[BibT_eX]

[DOI]

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

Axiomatic Temporal Logic Programs Verification.

[BibT_eX]

[DOI]

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

An Executable Concurrent Model for OWL-S Process Models.

[BibT_eX]

[DOI]

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

Non-Functional Requirements Elicitation and Incorporation into Class Diagrams.

[BibT_eX]

[DOI]

Xiaoyu Song

Proceedings of the Intelligent Information Processing V, 2010

Alternating Interval Based Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2010

An Improved Decision Procedure for Propositional Projection Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2010

A Transformation from PPTL to S1S.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2010

2009

A Proof System for Projection Temporal Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

A note on stutter-invariant PLTL.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2009

An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems.

[BibT_eX]

[DOI]

Yan Xiao

Pengcheng Nie

Proceedings of the TASE 2009, 2009

Verification of Use Case with Petri Nets in Requirement Analysis.

[BibT_eX]

[DOI]

Jinqiang Zhao

Proceedings of the Computational Science and Its Applications, 2009

Generalized Russian Cards Problem.

[BibT_eX]

[DOI]

Chen Yang

Proceedings of the Combinatorial Optimization and Applications, 2009

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

[BibT_eX]

[DOI]

Chenting Zhao

Man Zhang

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

2008

Framed temporal logic programming.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2008

Operational semantics of Framed Tempura.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2008

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

[BibT_eX]

[DOI]

Li Zhang

Acta Informatica, 2008

A Complete Axiomatization of Propositional Projection Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Symbolic Algorithm Analysis of Rectangular Hybrid Systems.

[BibT_eX]

[DOI]

Haibin Zhang

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Man Zhang

Proceedings of the Service-Oriented Computing, 2008

Kapa: A File Sharing System Based on HP2P.

[BibT_eX]

[DOI]

Bo Wang

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2008

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

[BibT_eX]

[DOI]

Man Zhang

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.

[BibT_eX]

[DOI]

Yan Xiao

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.

[BibT_eX]

[DOI]

IT Prof., 2007

An Interpreter for Framed Tempura and Its Application.

[BibT_eX]

[DOI]

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

Decidability of Propositional Projection Temporal Logic with Infinite Models.

[BibT_eX]

[DOI]

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

Operational Semantics of Framed Temporal Logic Programs.

[BibT_eX]

[DOI]

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

Model Checking Propositional Projection Temporal Logic Based on SPIN.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2007

HP2P: A Hybrid Hierarchical P2P Network.

[BibT_eX]

[DOI]

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

Incorporating Clusters into Hybrid P2P Network.

[BibT_eX]

[DOI]

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

Automating Web Service Composition for Collaborative Business Processes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Peng Men

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

2006

Implementing Chord for HP2P Network.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

A Comprehensive Framework for Dynamic Web Services Integration.

[BibT_eX]

[DOI]

Zhile Zou

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.

[BibT_eX]

[DOI]

Zhile Zou

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

Semantic Matching of Web Services for Collaborative Business Processes.

[BibT_eX]

[DOI]

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

Semantic Matching of Web Services Based on Choreographies.

[BibT_eX]

[DOI]

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

2005

Semantics of Framed Temporal Logic Programs.

[BibT_eX]

[DOI]

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

2004

A Framed Temporal Logic Programming Language.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2004

1996

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

[BibT_eX]

[DOI]

PhD thesis, 1996

1994

Projection in Temporal Logic Programming.

[BibT_eX]

[DOI]