Chunqing Chen

12 papers A* 1B 1C 2Misc 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Impacts of Marine Heatwave Events on Three Distinct Upwelling Systems and Their Implications for Marine Ecosystems in the Northwestern South China Sea.
Remote. Sens.
Sihai Liu, Qibin Lao, Xin Zhou, Guangzhe Jin, Chunqing Chen, Fajin Chen
2023 J jnl
Remote Sensing Estimates of Particulate Organic Carbon Sources in the Zhanjiang Bay Using Sentinel-2 Data and Carbon Isotopes.
Remote. Sens.
Guo Yu, Yafeng Zhong, Sihai Liu, Qibin Lao, Chunqing Chen, Dongyang Fu, Fajin Chen
2012 — conf
A Systematic Framework Enabling Automatic Conflict Detection and Explanation in Cloud Service Selection for Enterprises.
IEEE CLOUD
Chunqing Chen, Shixing Yan, Guopeng Zhao, Bu-Sung Lee, Sharad Singhal
2012 B conf
Cloud service recommendation and selection for enterprises.
CNSM
Shixing Yan, Chunqing Chen, Guopeng Zhao, Bu-Sung Lee
2012 J jnl
Formal modeling and validation of Stateflow diagrams.
Int. J. Softw. Tools Technol. Transf.
Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng
2010 J jnl
A verification system for interval-based specification languages.
ACM Trans. Softw. Eng. Methodol.
Chunqing Chen, Jin Song Dong, Jun Sun, Andrew P. Martin
2010 — conf
Formal Analysis for Stateflow Diagrams.
SSIRI (Companion)
Chunqing Chen
2009 J jnl
A formal framework for modeling and validating Simulink diagrams.
Formal Aspects Comput.
Chunqing Chen, Jin Song Dong, Jun Sun
2009 Misc conf
Integrating Specification and Programs for System Modeling and Verification.
TASE
Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen
2008 A* conf
A verification system for timed interval calculus.
ICSE
Chunqing Chen, Jin Song Dong, Jun Sun
2007 C conf
Machine-Assisted Proof Support for Validation Beyond Simulink.
ICFEM
Chunqing Chen, Jin Song Dong, Jun Sun
2006 C conf
Applying Timed Interval Calculus to Simulink Diagrams.
ICFEM
Chunqing Chen, Jin Song Dong