Travelled to:1 × Italy
1 × Russia
Collaborated with:Y.Liu J.Sun J.S.Dong M.S.Rogers Z.Luo M.B.Dwyer S.F.Siegel S.Liu B.Wadhwa D.Sanán Y.Gu
Talks about:reduct (2) state (2) parallel (1) program (1) partial (1) network (1) contain (1) checker (1) sensor (1) machin (1)
Person: Manchun Zheng
DBLP: Zheng:Manchun
Contributed to:
2013
2013
2015Wrote 3 papers:
- ESEC-FSE-2013-LiuL0ZWD #model checking #named #self #state machine #uml
- USMMC: a self-contained model checker for UML state machines (SL, YL, JS, MZ, BW, JSD), pp. 623–626.
- VMCAI-2013-ZhengS0LD0 #network #partial order #reduction #using
- State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction (MZ, DS, JS, YL, JSD, YG), pp. 515–535.
- ASE-2015-ZhengRLDS #named #parallel #source code #verification
- CIVL: Formal Verification of Parallel Programs (MZ, MSR, ZL, MBD, SFS), pp. 830–835.