| |
| * | 2008 | |
|---|---|---|
| 5 | Stefan Ratschan, Zhikun She: Recursive and Backward Reasoning in the Verification on Hybrid Systems. ICINCO-SPSMC 2008: 65-71 | |
| 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 |
| 1 | Felix Klaedtke | [4] |
| 2 | Stefan Ratschan | [1] [2] [3] [4] [5] |