Guangquan Zhang

Affiliations:

Soochow University, Suzhou, China

According to our database¹, Guangquan Zhang authored at least 25 papers between 2007 and 2019.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2019

基于WSAN的物联网软件分布式知识框架及其实现方法 (Distributed Knowledge Framework of IOT Software Based on WSAN and Its Implementation Strategy).

[BibT_eX]

[DOI]

Zhenghao Liu

Guangquan Zhang

计算机科学, 2019

2017

基于AOP的时空Petri网的CPS建模 (Modeling of CPS Based on Aspect-oriented Spatial-Temporal Petri Net).

[BibT_eX]

[DOI]

Zhenhua Song

Guangquan Zhang

计算机科学, 2017

基于扩展混成Petri网的CPS无人车系统建模与分析 (Modeling and Analysis of CPS Unmanned Vehicle Systems Based on Extended Hybrid Petri Net).

[BibT_eX]

[DOI]

Xiangjun Song

Guangquan Zhang

计算机科学, 2017

2016

Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2016

Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015

基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform).

[BibT_eX]

[DOI]

计算机科学, 2015

基于抽象和组合方法的网络协议验证 (Verification of Network Protocols Based on Abstraction and Composition).

[BibT_eX]

[DOI]

计算机科学, 2015

基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction).

[BibT_eX]

[DOI]

计算机科学, 2015

Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods.

[BibT_eX]

[DOI]

Yu-Lei Gu

Xueyang Zhu

Guangquan Zhang

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

2014

Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net.

[BibT_eX]

[DOI]

J. Comput., 2014

Formal Consistency Checking over Specifications in Natural Languages.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Modeling and Analyzing Method for CPS Software Architecture Energy Consumption.

[BibT_eX]

[DOI]

J. Softw., 2013

2011

Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems and Mining - International Conference, 2011

Specification and Verification of Data and Time in Web Service Composition.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems and Mining - International Conference, 2011

Mismatch Detection of Asynchronous Web Services with Timed Constraints.

[BibT_eX]

[DOI]

Guangquan Zhang

Huijuan Shi

Mei Rong

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010

A Locally-Adjustable Planar Structure for Adaptive Topology Control in Wireless Ad Hoc Networks.

[BibT_eX]

[DOI]

Guangquan Zhang

Zhaoliang Zhang

Jianxi Fan

IEEE Trans. Parallel Distributed Syst., 2010

A Refinement Checking Method of Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

A Model-Based Framework for Adapting Interaction Mismatches of Time-Aware Web Services.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Service Sciences, 2010

2009

The Restricted Connectivity of Locally Twisted Cubes.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Pervasive Systems, 2009

A Fault-Free Unicast Algorithm in Twisted Cubes with the Restricted Faulty Node Set.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

TAP: An Adjustable Planar Structure for Adaptive Topology Control in Wireless Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2009

2008

An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property.

[BibT_eX]

[DOI]

Guangquan Zhang

Rong Mei

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems.

[BibT_eX]

[DOI]

Donghuo Chen

Guangquan Zhang

Jinzhao Wu

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A Business Process of Web Services Testing Method Based on UML2.0 Activity Diagram.

[BibT_eX]

[DOI]

Guangquan Zhang

Rong Mei

Jun Zhang

Proceedings of the Workshop on Intelligent Information Technology Application, 2007

Guangquan Zhang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...