Manchun's Homepage
	Manchun ZHENG PhD candidate of School of Computing at National University of Singapore Working in the PAT team Supervisor Prof. Jin Song Dong Mentors Prof. Jun Sun & Dr. Yang Liu Mailing address COM2-01-09, 15 Computing Drive School of Computing, National University of Singapore Republic of Singapore 117418 Email

My research interest includes:

• Modeling and verification of sensor networks
• Formal analysis and verification of implementations (program, source code)
• Formal modeling of embeded systems and distributed systems
• Explicit model checking techniques and reduction techniques (Partial order reduction, symmetry reduction)
• Symbolic model checking techniques: BDD

My PhD topic is to automatically model and verify sensor networks implemented by NesC language. Currently, I'm developing the model checker NesC@PAT to automatically model and verify sensor networks with NesC implementations.

• Explicit Model Checker for Sensor Networks (Finished)
• Partial Order Reduction (Finished)
• Case studies (Ongoing)
• Local Reasoning in Sensor Networks (Future work)
• Symbolic Model Checker for Sensor Networks (Future work)

• Journal Papers
• Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong and Manchun Zheng. Formal Modeling and Validation of Stateflow Diagrams. The International Journal on Software Tools for Technology Transfer (STTT). (Accepted)


• Conference Papers
• Manchun Zheng, Jun Sun, David Sanan, Yang Liu, Jin Song Dong, Yu Gu. Demo: Towards Bug-free Implementations for Wireless Sensor Networks. The 9th ACM Conference on Embedded Networked Sensor Systems (Sensys 2011), pages 407-408, Seattle, WA, USA, Nov 1 - 4, 2011. [pdf, bib]
• Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu: Towards a Model Checker for NesC and Wireless Sensor Networks. The 13th International Conference on Formal Engineering Methods (ICFEM 2011), pages 372-387, Durham, United Kingdom, October 25-28, 2011. [pdf, bib, slides]
• Luu Anh Tuan, Man Chun Zheng, Quan Thanh Tho. Modeling and Verification of Safety Critical Systems: A Case Study on Pacemaker. The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010). Singapore, June, 2010. [pdf, bib]
• Man Chun Zheng. An Automatic Approach to Verify Sensor Network Systems. The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010). pages 7-12, Singapore, June, 2010. [pdf, bib, slides]