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:
2005
2004
20042004
20032003
2003
1999Wrote 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.