Myron Hecht

According to our database1, Myron Hecht authored at least 22 papers between 1986 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Automated Failure Modes and Effects Analysis using SysML for Industrial Computer Network Reliability and Cybersecurity.
Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2019

2016
A Model Based Systems Engineering Approach to Resiliency Analysis of a Cyberphysical System.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2015
Automated generation of failure modes and effects analysis for a medical device.
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

2014
Automated Generation of Failure Modes and Effects Analysis from SysML Models.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013
Modeling of Failure detection and recovery in SysML.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012
Defectivity profiling with dynamic COQUALMO: An explication and product quality retrospective.
J. Softw. Evol. Process., 2012

2011
A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2009
Dynamic COQUALMO: Defect Profiling over Development Cycles.
Proceedings of the Trustworthy Software Development Processes, 2009

2008
Using an assurance case to support independent assessment of the transition to a new GPS ground control system.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007
Airport availability modelling: a different perspective.
Int. J. Crit. Infrastructures, 2007

2000
Integration of system dependability and software reliability growth models for e-commerce systems.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1997
Quality Assurance and Testing for Safety Systems.
Ann. Softw. Eng., 1997

Test-Linked Specification For Safety-Critical Software.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Toward More Effective Testing for High-Assurance Systems.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1995
Dependability assessment for decentralized systems.
Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

Evaluation of Software Dependability Based on Stability Test Data.
Proceedings of the Digest of Papers: FTCS-25, 1995

1994
V&V in defense and commercial projects.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1993
Fault-Tolerant Robotic System for Critical Applications.
Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993

1991
A Distributed Fault Tolerant Architecture for Nuclear Reactor and Other Critical Process Control Applications.
Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1989
A Distributed Fault Tolerant Architecture for Nuclear Reactor Control and Safety Functions.
Proceedings of the Real-Time Systems Symposium, 1989

1986
Software Reliability in the System Context.
IEEE Trans. Software Eng., 1986


  Loading...