BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Xie:Gaoyan

Contributed to:

FATES 20052005
ASE 20042004
CIAA 20042004
FATES 20042004
CAV 20032003
CIAA 20032003
ICALP 20032003
TOOLS Asia 19991999

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.
Strategies and Techniques of Freeze/Melt (YL, YX, GX, ZZ), pp. 98–107.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.