Guangquan Zhang

25 papers B 3C 1Misc 2Journal 11Unranked 8

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