Gaoyan Xie

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
On the Decidability of Model-Checking for P Systems.
J. Autom. Lang. Comb., 2006

2005
On Model-Checking of P Systems.
Proceedings of the Unconventional Computation, 4th International Conference, 2005

Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach.
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004
Linear reachability problems and minimal solutions to linear Diophantine equation systems.
Theor. Comput. Sci., 2004

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

Testability of Oracle Automata.
Proceedings of the Implementation and Application of Automata, 2004

Decompositional Verification of Component-based Systems-A Hybrid Approach.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Real-Counter Automata and Their Decision Problems.
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.
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.
Proceedings of the Implementation and Application of Automata, 2003

A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Dense Counter Machines and Verification Problems.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2001
A Review of Some Rigorous Software Design and Analysis Tools.
Softw. Focus, 2001

2000
Codebugger - A Software Tools for Cooperative Debugging.
ACM SIGPLAN Notices, 2000

The Security Problem of Nested Classes.
ACM SIGPLAN Notices, 2000

1999
Strategies and Techniques of Freeze/Melt.
Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999


  Loading...