Guangquan Zhang

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 5

Top Topics

Consistency Checking

Top Venues

计算机科学

Publications

Zhenghao Liu, Guangquan Zhang
基于WSAN的物联网软件分布式知识框架及其实现方法 (Distributed Knowledge Framework of IOT Software Based on WSAN and Its Implementation Strategy). 计算机科学 46 (1) (2019)
Zhenhua Song, Guangquan Zhang
基于AOP的时空Petri网的CPS建模 (Modeling of CPS Based on Aspect-oriented Spatial-Temporal Petri Net). 计算机科学 44 (7) (2017)
Xiangjun Song, Guangquan Zhang
基于扩展混成Petri网的CPS无人车系统建模与分析 (Modeling and Analysis of CPS Unmanned Vehicle Systems Based on Extended Hybrid Petri Net). 计算机科学 44 (7) (2017)
Yi Zhu, Zhiqiu Huang, Guangquan Zhang, Hang Zhou, Fangxiong Xiao
Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra. Int. J. Softw. Eng. Knowl. Eng. 26 (7) (2016)
Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang, Yifan He
Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor. ICECCS (2016)
Yu-Lei Gu, Xueyang Zhu, Rongjie Yan, Guangquan Zhang
基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform). 计算机科学 42 (11) (2015)
Yesheng Chai, Xueyang Zhu, Rongjie Yan, Guangquan Zhang
基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction). 计算机科学 42 (12) (2015)
Yu-Lei Gu, Xueyang Zhu, Guangquan Zhang
Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods. SETTA (2015)
Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. FM (2015)
Daoxi Chen, Guangquan Zhang, Chengkai Xu, Guobin Chen
基于抽象和组合方法的网络协议验证 (Verification of Network Protocols Based on Abstraction and Composition). 计算机科学 42 (7) (2015)
Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang, Yesheng Chai
Formal Consistency Checking over Specifications in Natural Languages. CoRR (2014)
Guangquan Zhang, Mingtai Zhang, Rongjie Yan, Mingcai Chen, Chengkai Xu, Yejing Li
Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net. J. Comput. 9 (2) (2014)
Guangquan Zhang, Kan Zhang, Xueyang Zhu, Mingcai Chen, Chengkai Xu, Yuzhen Shao
Modeling and Analyzing Method for CPS Software Architecture Energy Consumption. J. Softw. 8 (11) (2013)
Guangquan Zhang, Huijuan Shi, Mei Rong, Haojun Di
Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL. WISM (2) (2011)
Guangquan Zhang, Haojun Di, Mei Rong, Huijuan Shi
Specification and Verification of Data and Time in Web Service Composition. WISM (2) (2011)
Guangquan Zhang, Huijuan Shi, Mei Rong
Mismatch Detection of Asynchronous Web Services with Timed Constraints. APSCC (2011)
Guangquan Zhang, Sheng Wang, Mei Rong, Qingchun Li
A Model-Based Framework for Adapting Interaction Mismatches of Time-Aware Web Services. ICSS (2010)
Guangquan Zhang, Mei Rong, Yali He, Xueyang Zhu, Rongjie Yan
A Refinement Checking Method of Web Services Composition. SOSE (2010)
Guangquan Zhang, Zhaoliang Zhang, Jianxi Fan
A Locally-Adjustable Planar Structure for Adaptive Topology Control in Wireless Ad Hoc Networks. IEEE Trans. Parallel Distributed Syst. 21 (10) (2010)
Jianxi Fan, Shukui Zhang, Xiaohua Jia, Guangquan Zhang
A Fault-Free Unicast Algorithm in Twisted Cubes with the Restricted Faulty Node Set. ICPADS (2009)
Zhaoliang Zhang, Guangquan Zhang, Xiaofang Zhang, Jianxi Fan
TAP: An Adjustable Planar Structure for Adaptive Topology Control in Wireless Ad Hoc Networks. ICC (2009)
Jianxi Fan, Shukui Zhang, Xiaohua Jia, Guangquan Zhang
The Restricted Connectivity of Locally Twisted Cubes. ISPAN (2009)
Guangquan Zhang, Rong Mei
An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property. CSSE (2) (2008)
Donghuo Chen, Guangquan Zhang, Jinzhao Wu
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. TASE (2007)
Guangquan Zhang, Rong Mei, Jun Zhang
A Business Process of Web Services Testing Method Based on UML2.0 Activity Diagram. IITA (2007)