Myron Hecht

22 papers A 4B 2C 1Journal 4Unranked 11
YearRankTypeTitle / Venue / Authors
2019 B conf
Automated Failure Modes and Effects Analysis using SysML for Industrial Computer Network Reliability and Cybersecurity.
IM
Myron Hecht, David Baum, Joe Betser
2016 — conf
A Model Based Systems Engineering Approach to Resiliency Analysis of a Cyberphysical System.
ISSRE Workshops
Myron Hecht
2015 — conf
Automated generation of failure modes and effects analysis for a medical device.
ISSRE Workshops
Myron Hecht, Elisabeth A. Nguyen, Aaron Chuidian, Julia Pinchak
2014 — conf
Automated Generation of Failure Modes and Effects Analysis from SysML Models.
ISSRE Workshops
Myron Hecht, Emily Dimpfl, Julia Pinchak
2013 — conf
Modeling of Failure detection and recovery in SysML.
ISSRE (Supplemental Proceedings)
Myron Hecht, Jeanne Tamaki, Derek Lo
2012 J jnl
Defectivity profiling with dynamic COQUALMO: An explication and product quality retrospective.
J. Softw. Evol. Process.
Dan X. Houston, Douglas Buettner, Myron Hecht
2011 B conf
A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex.
ICECCS
Myron Hecht, Alexander Lam, Chris Vogl
2009 — conf
Dynamic COQUALMO: Defect Profiling over Development Cycles.
ICSP
Dan X. Houston, Douglas Buettner, Myron Hecht
2008 A conf
Using an assurance case to support independent assessment of the transition to a new GPS ground control system.
DSN
Elisabeth A. Nguyen, William S. Greenwell, Myron Hecht
2007 J jnl
Airport availability modelling: a different perspective.
Int. J. Crit. Infrastructures
Jasenka Rakas, Myron Hecht
2000 — conf
Integration of system dependability and software reliability growth models for e-commerce systems.
HASE
Myron Hecht, Yutao He, Herbert Hecht, Xuegao An
2000 A conf
OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications.
DSN
Myron Hecht, Xuegao An, Bing Zhang, Yutao He
1997 J jnl
Quality Assurance and Testing for Safety Systems.
Ann. Softw. Eng.
Herbert Hecht, Myron Hecht
1997 — conf
Test-Linked Specification For Safety-Critical Software.
HICSS (5)
Herbert Hecht, Myron Hecht
1997 — conf
Toward More Effective Testing for High-Assurance Systems.
HASE
Herbert Hecht, Myron Hecht, Dolores R. Wallace
1995 C conf
Dependability assessment for decentralized systems.
ISADS
Herbert Hecht, Myron Hecht
1995 — conf
Evaluation of Software Dependability Based on Stability Test Data.
FTCS
Dong Tang, Myron Hecht
1994 A conf
V&V in defense and commercial projects.
ISSRE
Herbert Hecht, Myron Hecht
1993 — conf
Fault-Tolerant Robotic System for Critical Applications.
ICRA (3)
Kam S. Tso, Myron Hecht, Neville I. Marzwell
1991 — conf
A Distributed Fault Tolerant Architecture for Nuclear Reactor and Other Critical Process Control Applications.
FTCS
Myron Hecht, J. Agron, Herbert Hecht, K. H. Kim
1989 A conf
A Distributed Fault Tolerant Architecture for Nuclear Reactor Control and Safety Functions.
RTSS
Myron Hecht, J. Agron, S. Hochhauser
1986 J jnl
Software Reliability in the System Context.
IEEE Trans. Software Eng.
Herbert Hecht, Myron Hecht