A distributed fault tolerant architecture for nuclear reactor and other critical process control applications M Hecht, J Agron, H Hecht, KH Kim Digest of Papers. Fault-Tolerant Computing: The Twenty-First International …, 1991 | 56 | 1991 |
Software reliability in the system context H Hecht, M Hecht IEEE Transactions on Software Engineering, 51-58, 1986 | 53 | 1986 |
Evaluation of software dependability based on stability test data D Tang, M Hecht Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of …, 1995 | 34 | 1995 |
Quantitative reliability and availability assessment for critical systems including software M Hecht, D Tang, H Hecht, RW Brill Proceedings of COMPASS'97: 12th Annual Conference on Computer Assurance, 147-158, 1997 | 33 | 1997 |
MEADEP: A dependability evaluation tool for engineers D Tang, M Hecht, J Miller, J Handal IEEE Transactions on Reliability 47 (4), 443-450, 1998 | 32 | 1998 |
Automated generation of failure modes and effects analysis from SysML models M Hecht, E Dimpfl, J Pinchak 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 31 | 2014 |
A tool set for integrated software and hardware dependability analysis using the architecture analysis and design language (aadl) and error model annex M Hecht, A Lam, C Vogl 2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011 | 29 | 2011 |
Fault-tolerant robotic system for critical applications KS Tso, M Hecht, NI Marzwell [1993] Proceedings IEEE International Conference on Robotics and Automation …, 1993 | 29 | 1993 |
Reliability Prediction for Space Craft H Hecht, M Hecht Rome Air Development Center, 1985 | 29 | 1985 |
Use of importance sampling and related techniques to measure very high reliability software M Hecht, H Hecht 2000 IEEE Aerospace Conference. Proceedings (Cat. No. 00TH8484) 4, 533-546, 2000 | 28 | 2000 |
A Distributed Fault Tolerant Architecture for Nuclear Reactor Control and Safety Functions. M Hecht, J Agron, S Hochhauser RTSS, 214-221, 1989 | 25 | 1989 |
Adaptive fault tolerance for spacecraft M Hecht, H Hecht, E Shokri 2000 IEEE Aerospace Conference. Proceedings (Cat. No. 00TH8484) 5, 521-533, 2000 | 24 | 2000 |
Software testing in space programs M Hecht, D Buettner Crosslink, 31-35, 2005 | 23 | 2005 |
Reliability/availability modeling and prediction for e-commerce and other Internet information systems M Hecht Annual Reliability and Maintainability Symposium. 2001 Proceedings …, 2001 | 22 | 2001 |
Toward more effective testing for high assurance systems H Hecht, M Hecht, D Wallace Proceedings 1997 High-Assurance Engineering Workshop, 176-181, 1997 | 22 | 1997 |
Computer aided software FMEA for unified modeling language based software H Hecht, X An, M Hecht Annual Symposium Reliability and Maintainability, 2004-RAMS, 243-248, 2004 | 21 | 2004 |
Review guidelines for software languages for use in nuclear power plant systems H Hetcht, M Hecht, S Graff NUREG/CR 6463, 1997 | 15 | 1997 |
MEADEP and its applications in evaluating dependability for air traffic control systems D Tang, M Hecht, J Handal, L Czekalski Annual Reliability and Maintainability Symposium. 1998 Proceedings …, 1998 | 14 | 1998 |
Failure propagation modeling in FMEAs for reliability, safety, and cybersecurity using SysML M Hecht, D Baum Procedia Computer Science 153, 370-377, 2019 | 12 | 2019 |
Experience in using MEADEP D Tang, M Hecht, A Rosin, J Handal Annual Reliability and Maintainability. Symposium. 1999 Proceedings (Cat. No …, 1999 | 12 | 1999 |