Chunqing Chen

According to our database, Chunqing Chen authored at least 12 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Impacts of Marine Heatwave Events on Three Distinct Upwelling Systems and Their Implications for Marine Ecosystems in the Northwestern South China Sea.

Sihai Liu, Qibin Lao, Xin Zhou, Guangzhe Jin, Chunqing Chen, Fajin Chen

Remote. Sens., January, 2024

2023

Remote Sensing Estimates of Particulate Organic Carbon Sources in the Zhanjiang Bay Using Sentinel-2 Data and Carbon Isotopes.

Guo Yu, Yafeng Zhong, Sihai Liu, Qibin Lao, Chunqing Chen, Dongyang Fu, Fajin Chen

Remote. Sens., August, 2023

2012

Formal modeling and validation of Stateflow diagrams.

Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng

Int. J. Softw. Tools Technol. Transf., 2012

Cloud service recommendation and selection for enterprises.

Shixing Yan, Chunqing Chen, Guopeng Zhao, Bu-Sung Lee

Proceedings of the 8th International Conference on Network and Service Management, 2012

A Systematic Framework Enabling Automatic Conflict Detection and Explanation in Cloud Service Selection for Enterprises.

Chunqing Chen, Shixing Yan, Guopeng Zhao, Bu-Sung Lee, Sharad Singhal

Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2010

A verification system for interval-based specification languages.

Chunqing Chen, Jin Song Dong, Jun Sun, Andrew P. Martin

ACM Trans. Softw. Eng. Methodol., 2010

Formal Analysis for Stateflow Diagrams.

Chunqing Chen

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

2009

A formal framework for modeling and validating Simulink diagrams.

Chunqing Chen, Jin Song Dong, Jun Sun

Formal Aspects Comput., 2009

Integrating Specification and Programs for System Modeling and Verification.

Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen

Proceedings of the TASE 2009, 2009

2008

A verification system for timed interval calculus.

Chunqing Chen, Jin Song Dong, Jun Sun

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Machine-Assisted Proof Support for Validation Beyond Simulink.

Chunqing Chen, Jin Song Dong, Jun Sun

Proceedings of the Formal Methods and Software Engineering, 2007

2006

Applying Timed Interval Calculus to Simulink Diagrams.

Chunqing Chen, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2006