dblp.uni-trier.dewww.uni-trier.de

Gaoyan Xie

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
16 Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie: On the Decidability of Model-Checking for P Systems. Journal of Automata, Languages and Combinatorics 11(3): 279-298 (2006)
2005
15EEGaoyan Xie, Zhe Dang: Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. FATES 2005: 170-186
14EEZhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie: On Model-Checking of P Systems. UC 2005: 82-93
13EEGaoyan Xie, Zhe Dang: Testing Systems of Concurrent Black-boxes - an Automata-Theoretic and Decompositional Approach CoRR abs/cs/0502040: (2005)
2004
12EEGaoyan Xie: Decompositional Verification of Component-based Systems-A Hybrid Approach. ASE 2004: 414-417
11EEGaoyan Xie, Cheng Li, Zhe Dang: Testability of Oracle Automata. CIAA 2004: 331-332
10EEGaoyan Xie, Zhe Dang: An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. FATES 2004: 155-169
9EEZhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie: Real-Counter Automata and Their Decision Problems. FSTTCS 2004: 198-210
8EEGaoyan Xie, Zhe Dang: Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components CoRR cs.SE/0404037: (2004)
2003
7EEGaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro: Dense Counter Machines and Verification Problems. CAV 2003: 93-105
6EEGaoyan Xie, Cheng Li, Zhe Dang: New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. CIAA 2003: 163-175
5EEGaoyan Xie, Zhe Dang, Oscar H. Ibarra: A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. ICALP 2003: 668-680
2001
4 Frederick T. Sheldon, Gaoyan Xie, Orest Pilskalns, Zhihe Zhou: A Review of Some Rigorous Software Design and Analysis Tools. Software Focus 2(4): 140-150 (2001)
2000
3 Gaoyan Xie, YongSen Xu, Yu Li, Qian Li: Codebugger - A Software Tools for Cooperative Debugging. SIGPLAN Notices 35(2): 54-60 (2000)
2 Yu Li, Gaoyan Xie, YongSen Xu, Yi Yang: The Security Problem of Nested Classes. SIGPLAN Notices 35(3): 34-38 (2000)
1999
1EEYu Li, YongSen Xu, Gaoyan Xie, Zhiyuan Zhan: Strategies and Techniques of Freeze/Melt. TOOLS (31) 1999: 98-107

Coauthor Index

1Zhe Dang [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16]
2Oscar H. Ibarra [5] [7] [9] [14] [16]
3Cheng Li [6] [11] [14] [16]
4Qian Li [3]
5Yu Li [1] [2] [3]
6Pierluigi San Pietro [7] [9]
7Orest Pilskalns [4]
8Frederick T. Sheldon [4]
9YongSen Xu [1] [2] [3]
10Yi Yang [2]
11Zhiyuan Zhan [1]
12Zhihe Zhou [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)