Search the dblp DataBase
Gaoyan Xie :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Gaoyan Xie , Zhe Dang , Oscar H. Ibarra , Pierluigi San Pietro Dense Counter Machines and Verification Problems. [Citation Graph (0, 0)][DBLP ] CAV, 2003, pp:93-105 [Conf ] Gaoyan Xie , Zhe Dang Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. [Citation Graph (0, 0)][DBLP ] FATES, 2005, pp:170-186 [Conf ] Gaoyan Xie , Zhe Dang An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. [Citation Graph (0, 0)][DBLP ] FATES, 2004, pp:155-169 [Conf ] Zhe Dang , Oscar H. Ibarra , Pierluigi San Pietro , Gaoyan Xie Real-Counter Automata and Their Decision Problems. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2004, pp:198-210 [Conf ] Gaoyan Xie , Zhe Dang , Oscar H. Ibarra A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. [Citation Graph (0, 0)][DBLP ] ICALP, 2003, pp:668-680 [Conf ] Gaoyan Xie Decompositional Verification of Component-based Systems-A Hybrid Approach. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:414-417 [Conf ] Zhe Dang , Oscar H. Ibarra , Cheng Li , Gaoyan Xie On Model-Checking of P Systems. [Citation Graph (0, 0)][DBLP ] UC, 2005, pp:82-93 [Conf ] Gaoyan Xie , Cheng Li , Zhe Dang New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. [Citation Graph (0, 0)][DBLP ] CIAA, 2003, pp:163-175 [Conf ] Gaoyan Xie , Cheng Li , Zhe Dang Testability of Oracle Automata. [Citation Graph (0, 0)][DBLP ] CIAA, 2004, pp:331-332 [Conf ] Yu Li , YongSen Xu , Gaoyan Xie , Zhiyuan Zhan Strategies and Techniques of Freeze/Melt. [Citation Graph (0, 0)][DBLP ] TOOLS (31), 1999, pp:98-107 [Conf ] Gaoyan Xie , Zhe Dang Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Yu Li , Gaoyan Xie , YongSen Xu , Yi Yang The Security Problem of Nested Classes. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 2000, v:35, n:3, pp:34-38 [Journal ] Gaoyan Xie , YongSen Xu , Yu Li , Qian Li Codebugger - A Software Tools for Cooperative Debugging. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 2000, v:35, n:2, pp:54-60 [Journal ] Frederick T. Sheldon , Gaoyan Xie , Orest Pilskalns , Zhihe Zhou A Review of Some Rigorous Software Design and Analysis Tools. [Citation Graph (0, 0)][DBLP ] Software Focus, 2001, v:2, n:4, pp:140-150 [Journal ] Gaoyan Xie , Zhe Dang Testing Systems of Concurrent Black-boxes - an Automata-Theoretic and Decompositional Approach [Citation Graph (0, 0)][DBLP ] CoRR, 2005, v:0, n:, pp:- [Journal ] Search in 0.014secs, Finished in 0.014secs