Guoliang Zheng

发表

Low-Complexity Multi-User Detection Based on Gradient Information for Uplink Grant-Free NOMA

Guoliang Zheng, Yi Wang, Yanjun Hu, 2020, IEEE Access.

A formal software development approach based on COOZ and refinement calculus

Guoliang Zheng, Bixin Li, Jun Pang, 1999, Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393).

Improve Model Checking Efficiency Using Specific Knowledge about the System

Guoliang Zheng, Bin Lei, Xuandong Li, 2006, ISoLA.

A message-based real-time model by object-oriented technique

Xiaocong Fan, Jianmin Hou, Guoliang Zheng, 1997, OPSR.

Tunable Nanosensor Based on Fano Resonances Created by Changing the Deviation Angle of the Metal Core in a Plasmonic Cavity

Guoliang Zheng, Qiang Liu, Qiong Wang, 2018, Sensors.

Message conversion and a new type system for OO model

Guoliang Zheng, Jianhua Zhao, Chen Jiajun, 1997, SIGP.

Runtime Verification of Java Programs for Scenario-Based Specifications

Guoliang Zheng, Jianhua Zhao, Bin Lei, 2006, Ada-Europe.

Hybrid Regular Expressions

Jianmin Hou, Guoliang Zheng, Jianhua Zhao, 1998, HSCC.

Scenario-based Component Behavior Filtration

Guoliang Zheng, Xuandong Li, Xiaofeng Yu, 2006, SET.

Enhancing Reusability and Maintainability in NDOOM

Guoliang Zheng, Xuandong Li, 1997, OOIS.

A formal software development approach using refinement calculus

Guoliang Zheng, Jun Pang, Zhaohui Yang, 2008, Journal of Computer Science and Technology.

Inheritance as sublation and its semantics

Dianxiang Xu, Guoliang Zheng, Dianxiang Xu, 1995, SOEN.

Fair transition system specification: an integrated approach

Guoliang Zheng, Guoping Jia, 1996, SIGP.

A modified inheritance mechanism enhancing reusability and maintainability in object-oriented languages

Guoliang Zheng, Xuandong Li, 1996, Proceedings 1996 Asia-Pacific Software Engineering Conference.

Positive loop-closed automata: a decidable class of hybrid systems

Guoliang Zheng, Jianhua Zhao, Yong Li, 2002, J. Log. Algebraic Methods Program..

NDC++: an approach to concurrent extension of C++

Guoliang Zheng, Chen Jiajun, G. Zheng, 1997, SIGP.

Partial Order Path Technique for Checking Parallel Timed Automata

Guoliang Zheng, He Xu, Jianhua Zhao, 2002, FTRTFT.

Towards a declarative semantics of inheritance with exceptions

Dianxiang Xu, Guoliang Zheng, Dianxiang Xu, 2008, Journal of Computer Science and Technology.

Checking MSC specifications for timing inconsistency

Guoliang Zheng, Xuandong Li, Wenkai Tan, 2008, Journal of Computer Science and Technology.

Towards a Model Driven Approach to Automatic BPEL Generation

Guoliang Zheng, Jianhua Zhao, Xuandong Li, 2007, ECMDA-FA.

A quadratic-time DBM-based successor algorithm for checking timed automata

Guoliang Zheng, Jianhua Zhao, Xuandong Li, 2005, Inf. Process. Lett..

The design and implementation of the syntax-directed editor generator (SEG)

Guoliang Zheng, Hui Li, 2008, Journal of Computer Science and Technology.

Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications

Guoliang Zheng, Jun Hu, Xuandong Li, 2005, EUC.

Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking

Guoliang Zheng, Jianhua Zhao, Xuandong Li, 2006, Journal of Computer Science and Technology.

Deriving Available Behavior All Out from Incompatible Component Compositions

Guoliang Zheng, Jun Hu, Xuandong Li, 2006, Electron. Notes Theor. Comput. Sci..

Introducing virtual instance variables in classes to provide sufficient support for encapsulation

Guoliang Zheng, XueDong Li, Xue-Ping Li, 1995, SIGP.

Parametric analysis for linear hybrid systems

Xiaocong Fan, Jianmin Hou, Guoliang Zheng, 1999 .

Verifying compositional designs for scenario-based timing specifications

Guoliang Zheng, Jianhua Zhao, Xuandong Li, 2004, Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings..

Modelling and Analysis of Power Consumption for Component-Based Embedded Software

Guoliang Zheng, Jun Hu, Xuandong Li, 2006, EUC Workshops.

Duration-constrained regular expressions

Guoliang Zheng, Jianhua Zhao, Yong Li, 2004, Formal Aspects of Computing.

Timing Analysis of UML Activity Diagrams

Guoliang Zheng, Cui Meng, Jianhua Zhao, 2001, UML.

Reasoning about concurrent actions in multi-agent systems

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, 1999, Journal of Computer Science and Technology.

Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently

Guoliang Zheng, Jianhua Zhao, Xuandong Li, 2003, FORMATS.

A hybrid knowledge representation based on logical objects

Guoliang Zheng, Dianxiang Xu, Jingui Pan, 1994, Proceedings of International Conference on Expert Systems for Development.

Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming

Guoliang Zheng, Yu Pei, Xuandong Li, 2001, CHARME.

SPLAW: a computable language for agent-oriented programming

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, 1998, SIGP.

Logical objects with constraints

Dianxiang Xu, Guoliang Zheng, 1995, SIGP.

Consistency Checking of Concurrent Models for Scenario-Based Specifications

Guoliang Zheng, Jun Hu, Jianhua Zhao, 2005, SDL Forum.

Scenario-Based Component Behavior Derivation

Guoliang Zheng, Jun Hu, Xuandong Li, 2006, ICFEM.

SPLAW: A Computable Agent-Oriented Programming Language

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, 1998, ISORC.

Duration calculus in COOZ

Guoliang Zheng, Jiajun Chen, Xiaodong Yuan, 1998, SOEN.

Logical object as a basis of knowledge based systems

Dianxiang Xu, Guoliang Zheng, 2008, Journal of Computer Science and Technology.

Compatibility between shared variable valuations in timed automaton network model-checking

Guoliang Zheng, Xuandong Li, Jianhua Zhao, 2005, 19th IEEE International Parallel and Distributed Processing Symposium.

Scenario-Based Timing Consistency Checking for Time Petri Nets

Tao Zhang, Guoliang Zheng, Jun Hu, 2006, FORTE.

Generating test cases from UML activity diagram based on Gray-box method

Guoliang Zheng, Xuandong Li, Linzhang Wang, 2004, 11th Asia-Pacific Software Engineering Conference.