`Travelled to:`

1 × Canada

1 × China

1 × The Netherlands

1 × United Kingdom

2 × Austria

2 × USA

`Collaborated with:`

Z.Dang C.Li O.H.Ibarra ∅ P.S.Pietro Y.Li Y.Xu Z.Zhan

`Talks about:`

system (4) automata (3) approach (3) verif (3) diophantin (2) decomposit (2) theoret (2) problem (2) linear (2) compon (2)

## Person: Gaoyan Xie

### DBLP: Xie:Gaoyan

### Contributed to:

### Wrote 8 papers:

- FATES-2005-XieD #approach #concurrent #testing
- Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach (GX, ZD), pp. 170–186.
- ASE-2004-Xie #approach #component #hybrid #verification
- Decompositional Verification of Component-based Systems — A Hybrid Approach (GX), pp. 414–417.
- CIAA-2004-XieLD #automaton #testing
- Testability of Oracle Automata (GX, CL, ZD), pp. 331–332.
- FATES-2004-XieD #approach #component #model checking
- An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components (GX, ZD), pp. 155–169.
- CAV-2003-XieDIP #problem #verification
- Dense Counter Machines and Verification Problems (GX, ZD, OHI, PSP), pp. 93–105.
- CIAA-2003-XieLD #complexity #equation #linear #problem #using
- New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations (GX, CL, ZD), pp. 163–175.
- ICALP-2003-XieDI #equation #infinity #polynomial #verification
- A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems (GX, ZD, OHI), pp. 668–680.
- TOOLS-ASIA-1999-LiXXZ
- Strategies and Techniques of Freeze/Melt (YL, YX, GX, ZZ), pp. 98–107.