Chunqing Chen

	2009
4		Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen: Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135
	2008
3		Chunqing Chen, Jin Song Dong, Jun Sun: A verification system for timed interval calculus. ICSE 2008: 271-280
	2007
2		Chunqing Chen, Jin Song Dong, Jun Sun: Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM 2007: 96-115
	2006
1		Chunqing Chen, Jin Song Dong: Applying Timed Interval Calculus to Simulink Diagrams. ICFEM 2006: 74-93

Coauthor Index

1	Jin Song Dong	[1] [2] [3] [4]
2	Yang Liu	[4]
3	Jun Sun	[2] [3] [4]