|
Search the dblp DataBase
Zhikun She:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Stefan Ratschan, Zhikun She
Constraints for Continuous Reachability in the Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP] AISC, 2006, pp:196-210 [Conf]
- Stefan Ratschan, Zhikun She
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. [Citation Graph (0, 0)][DBLP] HSCC, 2005, pp:573-589 [Conf]
- Stefan Ratschan, Zhikun She
Safety verification of hybrid systems by constraint propagation-based abstraction refinement. [Citation Graph (0, 0)][DBLP] ACM Trans. Embedded Comput. Syst., 2007, v:6, n:1, pp:- [Journal]
Safety Verification for Probabilistic Hybrid Systems. [Citation Graph (, )][DBLP]
Recursive and Backward Reasoning in the Verification on Hybrid Systems. [Citation Graph (, )][DBLP]
Reparameterization based consistent graph-structured linear programs. [Citation Graph (, )][DBLP]
Language-Based Abstraction Refinement for Hybrid System Verification. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|