1. Xiashen Gu and Hengming Zou, Minimally Invasive Concealment In NTFS, ISSRE 2009 (20th Intl. Symposium. on Software Reliability Engineering), Nov. 16-21, 2009, Bangalore, India.

2. Zhang Zhang and Hengming Zou, A Light-Weight Differential Incremental Backup Scheme, DSN 2009 (The 39th Intl. Conf .on Dependable Systems & Networks), June 29-July 2, Lisbon, Portugal.

3. Xiaoen Ju and Hengming Zou, Operating System Robustness Forecast and Selection, ISSRE 2008 (19th Intl. Sym. on Software Reliability Engineering), Nov.11-14, 2008, Seattle, USA. p107-116.

4. Xiaoen Ju and Hengming Zou, Robustness Measurement in OS Forecast and Selection, DSN 2008 (The 38th Intl. Conf .on Dependable Systems and Networks), June 24-27, 2008, Anchorage, USA.

5. Hengming Zou, Software Reference Modeling for High Reliability, Proceedings of AWACS 2006 (First Asian Working Conference on Verified Software), p77-80, Macau, October 29-31, 2006

6. Hengming Zou, Reference Modeling, IT Shield, and Beyond, Forum on Future Trend in Real-time Systems and Networking: Technology and Beyond. Ann Arbor, US, October 13-14, 2006.

7. Lin Yuan, Hengming Zou, Fast Rollup on Recursive Hierarchy in OLAP, WI 2007 (IEEE/ WIC/ACM Intl. Conf. on Web Intelligence), Hong Kong, Dec. 18-22, 2006

8. Hengming Zou. Self-surviving IT Systems, ICNC 2005 (IEEE Intl. Conference on Natural Computation), Lecture Notes of Computer Science, No. 3612, p988-995, August, 2005.

9. Hengming Zou and Henghui Zou. PDE-based Intrusion Forecast, ICNC 2005, Lecture Notes of Computer Science, No. 3612, p996-1000, August, 2005.

10. Lin Yuan, Hengming Zou, and Zhanhuai Li. A Solution to Ragged Dimension Problems in OLAP, ICNC 2005, LNCS, No. 3612, p1001-1005, August, 2005.

11. Hengming Zou. A Self-surviving Model for Disaster Prevention (post), ICCSA 2005 (Intl. Conference on Computational Science and Its Applications), Singapore, May 9-12, 2005.

12. Hengming Zou. A Temporal Consensus Model, PDCAT 2004, Lecture Notes of Computer Science, No. 3320, p484-492, Singapore, December 2004.

13. Hengming Zou, Nandit Soparkar, Farnam Jahanian. Probabilistic Data Consistency for Wide-Area Applications, ICDE 2000, p85, San Diego, California, USA. April 2000.

14. Hengming Zou and Farnam Jahanian. A Real Time Primary-backup Service, IEEE Transactions on Parallel and Distributed Systems, Vol.10, No.6, p533-548, June, 1999.

15. T. Abdelzaher, S. Dawson, W.-C. Feng, F. Jahanian, S. Johnson, A. Mehra, T. Mitton, A. Shaikh, K. Shin, Z. Wang, H. Zou, M. Bjorkland and P. Marron. Armada Middleware and Communication Services, Real-Time Systems, Vol. 16, No. 1, January 1999.

16. Hengming Zou, Farnam Jahanian. Optimization of a Real Time Primary-Backup Service, SRDS 1998 (Symposium on Reliable Distributed Systems), p177-185, West Lafayette, Indiana, Oct. 1998.

17. Hengming Zou, Farnam Jahanian. Real-Time Primary-backup Replication with Temporal Consistency Guarantees, ICDCS 1998, p48-57, Amsterdam, May 27-29, 1998.

18. T. Abdelzaher, S. Dawson, W.-C. Feng, F. Jahanian, S. Johnson, A. Mehra, T. Mitton, A. Shaikh, K. Shin, Z. Wang, H. Zou. Armada Middleware Suite, IEEE Workshop on Middleware for Distributed RT Systems and Services, San Francisco, CA, Dec. 1997.

19. Hengming Zou. Detect Termination of Distributed Computation in Arbitrary Network Topologies within Linear Time, ISPAN 1996, Beijing, China, June 1996.

Newest Papers                                   Newest Projects

Software Reference Modeling for High Reliability

The research aims to develop a software reference model to forecast software's maximum potential reliability before development work commences, and at the same time provide platform selections that satisfy the target reliability for the concerned software. Our approach studies the reliability impacts effected by ISA, OS, compilers, and programming languages, and combines the results into one reliability-distribution model.


HERMES (Highly Extensible and Reliable Modular Eco-Sphere) IT Shield aims to develop a virtual shield that protects IT systems from the impact of both natural and man-made disasters such as fires, earthquakes, floods, viruses, intrusions, terrorist attacks, and wars. By taking a holistic view of the issue of disaster defense for IT systems and developing a suite of targeted defensive capabilities, HERMES can achieve the effect of disaster preemption (provides uninterrupted service by neutralizing the effect of disasters), disaster recovery (quickly recovers from disaster-induced service interruption), disaster locking (blocks the spread of disaster impact to other components), and disaster abruption.

Copyright 2004-2010  All rights reserved.

Ph.D.- University of Michigan-Ann Arbor, USA
M.S. - Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China
B.S.-   Huazhong University of Science and Technology, Wuhan, China

Hengming Zou, Ph.D.
- In Pursuit of Absolute Simplicity 求于至简,归于永恒