Strategies and Techniques of Freeze/Melt. - Yu Li; YongSen Xu; Gaoyan Xie; Zhiyuan Zhan (TOOLS (31), 1999)

The Security Problem of Nested Classes. - Yu Li; Gaoyan Xie; YongSen Xu; Yi Yang (ACM SIGPLAN Notices, 2000)

Codebugger - A Software Tools for Cooperative Debugging. - Gaoyan Xie; YongSen Xu; Yu Li; Qian Li (ACM SIGPLAN Notices, 2000)

A Review of Some Rigorous Software Design and Analysis Tools. - Frederick T. Sheldon; Gaoyan Xie; Orest Pilskalns; Zhihe Zhou (Softw. Focus, 2001)

Dense Counter Machines and Verification Problems. - Gaoyan Xie; Zhe Dang; Oscar H. Ibarra; Pierluigi San Pietro (CAV, 2003)

A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. - Gaoyan Xie; Zhe Dang; Oscar H. Ibarra (ICALP, 2003)

New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. - Gaoyan Xie; Cheng Li; Zhe Dang (CIAA, 2003)

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. - Gaoyan Xie; Zhe Dang (FATES, 2004)

Real-Counter Automata and Their Decision Problems. - Zhe Dang; Oscar H. Ibarra; Pierluigi San Pietro; Gaoyan Xie (FSTTCS, 2004)

Decompositional Verification of Component-based Systems-A Hybrid Approach. - Gaoyan Xie (ASE, 2004)

Testability of Oracle Automata. - Gaoyan Xie; Cheng Li; Zhe Dang (CIAA, 2004)

Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components - Gaoyan Xie; Zhe Dang (CoRR, 2004)

Linear reachability problems and minimal solutions to linear Diophantine equation systems. - Gaoyan Xie; Cheng Li; Zhe Dang (Theor. Comput. Sci., 2004)

Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. - Gaoyan Xie; Zhe Dang (FATES, 2005)

On Model-Checking of P Systems. - Zhe Dang; Oscar H. Ibarra; Cheng Li; Gaoyan Xie (UC, 2005)

On the Decidability of Model-Checking for P Systems. - Zhe Dang; Oscar H. Ibarra; Cheng Li; Gaoyan Xie (J. Autom. Lang. Comb., 2006)