Chunqing Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2006–2012
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CNSM | Cloud service recommendation and selection for enterprises. | Shixing Yan, Chunqing Chen, Guopeng Zhao, Bu-Sung Lee |
| 2009 | TASE | Integrating Specification and Programs for System Modeling and Verification. | Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen |
| 2008 | ICSE | A verification system for timed interval calculus. | Chunqing Chen, Jin Song Dong, Jun Sun |
| 2007 | ICFEM | Machine-Assisted Proof Support for Validation Beyond Simulink. | Chunqing Chen, Jin Song Dong, Jun Sun |
| 2006 | ICFEM | Applying Timed Interval Calculus to Simulink Diagrams. | Chunqing Chen, Jin Song Dong |