BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zhu:Min

Contributed to:

SEKE 20122012
SAC 20112011
OSDI 20102010

Wrote 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.

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.