H. Hecht

V&V in defense and commercial projects

H. Hecht, M. Hecht, 1994, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering.

Designing micro-based systems for fail-safe travel: For reliable control of railroads, aircraft, and space vehicles, designers are harnessing the power of the microprocessor

H. Hecht, D. B. Turner, R. D. Burns, 1987, IEEE Spectrum.

Specification and review of flight critical digital systems

H. Hecht, J. Hung, 1985 .

Strategies for structured and fault-tolerant design of recovery programs

K. H. Kim, Mahmoud Naghibzadeh, H. Hecht, 1978, COMPSAC.

Integration of digital aircraft controls - Benefits and dangers

H. Hecht, J. Hung, 1985 .

Toward more effective testing for high assurance systems

H. Hecht, M. Hecht, D. Wallace, 1997, Proceedings 1997 High-Assurance Engineering Workshop.