( en | de | ru )

 

Disambiguation of "Xie, Gaoyan"

Author of the publication

copydeleteadd this publication to your clipboard
A Review of Some Rigorous Software Design and Analysis Tools.

, , , and . Softw. Focus, 2 (4): 140-150 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jian Xie

Yangpei Xie

Zhenwei Xie

Qian Xie

Mingliang Xie

 

Other publications of authors with the same name

A Review of Some Rigorous Software Design and Analysis Tools., , , and . Softw. Focus, 2 (4): 140-150 (2001)Dense Counter Machines and Verification Problems., , , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 93-105. Springer, (2003)An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components., and . FATES, volume 3395 of Lecture Notes in Computer Science, page 155-169. Springer, (2004)Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach., and . FATES, volume 3997 of Lecture Notes in Computer Science, page 170-186. Springer, (2005)A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems., , and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 668-680. Springer, (2003)Decompositional Verification of Component-based Systems-A Hybrid Approach.. ASE, page 414-417. IEEE Computer Society, (2004)Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components, and . CoRR, (2004)Real-Counter Automata and Their Decision Problems., , , and . FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 198-210. Springer, (2004)