- A Systems-Theoretic Approach to Safety in Software-Intensive Nancy G. Leveson
- Mars Polar Lander/Deep Space 2 Loss --JPL Special Review Board Report JPL D-18709 --page 72
- Archetypes for Organisational Safety Karen Marais and Nancy G. Leveson; MIT Department of Aeronautics and Astronautics;
- Safety-Driven Model-Based System Engineering Methodology Part I
- A New Accident Model for Engineering Safer Systems Nancy Leveson
- Mars Climate Orbiter Mishap Investigation Board
- Software Deviation Analysis: A ``Safeware'' Technique \Lambda Jon Damon Reese and Nancy G. Leveson
- JANUARY 2007 THE BP U.S. REFINERIES INDEPENDENT SAFETY REVIEW PANEL
- A Systems Theoretic Approach to Safety Engineering Nancy Leveson, Mirna Daouk, Nicolas Dulac, Karen Marais
- The Analysis of a Friendly Fire Accident using a Systems Model of Accidents* N.G. Leveson, Ph.D.; Massachusetts Institute of Technology; Cambridge, Massachusetts
- Integrated Safety Analysis of Requirements Specifications \Lambda Francesmary Modugno, Nancy G. Leveson, Jon D. Reese
- Mars Program Independent Assessment Team
- Intent Specifications: An Approach to Building Human-Centered Specifications
- Making Embedded Software Reuse Practical and Safe Nancy G. Leveson, Kathryn Anne Weiss
- Reusable Specification Components for Model-Driven Development
- Completeness in Formal Specification Language Design for Process-Control Systems
- Reducing the Effects of Requirements Changes through System Design
- MAKING FORMAL METHODS PRACTICAL Marc Zimmerman, Mario Rodriguez, Benjamin Ingram,
- AN INTENT SPECIFICATIONS MODEL FOR A ROBOTIC SOFTWARE CONTROL SYSTEM
- An Approach to Design for Safety in Complex Systems Nicolas Dulac, Nancy Leveson
- System Safety in Computer-Controlled Automotive Systems Nancy G. Leveson
- A Comparative Look at MBU Hazard Analysis Brandon D. Owens and Nancy G. Leveson
- The Role of Software in Spacecraft Accidents Nancy G. Leveson
- !"#%$ &'!"(%)(0 1 !"!2345!"6&7(98@! AB!"#(DCFE
- Modeling Controller Tasks for Safety Analysis Molly Brown and Nancy G. Leveson
- AN EXPERIMENTAL EVALUATION OF THE ASSUMPTION OF INDEPENDENCE IN MULTI-VERSION PROGRAMMING
- 238 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. VOL. 16. NO. 2, FEBRUARY 1990 Analysis of Faults in an N-Version Software
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. VOL. 15. NO. 11, NOVEMBER 1989 1481 Concise Papers
- 432 IEEE TRANSACTIONS O K SOFTWARE ENGlNEtKINCi. VOL 16. N O 4. APKlL I990 The Use of Self Checks and Voting in Software Error
- A STAMP ANALYSIS OF THE LEX COMAIR 5191 ACCIDENT
- Membership Methodology
- RELATIONSHIPS AND INTERFACES NASA HeadquartersCaltech
- Report on the Loss of the Mars Polar Lander and
- White Paper on Approaches to Safety Engineering Nancy Leveson
- An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE2 Satellite Software \Lambda
- Mars Polar Lander/Deep Space 2 Loss --JPL Special Review Board Report JPL D-18709 --page 38
- Medical Devices: The Therac25 \Lambda Nancy Leveson
- 684 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. VOL. 20. NO. 9, SEPTEMBER 1994 Requirements Specification for
- An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software
- Requirements Specification for ProcessControl Systems \Lambday
- American Institute of Aeronautics and Astronautics DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited.
- A REPLY TO THE CRITICISMS OF THE KNIGHT & LEVESON EXPERIMENT John C. Knight Nancy G. Leveson
- Designing Specification Languages for Process Control Systems
- IDENTIFYING MODE CONFUSION POTENTIAL IN SOFTWARE DESIGN Mario Rodriguez, Marc Zimmerman, Masafumi Katahira,
- Intent Specifications: An Approach to Building HumanCentered Specifications \Lambda
- IDENTIFYING MODE CONFUSION POTENTIAL IN SOFTWARE DESIGN Mario Rodriguez, Marc Zimmerman, Masafumi Katahira,
- Mars Polar Lander/Deep Space 2 Loss --JPL Special Review Board Report JPL D-18709 --page 31
- System Safety in ComputerControlled Automotive Systems Nancy G. Leveson
- Analyzing Software Specifications for Mode Confusion Potential \Lambda Nancy G. Leveson
- WOMEN IN COMPUTER SCIENCE: A Report for the NSF CISE
- "!$#%&'(!0)12)4365798A@B12CD9)EFG9HI12PQHRS1T3U)WV XYa`cbedgfghTip`qYTrts6uwvWxWycbWuWS`qbWdrtGRfcfghTu"bcu"btffghTf
- Completeness in Formal Specification Language Design for ProcessControl Systems \Lambda
- On the Use of Visualization in Formal Requirements Specification
- Completeness and Consistency in Hierarchical StateBased Requirements
- EDUCATIONAL PIPELINE ISSUES FOR WOMEN Nancy G. Leveson
- Modeling Controller Tasks for Safety Analysis \Lambda Molly Brown and Nancy G. Leveson
- A shortened version of this paper appeared in IEEE Computer, October 1994. 1 HighPressure Steam Engines and Computer Software \Lambda
- A QUALITATIVE COMPARITIVE ANALYSIS OF SOAM AND
- MARS PRESS CONFERENCE Dr. Edward Stone's Presentation
- Application of a Safety-Driven Design Methodology to an Outer Planet Exploration Mission
- Mars Polar Lander/Deep Space 2 Loss --JPL Special Review Board Report JPL D-18709 --page 124
- MAKING FORMALMETHODS PRACTICAL Marc Zimmerman, Mario Rodriguez, Benjamin Ingram,
- !"#%$'&()013243 6552879@1AB17 C DE)FG7H5IPQSRTU 6IG2VW21#XY@a`b#cQdef)0gVW7h7HFPiqpr
- Designing Automation to Reduce Operator Errors Nancy G. Leveson
- SpecTRM: A CAD System for Digital Automation Nancy G. Leveson, MIT
- Final Report: A DEMONSTRATION SAFETY
