Searching for authors named "Zhe Dang" – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification
- …Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification ? Zhe Dang…
- Cited by 7 (6 self) – Add To MetaCart
-
Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks
- …Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks Zhe Dang School…
- Cited by 11 (10 self) – Add To MetaCart
-
An automata-theoretic approach for model-checking systems with unspecified components
- … and Zhe Dang School of Electrical Engineering and Computer Science, Washington State University, Pullman…
- Cited by 1 (0 self) – Add To MetaCart
-
Dynamic Environment Generations for an ASTRAL Process
- …Dynamic Environment Generations for an ASTRAL Process Zhe Dang and Richard A. Kemmerer Reliable…
- Add To MetaCart
-
New complexity results for some linear counting problems using minimal solutions to linear diophantine equations. volume 2759
- … Diophantine Equations (Extended Abstract) Gaoyan Xie, Cheng Li and Zhe Dang School of Electrical Engineering…
- Add To MetaCart
-
Approximation Techniques for Using the ASTRAL Symbolic Model Checker as a Specification Debugger
- … Zhe Dang The School of Electrical Engineering and Computer Science Washington State University…
- Add To MetaCart
-
The Existence of omega-Chains for Transitive Mixed Linear Relations and Its Applications
- … The Existence of !-Chains for Transitive Mixed Linear Relations and Its Applications Zhe Dang School…
- Add To MetaCart
-
Using the ASTRAL Model Checker for Cryptographic Protocol Analysis
- …Using the ASTRAL Model Checker for Cryptographic Protocol Analysis Zhe Dang Richard A. Kemmerer…
- Cited by 26 (8 self) – Add To MetaCart
-
Three Approximation Techniques for ASTRAL Symbolic Model Checking of Infinite State Real-time Systems
- …-time Systems Zhe Dang and Richard A. Kemmerer Reliable Software Group Computer Science Department University…
- Cited by 4 (3 self) – Add To MetaCart
-
A symbolic model checker for testing ASTRAL real-time specifications," RTCSA'99
- …-level formal specification language for real-time systems. It is provided with structuring mech- Zhe Dang…
- Cited by 5 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
