dblp.uni-trier.dewww.uni-trier.de

Zhikun She

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)