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 × USA
1 × United Kingdom
Collaborated with:
S.Liu X.He Z.Sun Y.Huang P.J.Clarke G.W.v.d.Linden J.L.Ebert
Talks about:
model (2) embed (2) tool (2) architectur (1) scientif (1) function (1) xscript (1) softwar (1) predict (1) languag (1)

Person: Reng Zeng

DBLP DBLP: Zeng:Reng

Contributed to:

TACAS 20152015
SEKE 20122012
SEKE 20112011

Wrote 5 papers:

TACAS-2015-ZengSLH #precise #predict
A Method for Improving the Precision and Coverage of Atomicity Violation Predictions (RZ, ZS, SL, XH), pp. 116–130.
SEKE-2012-LiuZSH #analysis #architecture #modelling #named
SAMAT — A Tool for Software Architecture Modeling and Analysis (SL, RZ, ZS, XH), pp. 352–358.
SEKE-2011-LiuZH #modelling #petri net #pipes and filters
PIPE+ — A Modeling Tool for High Level Petri Nets (SL, RZ, XH), pp. 115–121.
SEKE-2011-LiuZH11a #classification #empirical #non-functional #requirements
An Empirical Study on Classification of Non-Functional Requirements (SL, RZ, XH), pp. 444–449.
SEKE-2011-ZengHLCHLE #embedded #named
SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems (RZ, YH, SL, PJC, XH, GWvdL, JLE), pp. 308–314.

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.