Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Chunqing Chen
2010 – today
- 2012
[j3]Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng: Formal modeling and validation of Stateflow diagrams. STTT 14(6): 653-671 (2012)- [c7]Chunqing Chen, Shixing Yan, Guopeng Zhao, Bu-Sung Lee, Sharad Singhal: A Systematic Framework Enabling Automatic Conflict Detection and Explanation in Cloud Service Selection for Enterprises. IEEE CLOUD 2012: 883-890
- [c6]Shixing Yan, Chunqing Chen, Guopeng Zhao, Bu-Sung Lee: Cloud service recommendation and selection for enterprises. CNSM 2012: 430-434
- 2010
- [j2]Chunqing Chen, Jin Song Dong, Jun Sun, Andrew Martin: A verification system for interval-based specification languages. ACM Trans. Softw. Eng. Methodol. 19(4) (2010)
- [c5]
2000 – 2009
- 2009
- [j1]Chunqing Chen, Jin Song Dong, Jun Sun: A formal framework for modeling and validating Simulink diagrams. Formal Asp. Comput. 21(5): 451-483 (2009)
- [c4]Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen: Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135
- 2008
- [c3]Chunqing Chen, Jin Song Dong, Jun Sun: A verification system for timed interval calculus. ICSE 2008: 271-280
- 2007
- [c2]Chunqing Chen, Jin Song Dong, Jun Sun: Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM 2007: 96-115
- 2006
- [c1]Chunqing Chen, Jin Song Dong: Applying Timed Interval Calculus to Simulink Diagrams. ICFEM 2006: 74-93
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-21 19:17 CET by the dblp team