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: Zeng:Reng
Contributed to:
2015
20122011Wrote 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.