Searching for authors named "Zhi Han" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Automatic Comparison of Execution Histories in the Debugging of Distributed Applications
- …Automatic Comparison of Execution Histories in the Debugging of Distributed Applications by Zhi Han…
- Cited by 2 (0 self) – Add To MetaCart
-
Automatic Comparison of Execution Histories in the Debugging of Distributed Applications
- … for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1999 c Zhi Han 1999 I…
- Add To MetaCart
-
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods
- … Stursberg # Ansgar Fehnker ## Zhi Han ## Bruce H. Krogh ## # University of Dortmund, Process Control Lab…
- Cited by 1 (1 self) – Add To MetaCart
-
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement
- … Clarke 1 , Ansgar Fehnker 2 , Zhi Han 2 , Bruce Krogh 2 , Olaf Stursberg 2,3 , and Michael Theobald 1 1…
- Cited by 13 (3 self) – Add To MetaCart
-
Verification of a Cruise Control System Using Counterexample-Guided Search
- … Ansgar Fehnker, b Zhi Han, b and Bruce H. Krogh b a University of Dortmund, Process Control Lab…
- Cited by 3 (2 self) – Add To MetaCart
-
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- … , ANSGAR FEHNKER 2 , ZHI HAN 2 , BRUCE KROGH 2 , JOËL OUAKNINE 1 , OLAF STURSBERG 2,3 , MICHAEL THEOBALD 1…
- Cited by 23 (4 self) – Add To MetaCart
Showing 1 through 6.
