A Business Process of Web Services Testing Method Based on UML2.0 Activity Diagram. - Guangquan Zhang 002; Rong Mei; Jun Zhang (IITA, 2007)

QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. - Donghuo Chen; Guangquan Zhang 002; Jinzhao Wu (TASE, 2007)

An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property. - Guangquan Zhang 002; Rong Mei (CSSE (2), 2008)

TAP: An Adjustable Planar Structure for Adaptive Topology Control in Wireless Ad Hoc Networks. - Zhaoliang Zhang; Guangquan Zhang 002; Xiaofang Zhang; Jianxi Fan (ICC, 2009)

A Fault-Free Unicast Algorithm in Twisted Cubes with the Restricted Faulty Node Set. - Jianxi Fan; Shukui Zhang; Xiaohua Jia; Guangquan Zhang 002 (ICPADS, 2009)

The Restricted Connectivity of Locally Twisted Cubes. - Jianxi Fan; Shukui Zhang; Xiaohua Jia; Guangquan Zhang 002 (ISPAN, 2009)

A Model-Based Framework for Adapting Interaction Mismatches of Time-Aware Web Services. - Guangquan Zhang 002; Sheng Wang; Mei Rong; Qingchun Li (ICSS, 2010)

A Refinement Checking Method of Web Services Composition. - Guangquan Zhang 002; Mei Rong; Yali He; Xueyang Zhu; Rongjie Yan (SOSE, 2010)

A Locally-Adjustable Planar Structure for Adaptive Topology Control in Wireless Ad Hoc Networks. - Guangquan Zhang 002; Zhaoliang Zhang; Jianxi Fan (IEEE Trans. Parallel Distributed Syst., 2010)

Mismatch Detection of Asynchronous Web Services with Timed Constraints. - Guangquan Zhang 002; Huijuan Shi; Mei Rong (APSCC, 2011)

Specification and Verification of Data and Time in Web Service Composition. - Guangquan Zhang 002; Haojun Di; Mei Rong; Huijuan Shi (WISM (2), 2011)

Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL. - Guangquan Zhang 002; Huijuan Shi; Mei Rong; Haojun Di (WISM (2), 2011)

Modeling and Analyzing Method for CPS Software Architecture Energy Consumption. - Guangquan Zhang 002; Kan Zhang; Xueyang Zhu; Mingcai Chen; Chengkai Xu; Yuzhen Shao (J. Softw., 2013)

Formal Consistency Checking over Specifications in Natural Languages. - Rongjie Yan; Chih-Hong Cheng; Guangquan Zhang 002; Yesheng Chai (CoRR, 2014)

Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net. - Guangquan Zhang 002; Mingtai Zhang; Rongjie Yan; Mingcai Chen; Chengkai Xu; Yejing Li (J. Comput., 2014)

Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. - Xueyang Zhu; Rongjie Yan; Yu-Lei Gu; Jian Zhang 001; Wenhui Zhang; Guangquan Zhang 002 (FM, 2015)

Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods. - Yu-Lei Gu; Xueyang Zhu; Guangquan Zhang 002 (SETTA, 2015)

基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction). - Yesheng Chai; Xueyang Zhu; Rongjie Yan; Guangquan Zhang 002 (计算机科学, 2015)

基于抽象和组合方法的网络协议验证 (Verification of Network Protocols Based on Abstraction and Composition). - Daoxi Chen; Guangquan Zhang 002; Chengkai Xu; Guobin Chen (计算机科学, 2015)

基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform). - Yu-Lei Gu; Xueyang Zhu; Rongjie Yan; Guangquan Zhang 002 (计算机科学, 2015)

Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor. - Yu-Lei Gu; Xue-Yang Zhu; Guangquan Zhang 002; Yifan He (ICECCS, 2016)

Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra. - Yi Zhu 008; Zhiqiu Huang; Guangquan Zhang 002; Hang Zhou 002; Fangxiong Xiao (Int. J. Softw. Eng. Knowl. Eng., 2016)

基于扩展混成Petri网的CPS无人车系统建模与分析 (Modeling and Analysis of CPS Unmanned Vehicle Systems Based on Extended Hybrid Petri Net). - Xiangjun Song; Guangquan Zhang 002 (计算机科学, 2017)

基于AOP的时空Petri网的CPS建模 (Modeling of CPS Based on Aspect-oriented Spatial-Temporal Petri Net). - Zhenhua Song; Guangquan Zhang 002 (计算机科学, 2017)

基于WSAN的物联网软件分布式知识框架及其实现方法 (Distributed Knowledge Framework of IOT Software Based on WSAN and Its Implementation Strategy). - Zhenghao Liu; Guangquan Zhang 002 (计算机科学, 2019)