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
DBLP: Liu:Su
Contributed to:
2015
2015
201420122011Wrote 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.