Gaoyan Xie

According to our database, Gaoyan Xie authored at least 16 papers between 1999 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

On the Decidability of Model-Checking for P Systems.

Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie

J. Autom. Lang. Comb., 2006

2005

On Model-Checking of P Systems.

Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie

Proceedings of the Unconventional Computation, 4th International Conference, 2005

Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach.

Gaoyan Xie, Zhe Dang

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004

Linear reachability problems and minimal solutions to linear Diophantine equation systems.

Gaoyan Xie, Cheng Li, Zhe Dang

Theor. Comput. Sci., 2004

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

Gaoyan Xie, Zhe Dang

CoRR, 2004

Testability of Oracle Automata.

Gaoyan Xie, Cheng Li, Zhe Dang

Proceedings of the Implementation and Application of Automata, 2004

Decompositional Verification of Component-based Systems-A Hybrid Approach.

Gaoyan Xie

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Real-Counter Automata and Their Decision Problems.

Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

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

Gaoyan Xie, Zhe Dang

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003

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

Gaoyan Xie, Cheng Li, Zhe Dang

Proceedings of the Implementation and Application of Automata, 2003

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

Gaoyan Xie, Zhe Dang, Oscar H. Ibarra

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Dense Counter Machines and Verification Problems.

Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2001

A Review of Some Rigorous Software Design and Analysis Tools.

Frederick T. Sheldon, Gaoyan Xie, Orest Pilskalns, Zhihe Zhou

Softw. Focus, 2001

2000

Codebugger - A Software Tools for Cooperative Debugging.

Gaoyan Xie, YongSen Xu, Yu Li, Qian Li

ACM SIGPLAN Notices, 2000

The Security Problem of Nested Classes.

Yu Li, Gaoyan Xie, YongSen Xu, Yi Yang

ACM SIGPLAN Notices, 2000

1999

Strategies and Techniques of Freeze/Melt.

Yu Li, YongSen Xu, Gaoyan Xie, Zhiyuan Zhan

Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999