| 2007 |
|---|
| 4 | EE | Felix Klaedtke,
Stefan Ratschan,
Zhikun She:
Language-Based Abstraction Refinement for Hybrid System Verification.
VMCAI 2007: 151-166 |
| 3 | EE | Stefan Ratschan,
Zhikun She:
Safety verification of hybrid systems by constraint propagation-based abstraction refinement.
ACM Trans. Embedded Comput. Syst. 6(1): (2007) |
| 2006 |
|---|
| 2 | EE | Stefan Ratschan,
Zhikun She:
Constraints for Continuous Reachability in the Verification of Hybrid Systems.
AISC 2006: 196-210 |
| 2005 |
|---|
| 1 | EE | Stefan Ratschan,
Zhikun She:
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement.
HSCC 2005: 573-589 |
