Applying Timed Interval Calculus to Simulink Diagrams. - Chunqing Chen; Jin Song Dong (ICFEM, 2006)

Machine-Assisted Proof Support for Validation Beyond Simulink. - Chunqing Chen; Jin Song Dong; Jun Sun 001 (ICFEM, 2007)

A verification system for timed interval calculus. - Chunqing Chen; Jin Song Dong; Jun Sun 001 (ICSE, 2008)

Integrating Specification and Programs for System Modeling and Verification. - Jun Sun 001; Yang Liu 003; Jin Song Dong; Chunqing Chen (TASE, 2009)

A formal framework for modeling and validating Simulink diagrams. - Chunqing Chen; Jin Song Dong; Jun Sun 001 (Formal Aspects Comput., 2009)

Formal Analysis for Stateflow Diagrams. - Chunqing Chen (SSIRI (Companion), 2010)

A verification system for interval-based specification languages. - Chunqing Chen; Jin Song Dong; Jun Sun 001; Andrew P. Martin (ACM Trans. Softw. Eng. Methodol., 2010)

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 (IEEE CLOUD, 2012)

Cloud service recommendation and selection for enterprises. - Shixing Yan; Chunqing Chen; Guopeng Zhao; Bu-Sung Lee (CNSM, 2012)

Formal modeling and validation of Stateflow diagrams. - Chunqing Chen; Jun Sun 001; Yang Liu 003; Jin Song Dong; Manchun Zheng (Int. J. Softw. Tools Technol. Transf., 2012)

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., 2023)

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., 2024)