Zhe Dang
Zhe Dang
Verified email at eecs.wsu.edu
Title
Cited by
Cited by
Year
Binary reachability analysis of discrete pushdown timed automata
Z Dang, OH Ibarra, T Bultan, RA Kemmerer, J Su
International Conference on Computer Aided Verification, 69-84, 2000
832000
Pushdown timed automata: a binary reachability characterization and safety verification
Z Dang
Theoretical Computer Science 302 (1-3), 93-121, 2003
632003
Using the ASTRAL model checker for cryptographic protocol analysis
Z Dang, RA Kemmerer
Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997
601997
Catalytic P systems, semilinear sets, and vector addition systems
OH Ibarra, Z Dang, O Egecioglu
Theoretical Computer Science 312 (2-3), 379-399, 2004
542004
Counter machines and verification problems
OH Ibarra, J Su, Z Dang, T Bultan, RA Kemmerer
Theoretical Computer Science 289 (1), 165-189, 2002
492002
Counter machines: decidable properties and applications to verification problems
OH Ibarra, J Su, Z Dang, T Bultan, R Kemmerer
International Symposium on Mathematical Foundations of Computer Science, 426-435, 2000
472000
Using the ASTRAL model checker to analyze Mobile IP
Z Dang, RA Kemmerer
Proceedings of the 21st International Conference on Software Engineering …, 1999
411999
Binary reachability analysis of pushdown timed automata with dense clocks
Z Dang
International Conference on Computer Aided Verification, 506-517, 2001
372001
On stateless automata and P systems
L Yang, Z Dang, OH Ibarra
International Journal of Foundations of Computer Science 19 (05), 1259-1276, 2008
342008
Characterizations of catalytic membrane computing systems
OH Ibarra, Z Dang, O Egecioglu, G Saxena
International Symposium on Mathematical Foundations of Computer Science, 480-489, 2003
322003
Composability of infinite-state activity automata
Z Dang, OH Ibarra, J Su
International Symposium on Algorithms and Computation, 377-388, 2004
282004
On P Systems Operating in Sequential Mode.
Z Dang, OH Ibarra
DCFS, 164-177, 2004
272004
Liveness verification of reversal-bounded multicounter machines with a free counter
Z Dang, OH Ibarra, P San Pietro
International Conference on Foundations of Software Technology and …, 2001
262001
The design and analysis of real-time systems using the ASTRAL software development environment
PZ Kolano, Z Dang, RA Kemmerer
Annals of Software Engineering 7 (1), 177-210, 1999
261999
A solvable class of quadratic diophantine equations with applications to verification of infinite-state systems
G Xie, Z Dang, OH Ibarra
International Colloquium on Automata, Languages, and Programming, 668-680, 2003
252003
On the solvability of a class of diophantine equations and applications
OH Ibarra, Z Dang
Theoretical Computer Science 352 (1-3), 342-346, 2006
242006
On the decidability of model-checking for P systems
Z Dang, OH Ibarra, C Li, G Xie
J. Autom. Lang. Comb. 11 (3), 279-298, 2006
202006
Presburger liveness verification of discrete timed automata
Z Dang, P San Pietro, RA Kemmerer
Theoretical Computer Science 299 (1-3), 413-438, 2003
202003
A near-optimal protocol for the grouping problem in RFID systems
X Wang, Z Liu, Y Gao, X Zheng, Z Dang, X Shen
IEEE Transactions on Mobile Computing, 2019
182019
Information gain of black-box testing
L Yang, Z Dang, TR Fischer
Formal aspects of computing 23 (4), 513-539, 2011
182011
The system can't perform the operation now. Try again later.
Articles 1–20