Gaoyan Xie

发表

Real-Counter Automata and Their Decision Problems (Extended Abstract)

O. Ibarra, P. S. Pietro, Z. Dang, 2004 .

Quadratic Diophantine Equations and Verification of Infinite-State Systems

O. Ibarra, Z. Dang, Gaoyan Xie, 2003 .

Fundamental studies on a decompositional and hybrid approach to automatic verification of component-based systems

Gaoyan Xie, Gaoyan Xie, 2005 .

Reachability Problems for Dense Counter Machines

O. Ibarra, P. S. Pietro, Z. Dang, 2003 .

A Review of Some Rigorous Software Design and Analysis Tools

Gaoyan Xie, Frederick T. Sheldon, Orest Pilskalns, 2001, Softw. Focus.

Testability of Oracle Automata

Gaoyan Xie, Zhe Dang, Cheng Li, 2004, CIAA.

Linear reachability problems and minimal solutions to linear Diophantine equation systems

Gaoyan Xie, Zhe Dang, Cheng Li, 2004, Theor. Comput. Sci..

Decompositional verification of component-based systems-a hybrid approach

Gaoyan Xie, Gaoyan Xie, 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..

Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components

Gaoyan Xie, Zhe Dang, Z. Dang, 2004, ArXiv.

New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations

Gaoyan Xie, Zhe Dang, Cheng Li, 2003, CIAA.

A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems

Oscar H. Ibarra, Gaoyan Xie, Zhe Dang, 2003, ICALP.

Real-Counter Automata and Their Decision Problems

Oscar H. Ibarra, Gaoyan Xie, Zhe Dang, 2004, FSTTCS.

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

Gaoyan Xie, Zhe Dang, Z. Dang, 2004, FATES.

On the Decidability of Model-Checking for P Systems

Oscar H. Ibarra, Gaoyan Xie, Zhe Dang, 2006, J. Autom. Lang. Comb..