Travelled to:1 × Canada
1 × Sweden
1 × USA
Collaborated with:J.Ma ∅ M.Jiang M.Zhou Y.Zhou T.Y.Chen F.Kuo Z.Zhou
Talks about:model (4) system (3) formal (2) mobil (2) test (2) architectur (1) transform (1) metamorph (1) program (1) analysi (1)
Person: Zuohua Ding
DBLP: Ding:Zuohua
Contributed to:
2015
201420122006Wrote 4 papers:
- CASE-2015-JiangDZZ #formal method #mobile #modelling #verification
- Formal modeling and verification of secure mobile agent systems (MJ, ZD, MZ, YZ), pp. 545–550.
- SEKE-2014-JiangCKZD #model transformation #source code #testing #using
- Testing Model Transformation Programs using Metamorphic Testing (MJ, TYC, FCK, ZZ, ZD), pp. 94–99.
- SEKE-2012-DingM #analysis #fuzzy #modelling
- Modeling and Analysis of Switched Fuzzy Systems (ZD, JM), pp. 135–138.
- SEKE-2006-Ding #architecture #mobile
- A Formal Architectural Model For Mobile Service Systems (ZD), pp. 670–675.