Guoliang Zheng

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