Gaoyan Xie

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

Publications

Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
On the Decidability of Model-Checking for P Systems. J. Autom. Lang. Comb. 11 (3) (2006)
Gaoyan Xie, Zhe Dang
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. FATES (2005)
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
On Model-Checking of P Systems. UC (2005)
Gaoyan Xie, Zhe Dang
Testing Systems of Concurrent Black-boxes - an Automata-Theoretic and Decompositional Approach CoRR (2005)
Gaoyan Xie, Zhe Dang
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. FATES (2004)
Gaoyan Xie, Cheng Li, Zhe Dang
Testability of Oracle Automata. CIAA (2004)
Gaoyan Xie
Decompositional Verification of Component-based Systems-A Hybrid Approach. ASE (2004)
Gaoyan Xie, Zhe Dang
Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components CoRR (2004)
Gaoyan Xie, Cheng Li, Zhe Dang
Linear reachability problems and minimal solutions to linear Diophantine equation systems. Theor. Comput. Sci. 328 (1-2) (2004)
Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie
Real-Counter Automata and Their Decision Problems. FSTTCS (2004)
Gaoyan Xie, Cheng Li, Zhe Dang
New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. CIAA (2003)
Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
Dense Counter Machines and Verification Problems. CAV (2003)
Gaoyan Xie, Zhe Dang, Oscar H. Ibarra
A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. ICALP (2003)
Frederick T. Sheldon, Gaoyan Xie, Orest Pilskalns, Zhihe Zhou
A Review of Some Rigorous Software Design and Analysis Tools. Softw. Focus 2 (4) (2001)
Gaoyan Xie, YongSen Xu, Yu Li, Qian Li
Codebugger - A Software Tools for Cooperative Debugging. ACM SIGPLAN Notices 35 (2) (2000)
Yu Li, Gaoyan Xie, YongSen Xu, Yi Yang
The Security Problem of Nested Classes. ACM SIGPLAN Notices 35 (3) (2000)
Yu Li, YongSen Xu, Gaoyan Xie, Zhiyuan Zhan
Strategies and Techniques of Freeze/Melt. TOOLS (31) (1999)