Manchun's bib database

@inproceedings{ZhengSSLDG13,
  author    = {Manchun Zheng and
               David San{\'a}n and
               Jun Sun and
               Yang Liu and
               Jin Song Dong and
               Yu Gu},
  title     = {{State Space Reduction for Sensor Networks Using Two-Level
               Partial Order Reduction}},
  booktitle = {VMCAI},
  year      = {2013},
  pages     = {515-535},
}

@article {ChenSLDZ12,
   author = {Chen, Chunqing and Sun, Jun and Liu, Yang and Dong, Jin and Zheng, Manchun},
   title = {Formal modeling and validation of Stateflow diagrams},
   journal = {International Journal on Software Tools for Technology Transfer (STTT)},
   publisher = {Springer Berlin / Heidelberg},
   issn = {1433-2779},
   pages = {653-671},
   volume = {14},
   issue = {6},
   year = {2012}
}

@inproceedings{ZhengSSLDG11,
  author    = {Manchun Zheng and
               Jun Sun and
               David San{\'a}n and
               Yang Liu and
               Jin Song Dong and
               Yu Gu},
  title     = {{Towards bug-free implementation for wireless sensor networks}},
  booktitle = {SenSys},
  year      = {2011},
  pages     = {407-408}
}

@inproceedings{ZhengSLDG11,
  author    = {Manchun Zheng and
               Jun Sun and
               Yang Liu and
               Jin Song Dong and
               Yu Gu},
  affiliation = {School of Computing, National University of Singapore, Singapore},
  title = {Towards a Model Checker for NesC and Wireless Sensor Networks},
  booktitle = {Formal Methods and Software Engineering},
  series = {Lecture Notes in Computer Science},
  editor = {Qin, Shengchao and Qiu, Zongyan},
  publisher = {Springer Berlin / Heidelberg},
  isbn = {978-3-642-24558-9},
  pages = {372-387},
  volume = {6991},
  year = {2011}
}

@article{10.1109/SSIRI.2010.28,
author = {Luu Anh Tuan and Man Chun Zheng and Quan Thanh Tho},
title = {Modeling and Verification of Safety Critical Systems: A Case Study on Pacemaker},
journal ={Secure System Integration and Reliability Improvement},
volume = {0},
isbn = {978-0-7695-4086-3},
year = {2010},
pages = {23-32},
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI.2010.28},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@article{10.1109/SSIRI-C.2010.12,
author = {Man Chun Zheng},
title = {An Automatic Approach to Verify Sensor Network Systems},
journal ={Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on},
volume = {0},
isbn = {978-0-7695-4087-0},
year = {2010},
pages = {7-12},
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.12},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}