| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Linmin Yang, Zhe Dang, Thomas R. Fischer |
Information gain of black-box testing.  |
Formal Asp. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cewei Cui, Zhe Dang, Thomas R. Fischer |
Typical Paths of a Graph. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Linmin Yang, Yong Wang, Zhe Dang |
Automata and processes on multisets of communicating objects. |
Natural Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linmin Yang, Zhe Dang, Oscar H. Ibarra |
Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing. |
Natural Computing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Linmin Yang, Zhe Dang, Thomas R. Fischer, Min Sik Kim, Li Tan |
Entropy and software systems: towards an information-theoretic foundation of software testing. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linmin Yang, Zhe Dang, Thomas R. Fischer |
Optimal Software Testing - A Cooling Down Process. |
FCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Linmin Yang, Zhe Dang, Oscar H. Ibarra |
On Stateless Automata and P Systems. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang, Linmin Yang |
On Counter Machines, Reachability Problems, and Diophantine Equations. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Linmin Yang, Yong Wang, Zhe Dang |
Automata on Multisets of Communicating Objects. |
UC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Linmin Yang, Zhe Dang, Oscar H. Ibarra |
Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing. |
UC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang |
On the solvability of a class of diophantine equations and applications. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang |
On the Computational Power of 1-Deterministic and Sequential P Systems. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie |
On the Decidability of Model-Checking for P Systems. |
Journal of Automata, Languages and Combinatorics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Shuohao Zhang, Curtis E. Dyreson, Zhe Dang |
Compacting XML Data. |
DASFAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang (eds.) |
Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings |
Developments in Language Theory |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cheng Li, Zhe Dang |
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun |
On two-way nondeterministic finite automata with one reversal-bounded counter. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Jianwen Su |
On composition and lookahead delegation of e-services modeled by automata, . |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra |
On one-membrane P systems operating in sequential mode. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang |
On various notions of parallelism in P Systems. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaoyan Xie, Zhe Dang |
Testing Systems of Concurrent Black-boxes - an Automata-Theoretic and Decompositional Approach |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen |
Signaling P Systems and Verification Problems. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie |
On Model-Checking of P Systems. |
UC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaoyan Xie, Zhe Dang |
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang |
On Sequential and 1-Deterministic P Systems. |
COCOON |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang |
On Symport/Antiport P Systems and Semilinear Sets. |
Workshop on Membrane Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu |
Catalytic P systems, semilinear sets, and vector addition systems. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer |
Past pushdown timed automata and safety verification. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang |
On two-way FA with monotonic counters and quadratic Diophantine equations. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaoyan Xie, Zhe Dang |
Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang |
The Power of Maximal Parallelism in P Systems. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaoyan Xie, Zhe Dang |
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra |
On P Systems Operating in Sequential Mode. |
DCFS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Jianwen Su |
Composability of Infinite-State Activity Automata. |
ISAAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaoyan Xie, Cheng Li, Zhe Dang |
Testability of Oracle Automata. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie |
Real-Counter Automata and Their Decision Problems. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer |
Presburger liveness verification of discrete timed automata. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang, Pierluigi San Pietro |
Verification in loosely synchronous queue-connected discrete timed automata. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang |
Pushdown timed automata: a binary reachability characterization and safety verification. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer |
Generalized discrete timed automata: decidable approximations for safety verificatio. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang |
Eliminating the storage tape in reachability constructions. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaoyan Xie, Zhe Dang, Oscar H. Ibarra |
A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu, Gaurav Saxena |
Characterizations of Catalytic Membrane Computing Systems. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
catalytic system, vector addition system, reachability problem, membrane computing, semilinear set |
| 1 | Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro |
Dense Counter Machines and Verification Problems. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi San Pietro, Zhe Dang |
Automatic Verification of Multi-queue Discrete Timed Automata. |
COCOON |
2003 |
DBLP DOI BibTeX RDF |
infinite-state model-checking, real-time systems, Timed Automata |
| 1 | Oscar H. Ibarra, Zhe Dang (eds.) |
Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings |
CIAA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gaoyan Xie, Cheng Li, Zhe Dang |
New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer |
Counter Machines and Verification Problems. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra |
The Existence of w-Chains for Transitive Mixed Linear Relations and Its Applications. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang, Zhi-Wei Sun |
Safety Verification for Two-Way Finite Automata with Monotonic Counters. |
Developments in Language Theory |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun |
On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter. |
ISAAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang |
The Existence of $\omega$-Chains for Transitive Mixed Linear Relations and Its Applications |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Zhe Dang |
Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer |
On Presburger Liveness of Discrete Timed Automata. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang |
Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer |
Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. |
COCOON |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang |
On Removing the Pushdown Stack in Reachability Constructions. |
ISAAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer |
Past Pushdown Timed Automata. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro |
Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer |
Conter Machines: Decidable Properties and Applications to Verification Problems. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su |
Binary Reachability Analysis of Discrete Pushdown Timed Automata. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Richard A. Kemmerer |
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
real-time systems, model checking, formal methods, state machines, timing requirements, formal specification and verification, ASTRAL |
| 1 | Paul Z. Kolano, Zhe Dang, Richard A. Kemmerer |
The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment. |
Ann. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Richard A. Kemmerer |
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Richard A. Kemmerer |
Using the ASTRAL Model Checker to Analyze Mobile IP. |
ICSE |
1999 |
DBLP BibTeX RDF |
Encryption protocols, real-time systems, formal methods, state machines, timing requirements, formal specification and verification, ASTRAL |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")