| |
| 2008 | ||
|---|---|---|
| 3 | EE | Chunqing Chen, Jin Song Dong, Jun Sun: A verification system for timed interval calculus. ICSE 2008: 271-280 |
| 2007 | ||
| 2 | EE | Chunqing Chen, Jin Song Dong, Jun Sun: Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM 2007: 96-115 |
| 2006 | ||
| 1 | EE | Chunqing Chen, Jin Song Dong: Applying Timed Interval Calculus to Simulink Diagrams. ICFEM 2006: 74-93 |
| 1 | Jin Song Dong | [1] [2] [3] |
| 2 | Jun Sun | [2] [3] |