Travelled to:1 × Canada
1 × Taiwan
Collaborated with:J.Li B.Li Q.Chen S.Ji X.Zhai M.Xia P.Yu S.Gao Z.Qi H.Guan M.Yu Q.Lin K.Chen B.Li L.Liu Y.Chen J.Nakajima S.Yang Y.Dong T.Koponen M.Casado N.Gude J.Stribling L.Poutievski R.Ramanathan Y.Iwata H.Inoue T.Hama S.Shenker
Talks about:virtual (4) hybrid (3) verif (3) base (3) use (3) differenti (2) platform (2) protect (2) logic (2) dynam (2)
Person: Min Zhu
DBLP: Zhu:Min
Contributed to:
2012
2011
2010Wrote 7 papers:
- SEKE-2012-LiLCZJZ #adaptation #continuation #self #verification
- A HybridUML and QdL Based Verification Method for CPS Self-Adaptability (JL, BL, QC, MZ, SJ, XZ), pp. 239–242.
- SEKE-2012-ZhaiLZLCJ #algebra #cyber-physical #logic #verification
- Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic (XZ, BL, MZ, JL, QC, SJ), pp. 231–234.
- SEKE-2012-ZhuLLCZJ #continuation #difference #logic #using #verification
- HybridUML Based Verification of CPS Using Differential Dynamic Logic (MZ, BL, JL, QC, XZ, SJ), pp. 235–238.
- SAC-2011-LinXYYZGQCG #anti #hardware #named #using
- SPAD: software protection through anti-debugging using hardware virtualization (QL, MX, MY, PY, MZ, SG, ZQ, KC, HG), pp. 623–624.
- SAC-2011-NakajimaLYZGXYDQCG #hybrid #optimisation #using #virtual machine
- Optimizing virtual machines using hybrid virtualization (JN, QL, SY, MZ, SG, MX, PY, YD, ZQ, KC, HG), pp. 573–578.
- SAC-2011-ZhuYXLYGQLCG #monitoring #named #platform #security
- VASP: virtualization assisted security monitor for cross-platform protection (MZ, MY, MX, BL, PY, SG, ZQ, LL, YC, HG), pp. 554–559.
- OSDI-2010-KoponenCGSPZRIIHS #distributed #framework #named #network #scalability
- Onix: A Distributed Control Platform for Large-scale Production Networks (TK, MC, NG, JS, LP, MZ, RR, YI, HI, TH, SS), pp. 351–364.