Zhikun She

	2008
5		Stefan Ratschan, Zhikun She: Recursive and Backward Reasoning in the Verification on Hybrid Systems. ICINCO-SPSMC 2008: 65-71
	2007
4		Felix Klaedtke, Stefan Ratschan, Zhikun She: Language-Based Abstraction Refinement for Hybrid System Verification. VMCAI 2007: 151-166
3		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		Stefan Ratschan, Zhikun She: Constraints for Continuous Reachability in the Verification of Hybrid Systems. AISC 2006: 196-210
	2005
1		Stefan Ratschan, Zhikun She: Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. HSCC 2005: 573-589

Coauthor Index

1	Felix Klaedtke	[4]
2	Stefan Ratschan	[1] [2] [3] [4] [5]