Chunqing Chen

According to our database1, Chunqing Chen authored at least 10 papers between 2006 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Formal modeling and validation of Stateflow diagrams.
Int. J. Softw. Tools Technol. Transf., 2012

Cloud service recommendation and selection for enterprises.
Proceedings of the 8th International Conference on Network and Service Management, 2012

A Systematic Framework Enabling Automatic Conflict Detection and Explanation in Cloud Service Selection for Enterprises.
Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2010
A verification system for interval-based specification languages.
ACM Trans. Softw. Eng. Methodol., 2010

Formal Analysis for Stateflow Diagrams.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

2009
A formal framework for modeling and validating Simulink diagrams.
Formal Aspects Comput., 2009

Integrating Specification and Programs for System Modeling and Verification.
Proceedings of the TASE 2009, 2009

2008
A verification system for timed interval calculus.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Machine-Assisted Proof Support for Validation Beyond Simulink.
Proceedings of the Formal Methods and Software Engineering, 2007

2006
Applying Timed Interval Calculus to Simulink Diagrams.
Proceedings of the Formal Methods and Software Engineering, 2006


  Loading...