BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Greece
1 × South Korea
1 × Turkey
1 × United Kingdom
Collaborated with:
H.Guo S.Wang G.Pu X.Zhao H.P.Siy H.Zhu Q.Xu C.Ma S.Qin J.He W.Yi
Talks about:
approach (2) hardwar (2) fault (2) bpel (2) structur (1) guarante (1) softwar (1) program (1) pattern (1) multipl (1)

Person: Zongyan Qiu

DBLP DBLP: Qiu:Zongyan

Contributed to:

SAC 20142014
ICTSS 20132013
SEFM 20122012
FM 20052005
SEFM 20042004

Wrote 5 papers:

SAC-2014-GuoQS
Locating fault-inducing patterns from structural inputs (HFG, ZQ, HPS), pp. 1100–1107.
ICTSS-2013-GuoQ #automation #generative #grammarware #testing
Automatic Grammar-Based Test Generation (HFG, ZQ), pp. 17–32.
SEFM-2012-ZhuXMQQ #approach #concurrent #source code #verification
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs (HZ, QX, CM, SQ, ZQ), pp. 172–187.
FM-2005-QiuWPZ #fault #semantics
Semantics of BPEL4WS-Like Fault and Compensation Handling (ZQ, SW, GP, XZ), pp. 350–365.
SEFM-2004-GeguangXSZHY #approach #clustering #hardware #multi
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model (GP, XZ, SW, ZQ, JH, WY), pp. 376–385.
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.