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 × Greece
1 × United Kingdom
2 × USA
Collaborated with:
X.He R.Zeng Z.Sun F.R.Ortega F.Hernandez A.Barreto N.Rishe M.Adjouadi Y.Huang P.J.Clarke G.W.v.d.Linden J.L.Ebert
Talks about:
petri (3) model (3) tool (3) net (3) system (2) level (2) embed (2) pipe (2) high (2) architectur (1)

Person: Su Liu


Contributed to:

SEKE 20152015
TACAS 20152015
HCI p1 20142014
SEKE 20122012
SEKE 20112011

Wrote 7 papers:

SEKE-2015-LiuH #petri net #pipes and filters #verification
PIPE+Verifier — A Tool for Analyzing High Level Petri Nets (SL, XH), pp. 575–580.
TACAS-2015-ZengSLH #precise #predict
A Method for Improving the Precision and Coverage of Atomicity Violation Predictions (RZ, ZS, SL, XH), pp. 116–130.
HCI-TMT-2014-OrtegaLHBRA #formal method #modelling #multi #named #petri net #using
PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net (FRO, SL, FH, AB, NR, MA), pp. 361–372.
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.