Guoliang Zheng

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 3

Top Topics

Gradient Information

Distributed Video Coding

Top Venues

Publications

Tiefeng He, Libin Zhang, Guoliang Zheng, Can Yang, Meng Wang, Guobing Pan
Analysis and Experiment of the Laser Wireless Energy Transmission Efficiency Based on the Receiver of Powersphere. IEEE Access 9 (2021)
Fang Jiang, Guoliang Zheng, Yanjun Hu, Yi Wang, Yaohua Xu
Low-Complexity Multi-User Detection Based on Gradient Information for Uplink Grant-Free NOMA. IEEE Access 8 (2020)
Qiong Wang, Zhengbiao Ouyang, Yiling Sun, Mi Lin, Qiang Liu, Guoliang Zheng, Junxing Fan
Tunable Nanosensor Based on Fano Resonances Created by Changing the Deviation Angle of the Metal Core in a Plasmonic Cavity. Sensors 18 (4) (2018)
Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li
Towards a Model Driven Approach to Automatic BPEL Generation. ECMDA-FA (2007)
Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng
Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe (2006)
Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
Scenario-Based Component Behavior Derivation. ICFEM (2006)
Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
Scenario-based Component Behavior Filtration. SET (2006)
Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng
Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE (2006)
Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng
Improve Model Checking Efficiency Using Specific Knowledge about the System. ISoLA (2006)
Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang
Modelling and Analysis of Power Consumption for Component-Based Embedded Software. EUC Workshops (2006)
Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
Deriving Available Behavior All Out from Incompatible Component Compositions. Electron. Notes Theor. Comput. Sci. 160 (2006)
Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. J. Comput. Sci. Technol. 21 (1) (2006)
Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng
Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS (2005)
Jianhua Zhao, Xuandong Li, Guoliang Zheng
A quadratic-time DBM-based successor algorithm for checking timed automata. Inf. Process. Lett. 96 (3) (2005)
Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Xuandong Li, Guoliang Zheng
Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. ICPP Workshops (2005)
Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng
Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum (2005)
Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng
Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. EUC (2005)
Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng
Generating Test Cases from UML Activity Diagram based on Gray-Box Method. APSEC (2004)
Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng
Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC (2004)
Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng
Duration-constrained regular expressions. Formal Aspects Comput. 16 (2) (2004)
Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS (2003)
Xuandong Li, Wenkai Tan, Guoliang Zheng
Checking MSC Specifications for Timing Inconsistency. J. Comput. Sci. Technol. 17 (1) (2002)
Xuandong Li, Jianhua Zhao, Yu Pei, Yong Li, Tao Zheng, Guoliang Zheng
Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebraic Methods Program. (2002)
Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng
Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT (2002)
Xuandong Li, Cui Meng, Yu Pei, Jianhua Zhao, Guoliang Zheng
Timing Analysis of UML Activity Diagrams. UML (2001)
Xuandong Li, Yu Pei, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME (2001)
Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng
A Formal Software Development Approach Using Refinement Calculus. J. Comput. Sci. Technol. 16 (3) (2001)
Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guoliang Zheng
A Formal Software Development Approach Based on COOZ and Refinement Calculus. TOOLS (31) (1999)
Xiaocong Fan, Dianxiang Xu, Guoliang Zheng
Reasoning about Inheritance and Cloning Behaviors of Software Agents. TOOLS (31) (1999)
Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng
Reasoning about concurrent actions in multi-agent systems. J. Comput. Sci. Technol. 14 (4) (1999)
Xiaocong Fan, Guanling Chen, Guoliang Zheng
Research on concurrent actions in multi-agent systems. ACM SIGSOFT Softw. Eng. Notes 23 (4) (1998)
Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng
SPLAW: A Computable Agent-Oriented Programming Language. ISORC (1998)
Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng
SPLAW: A Computable Language for Agent-oriented Programming. ACM SIGPLAN Notices 33 (1) (1998)
Xiaodong Yuan, Deqiang Hu, Hao Xu, Yong Li, Guoliang Zheng
COOZ: a complete object-oriented extension to Z. ACM SIGSOFT Softw. Eng. Notes 23 (4) (1998)
Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng
Compositional model-checking for real-time systems. ACM SIGSOFT Softw. Eng. Notes 23 (1) (1998)
Jiajun Chen, Xiaodong Yuan, Guoliang Zheng
A multi-threaded object-oriented programming model. ACM SIGSOFT Softw. Eng. Notes 23 (3) (1998)
Xiaodong Yuan, Jiajun Chen, Guoliang Zheng
Two-dimensional software development model combining object-oriented method with formal method. ACM SIGSOFT Softw. Eng. Notes 23 (1) (1998)
Xiaodong Yuan, Jiajun Chen, Guoliang Zheng
Duration calculus in COOZ. ACM SIGSOFT Softw. Eng. Notes 23 (3) (1998)
Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng
Reasoning about team tracking. ACM SIGSOFT Softw. Eng. Notes 23 (3) (1998)
Xuandong Li, Tao Zheng, Jianmin Hou, Jianhua Zhao, Guoliang Zheng
Hybrid Regular Expressions. HSCC (1998)
Xiaodong Yuan, Deqiang Hu, Hao Xu, Yong Li, Guoliang Zheng
Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools. TOOLS (27) (1998)
Jianhua Zhao, Jiajun Chen, Guoliang Zheng
Message Conversion and A New Type System for OO Model. ACM SIGPLAN Notices 32 (9) (1997)
Xuandong Li, Guoliang Zheng
Enhancing Reusability and Maintainability in NDOOM. OOIS (1997)
Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng
A Message-based Real-Time Model by Object-Oriented Technique. ACM SIGOPS Oper. Syst. Rev. 31 (3) (1997)
Jiajun Chen, Guoliang Zheng
NDC++: An Approach to Concurrent Extension of C++. ACM SIGPLAN Notices 32 (3) (1997)
Dianxiang Xu, Guoliang Zheng
Towards a declarative semantics of inheritance with exceptions. J. Comput. Sci. Technol. 11 (1) (1996)
Xuandong Li, Guoliang Zheng
A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. APSEC (1996)
Guoping Jia, Guoliang Zheng
Fair Transition System Specification: An Integrated Approach. ACM SIGPLAN Notices 31 (3) (1996)
Dianxiang Xu, Guoliang Zheng
Logical Objects with Constraints. ACM SIGPLAN Notices 30 (1) (1995)
XueDong Li, Guoliang Zheng
Introducing Virtual Instance Variables in Classes to Provide Sufficient Support for Encapsulation. ACM SIGPLAN Notices 30 (7) (1995)
Dianxiang Xu, Guoliang Zheng
Inheritance as sublation and its semantics. ACM SIGSOFT Softw. Eng. Notes 20 (5) (1995)
Dianxiang Xu, Guoliang Zheng
Logical object as a basis of knowledge based systems. J. Comput. Sci. Technol. 10 (5) (1995)
Guoliang Zheng, Chengxiang Z.
The kernel of Modula-2 integrated environment. ACM SIGSOFT Softw. Eng. Notes 13 (4) (1988)