 | 2010 |
|---|
| 6 |       | 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) |
| 2009 |
|---|
| 5 | | Jun Sun,
Yang Liu,
Jin Song Dong,
Chunqing Chen:
Integrating Specification and Programs for System Modeling and Verification.
TASE 2009: 127-135 |
| 4 | | Chunqing Chen,
Jin Song Dong,
Jun Sun:
A formal framework for modeling and validating Simulink diagrams.
Formal Asp. Comput. 21(5): 451-483 (2009) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page