Chunqing Chen

Biography

Chunqing's research area centers on software engineering with focus on rigorous software/system modeling and analysis. Before joining in HP Labs Singapore, he was a post-doctoral research fellow in School of Computing (SoC), National University of Singapore (NUS), where he applied model checking techniques to commercial software in control systems design. From 2008 to 2009, he was an instructor for software engineering project course in SoC, NUS.

Chunqing recevied his PhD from SoC, NUS, in 2009. His PhD work consisted of the development of a verification system for interval-based specification languages and the application to industrial software in model-based development. Chunqing received his Bachelor of Computing (with Honors) from SoC, NUS, supported by Singapore Govenrment Linked Company Scholarship (1998-2003).

Research interests

Software Engineering, Formal Methods, Validation and Verification

Awards

• IEEE Certificate of Recognition for outstanding leadership and service as the local chair of the 4th IEEE International Conference on Secure Software Integration and Reliability Improvement, by IEEE Reliability Society, 2010.
• Dean's Graduate Research Excellence Award, 2009.

Publications

• Chunqing Chen, Jin Song Dong, Jun Sun and Andrew Martin. A Verification System for Interval-based Specification Languages, ACM Transactions on Software Engineering and Methodology. Volume 19(4), pages 1 - 36, ACM. 2010.
• Chunqing Chen. Formal Analysis for Stateflow Diagrams, In Proceedings of the 4th International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI'10), pages 102 - 109. Singapore, 2010.
• Chunqing Chen, Jin Song Dong and Jun Sun. A Formal Framework for Modeling and Validating Simulink Diagrams, Formal Aspects of Computing. Volume 21(5), pages 451-483, Springer. Oct, 2009.
• Jun Sun, Yang Liu, Jin Song Dong and Chunqing Chen. Integrating Specification and Programs for System Modeling and Verification, In Proceedings of the 3rd International Symposium on Theoretical Aspects of Software Engineering (TASE'09), pages 127 - 135. Tianjin, China, 2009.
• Chunqing Chen, Jin Song Dong and Jun Sun. A Verification System for Timed Interval Calculus, In Proceedings of the 30th International Conference on Software Engineering (ICSE'08), pages 271 - 280. Leipzig, Germany, 2008.
• Chunqing Chen, Jin Song Dong and Jun Sun. Machine-assisted Proof Support for Validation beyond Simulink, In Proceedings of the 9th International Conference on Formal Engineering Methods (ICFEM'07), pages 96 - 115. Boca Raton, USA, 2007.
• Chunqing Chen and Jin Song Dong. Applying Timed Interval Calculus to Simulink Diagrams, In Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM'06), pages 74 - 93. Macau, China, 2006.
• Chunqing Chen. A Continuous-time Approach to Modeling and Validating Simulink Models, In Doctoral Symposium of the 14th International Symposium on Formal Methods (FM'06), Hamilton, Canada, 2006.

Professional activities

• Finance and Registration Chair of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10)
• Local Organization Chair of the 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'10)
• Program Committee Member of the 3rd International Workshop on Dependable Control of Discrete Systems (DCDS'11), the 12th International Conference on Formal Engineering Methods (ICFEM'10), International Pervasive Model Checking Workshop (PMCW'10), International Workshop on Model Checking Secure and Reliable Systems (MoCSeRS'10).
• International Referee of Journals and Conferences: ISSE, IJIST, IJSI, INFSOF, IJSEKE, FAC, JSW, JSS, IJFCS, FM'(11, 09, 05), DCDS'(11, 07), ICFEM'(10, 09), ICSE'10, ICTAC'10, SEKE'(10, 07), MoCSeRS'10, NFM'10, APSEC'(09, 08, 07), SSIRI'(09, 08), VSTTE'08, VLHCC'(08, 06), TOOLS'08, TASE'08, TACAS'08, HASE'07, ACSC'(07, 06), ATVA'(07, 06, 05), IFM'(07, 05), SEFM'07, QSIC'(07, 06), ASIAN'06, ICECCS'05, IEHSC'05.