3 papers
cs.SE2005
Testing Systems of Concurrent Black-boxes--an Automata-Theoretic and Decompositional Approach
Gaoyan Xie, Zhe Dang
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but could…
cs.LO2001
Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification
Zhe Dang
We consider pushdown timed automata (PTAs) that are timed automata (with dense clocks) augmented with a pushdown stack. A configuration of a PTA includes a control state, dense clo…
cs.LO2001
The Existence of -Chains for Transitive Mixed Linear Relations and Its Applications
Zhe Dang, Oscar Ibarra
We show that it is decidable whether a transitive mixed linear relation has an -chain. Using this result, we study a number of liveness verification problems for generalized tim…