Gaoyan Xie

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