Nancy Leveson

Q: What Schools Are Affiliated With Nancy Leveson

Nancy Leveson is affiliated with the following schools: University of California, Irvine, University of California, Los Angeles, Massachusetts Institute of Technology, University of Washington

Nancy Leveson's AcademicInfluence.com Rankings

Nancy Leveson

Computer Science

#609

World Rank

#629

Historical Rank

#331

USA Rank

Software Engineering

#36

World Rank

#36

Historical Rank

#23

USA Rank

Database

#872

World Rank

#915

Historical Rank

#264

USA Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Nancy Leveson Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Nancy G. Leveson is an American specialist in system and software safety and a Professor of Aeronautics and Astronautics at MIT, United States. Leveson gained her degrees from UCLA, including her PhD in 1980. Previously she worked at University of California, Irvine and the University of Washington as a faculty member. She has studied safety-critical systems such as the Traffic Collision Avoidance System for the avoidance of midair collisions between aircraft and problems with the Therac-25 radiation therapy machine.

(See a Problem?)

Nancy Leveson's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A new accident model for engineering safer systems (2004) (1881)
Engineering a Safer World: Systems Thinking Applied to Safety (2012) (1534)
An investigation of the Therac-25 accidents (1993) (1399)
Safeware: System Safety and Computers (1995) (1256)
An experimental evaluation of the assumption of independence in multiversion programming (1986) (864)
Requirements Specification for Process-Control Systems (1994) (618)
Software safety: why, what, and how (1986) (533)
Safety Analysis Using Petri Nets (1987) (467)
Applying systems thinking to analyze and learn from events (2010) (402)
Moving Beyond Normal Accidents and High Reliability Organizations: A Systems Approach to Safety in Complex Systems (2009) (348)
Completeness and Consistency in Hierarchical State-Based Requirements (1996) (336)
Intent specifications: an approach to building human-centered specifications (1998) (321)
Analyzing Software Safety (1983) (261)
Software Requirements Analysis for Real-Time Process-Control Systems (1991) (257)
Adverse Events in Robotic Surgery: A Retrospective Study of 14 Years of FDA Data (2015) (252)
A systems approach to risk management through leading safety indicators (2015) (235)
An integrated approach to safety and security based on systems theory (2014) (224)
Role of Software in Spacecraft Accidents (2004) (214)
Software safety in embedded computer systems (1991) (208)
Safety verification of Ada programs using software fault trees (1991) (189)
Advancing a sociotechnical systems approach to workplace safety – developing the conceptual framework (2015) (187)
Embedded Every-where: A Research Agenda for Networked Systems of Embedded Computers (2001) (174)
Beyond Normal Accidents and High Reliability Organizations: The Need for an Alternative Approach to Safety in Complex Systems (2004) (173)
Analysis of Faults in an N-Version Software Experiment (1990) (171)
Analyzing Software Specifications for Mode Confusion Potential (1998) (137)
Archetypes for organizational safety (2006) (137)
Engineering resilience into safety-critical systems (2012) (136)
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study (1990) (136)
A systems-theoretic approach to safety in software-intensive systems (2004) (131)
Completeness and Consistency Analysis of State-Based Requirements (1995) (127)
Women in computing: where are we now? (1995) (127)
An empirical evaluation of the MC/DC coverage criterion on the HETE-2 satellite software (2000) (121)
Viewpoint Paper: EHR Safety: The Way Forward to Safe and Effective Systems (2008) (112)
Systems thinking for safety and security (2013) (111)
The consistent comparison problem in N-version software (1989) (99)
Designing specification languages for process control systems: lessons learned and steps to the future (1999) (97)
Applying STAMP in Accident Analysis (2003) (96)
Hierarchical control of small autonomous helicopters (1998) (91)
Hazard Analysis of Complex Spacecraft Using Systems-Theoretic Process Analysis (2014) (87)
Modeling and Hazard Analysis Using Stpa (2010) (87)
A system‐theoretic, control‐inspired view and approach to process safety (2014) (83)
Safety assurance in NextGen and complex transportation systems (2013) (82)
In the Spotlight The Use of Safety Cases in Certification and Regulation (2011) (82)
An empirical comparison of software fault tolerance and fault elimination (1988) (80)
High-pressure steam engines and computer software (1992) (78)
Completeness in formal specification language design for process-control systems (2000) (77)
A New Approach To System Safety Engineering (2005) (77)
The challenge of building process-control software (1990) (73)
A reply to the criticisms of the Knight & Leveson experiment (1990) (72)
Software safety (1982) (69)
Investigating the readability of state-based formal requirements specification languages (2002) (68)
A comprehensive safety engineering approach for software-intensive systems based on STPA (2015) (67)
Safety Culture (2019) (66)
Software Deviation Analysis (1997) (66)
Rasmussen's legacy: A paradigm change in engineering for safety. (2017) (63)
Software Safety in Computer-Controlled Systems (1984) (59)
Completeness, Robustness, And Safety In Real-time Software Requirements Specification (1988) (58)
On the use of visualization in formal requirements specification (2002) (52)
A Systems Approach to Analyzing and Preventing Hospital Adverse Events (2016) (51)
Application of systems and control theory-based hazard analysis to radiation oncology. (2016) (49)
Safety verification in MURPHY using fault tree analysis (1988) (48)
A Systems Theoretic Approach to Safety Engineering (2003) (48)
Software engineering: stretching the limits of complexity (1997) (48)
Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems (2010) (47)
The systems approach to medicine: controversy and misconceptions (2014) (47)
Software fault tree analysis (1983) (45)
The Analysis of a Friendly Fire Accident Using a Systems Model of Accidents (2002) (44)
Integrated safety analysis of requirements specifications (1997) (44)
Application of a Safety-Driven Design Methodology to an Outer Planet Exploration Mission (2008) (43)
Analysis of soma mine disaster using causal analysis based on systems theory (CAST) (2018) (41)
Medical Devices: the Therac-25 (1985) (41)
Analyzing Safety and Fault Tolerance Using Time Petri Nets (1985) (40)
Making embedded software reuse practical and safe (2004) (39)
Improving Hazard Analysis and Certification of Integrated Modular Avionics (2014) (39)
Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems (2015) (37)
Safety and Risk -Driven Design in Complex Systems -of - Systems (2005) (37)
Evaluating Accident Models Using Recent Aerospace Accidents, Part 1: Event-Based Models (2001) (36)
Model-Based Analysis of Socio-Technical Risk (2004) (35)
Safeware - system safety and computers: a guide to preventing accidents and losses caused by technology (1995) (35)
Design for safe software (1983) (34)
Sociotechnical approaches to workplace safety: Research needs and opportunities (2015) (33)
System safety in computer-controlled automotive systems (2000) (33)
3.2.3 An Approach to Design for Safety in Complex Systems (2004) (33)
Safety Analysis of Ada Programs Using Fault Trees (1983) (32)
Software Challenges in Achieving Space Safety (2009) (32)
Using system dynamics for safety and risk management in complex engineering systems (2005) (29)
The Role of Software in Recent Aerospace Accidents (2001) (29)
Should software engineers be licensed? (2002) (28)
Safety Guided Design of Crew Return Vehicle in Concept Design Phase Using Stamp / Stpa (2011) (27)
Safety analysis tools for requirements specifications (1996) (26)
Early Concept Development and Safety Analysis of Future Transportation Systems (2016) (25)
Applying System Engineering to Pharmaceutical Safety (2012) (25)
White Paper on Approaches to Safety Engineering ∗ (2003) (24)
Evaluating the Safety of Digital Instrumentation and Control Systems in Nuclear Power Plants (2012) (24)
Incorporating Safety Risk in Early System Architecture Trade Studies (2009) (24)
Guest Editor's Introduction Formal Methods in Software Engineering (1990) (23)
Identifying mode confusion potential in software design (2000) (23)
ENGINEERING SYSTEMS MONOGRAPH (2004) (23)
Are you sure your software will not kill anyone? (2020) (23)
Safety as a system property (1995) (23)
SYSTEMIC FACTORS IN SOFTWARE-RELATED SPACECRAFT ACCIDENTS (2001) (22)
When a checklist is not enough: How to improve them and what else is needed. (2016) (22)
Safety Assessment of Complex, Software-Intensive Systems (2012) (21)
Systems-Theoretic Process Analysis of space launch vehicles (2018) (20)
Editorial: emerging issues in sociotechnical systems thinking and workplace safety (2015) (19)
A Safety and Human-Centered Approach to Developing New Air Traffic Management Tools (2001) (18)
The Need for New Paradigms in Safety Engineering (2009) (18)
High-pressure steam engines and computer software (1994) (18)
Complexity and Safety (2011) (17)
Apply STAMP to Critical Infrastructure Protection (2007) (16)
An Approach to Designing Safe Embedded Software (2002) (16)
Incorporating Safety in Early System Architecture Trade Studies (2005) (16)
Safety Analysis in Early Concept Development and Requirements Generation (2018) (16)
System Theoretic Safety Analysis of the Sewol‐Ho Ferry Accident in South Korea (2017) (16)
Making formal methods practical (2000) (16)
Engineering Spacecraft Mission Software using a Model-Based and Safety-Driven Design Methodology (2006) (15)
An Integrated Approach to Requirements Development and Hazard Analysis (2015) (15)
BASIS: A Behavioral Approach to the Specification of Information Systems (1983) (15)
Experiences from specifying the TCAS II requirements using RSML (1998) (15)
Software fault tolerance - The case for forward recovery (1983) (15)
Safety Assurance in NextGen (2012) (15)
Describing and Probing Complex System Behavior: A Graphical Approach (2001) (14)
“Safeware”: Safety-Critical Computing and Health Care Information Technology (2008) (13)
Specification and analysis of the requirements for embedded software with an external interaction model (1990) (12)
Archetypes for Organisational Safety (2003) (12)
Modeling Controller Tasks for Safety Analysis (1998) (12)
Semantic decoupling: reducing the impact of requirement changes (2010) (12)
Demonstration of a Safety Analysis on a Complex System (1997) (11)
Verification of Safety (1983) (11)
Integrating Systems Safety into Systems Engineering during Concept Development (2015) (11)
Reducing the Effects of Requirements Changes through System Design (2001) (11)
Automated testing from specifications (2002) (11)
An assessment of space shuttle flight software development processes (1993) (10)
Component-Based Systems Engineering for Autonomous Spacecraft (2004) (9)
A New Approach to Hazard Analysis for Rotorcraft (2016) (9)
Correlated Failures in Multi-Version Software 1 (1985) (9)
The drawbacks in using the term 'system of systems'. (2013) (9)
Building safe software (1986) (8)
The Therac-25: 30 Years Later (2017) (8)
An Outline of a Program to Enhance Software Safety (1986) (8)
The bad apple theory won't work: response to ‘Challenging the systems approach: why adverse event rates are not improving’ by Dr Levitt (2014) (8)
Software and higher education (2006) (8)
Addressing NASA ’ s Organizational and Safety Culture : Insights from Systems Safety and Engineering Systems (2004) (7)
Procedure rework: a dynamic process with implications for the “rework cycle” and “disaster dynamics” (2011) (7)
Safety Implications of Robotic Surgery: A Study of 13 Years of FDA Data on da Vinci Surgical Systems (2013) (7)
Safety and Security Are Two Sides of the Same Coin (2020) (7)
Evaluation of STPA in the safety analysis of the Gantry 2 proton radiation therapy system (2012) (6)
MULTIPLE CONTROLLER CONTRIBUTIONS TO HAZARDS (2011) (6)
Safety as a Software Quality (1989) (6)
Reusable software architectures for aerospace systems (2003) (6)
Software Fault Tolerance in Safety-Critical Applications (1987) (6)
Applying behavioral abstraction to information system design and integrity (1980) (6)
A Comparative Look at MBU Hazard Analysis Techniques (2006) (6)
A Brief Introduction to System Dynamics Modeling (2012) (6)
Get to the root of accidents: Systems thinking can provide insights on underlying issues, not just their symptoms (2014) (6)
System Dynamics Approach to Model Risk in Complex Healthcare Settings : Time Constraints , Production Pressures and Compliance with Safety Controls (2008) (6)
What System Safety Engineering Can Learn from the Columbia Accident (2004) (5)
Intent Speciications: an Approach to Building Human-centered Speciications (2000) (5)
NSF workshop on a software research program for the 21st century (1999) (5)
Including Safety during Early Development Phases of Future Air Traffic Management Concepts (2015) (5)
Introduction to Special Issue on Software for Critical Systems (1993) (4)
New Year's Resolutions for Software Quality (2004) (4)
ELIMINATING HAZARDS FROM A MEDIUM TERM CONFLICT DETECTION TOOL (2003) (4)
System safety and accident prevention (2018) (4)
A Systems Thinking Approach to Leading Indicators in the Petrochemical Industry (2013) (4)
Evaluation of software safety (1990) (4)
Learning from the past to face the risks of today (2013) (4)
A Comparison of SAE ARP 4761 and STPA Safety Assessment Processes (2015) (4)
Logical Decentralization and Semantic Integrity in a Distributed Information System (1981) (4)
Using fault trees to find design errors in real time software (1983) (3)
5.3.1 A Safety‐Driven Systems Engineering Process (2008) (3)
Foreword reliability and safety in real-time systems (1986) (3)
Modeling, analyzing, and engineeering safety culture (2005) (3)
An Empirical Exploration of Five Software Fault Detection Methods 1 (1988) (3)
Applying existing safety design techniques to software safety (1983) (3)
Organizational risk dynamics in complex goal environments (2007) (3)
Applying Systems Thinking to Aviation Psychology (2013) (3)
A Systems-Theoretic View of Causality (2012) (3)
Requirement Generation for Highly Integrated Aircraft Systems Through STPA: An Application (2019) (3)
Software Requirements Analysis for Real-Time Process-Control S y s terns (1991) (3)
STPA: A New Hazard Analysis Technique (2012) (3)
Designing a Requirements Specification Language for Reactive Systems (1998) (3)
Criterion on the HETE-2 Satellite Software (2000) (3)
Safety Guided Spacecraft Design Using Model-Based Specifications (2012) (3)
Embedded system (2003) (2)
Analyzing Accidents and Incidents (CAST) (2012) (2)
Software fault tree analysis tool user's manual (1986) (2)
An Improved Design Process for Complex, Control-Based Systems Using STPA and a Conceptual Architecture1 (2020) (2)
Re-engineering the United States food safety system. (2009) (2)
NRL invitational workshop on testing and proving: two approaches to assurance (1986) (2)
Software System Safety (2009) (2)
Revolutionizing Electronics: Software and the Challenge of Flight Control (2013) (2)
Systems Theory and Its Relationship to Safety (2012) (2)
A new approach to safety in software-intensive systems (2006) (2)
Questioning the Foundations of Traditional Safety Engineering (2012) (2)
Systems Approach to Safety and Security (2015) (1)
1 Chapter 7 Software and the Challenge of Flight Control (2013) (1)
STAMPing out MRI Simulation Hazards with a System-Theoretic Accident Model and Processes Approach to Proactive Hazard Assessment (2020) (1)
Medical Devices The Therac � (1)
Software safety : a definition and some preliminary thoughts (1981) (1)
Using STAMP to Develop Leading Indicators (2014) (1)
System-Theoretic Analysis of Air Vehicle Separation in Visual Flight (2017) (1)
Building safe computer-controlled systems (1984) (1)
Observations on the Columbia Accident (2003) (1)
WE‐G‐BRA‐06: Application of Systems and Control Theory‐Based Hazard Analysis to Radiotherapy (2015) (1)
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software (2000) (1)
A Systems Approach to Safety and Cybersecurity (2019) (1)
Using COTS Components in Safety-Critical Systems (2000) (1)
16.863J / ESD.863J System Safety, Spring 2011 (2011) (1)
A CAD Environment for Safety-Critical Software (1999) (1)
New Editor's Introduction (1992) (1)
Managing Safety and the Safety Culture (2012) (1)
5.1.1 Reusable Specification Components for Model‐Based System‐Engineering (2003) (1)
Stamp: An Accident Model Based on Systems Theory (2012) (1)
Investigating Safety and Cybersecurity Design Tradespace for Manned-Unmanned Aerial Systems Integration Using Systems Theoretic Process Analysis (2014) (1)
Safety verification of ADA programs in MURPHY (1987) (1)
New Safety Technologies for the Automotive Industry (2006) (1)
Software Hazard Analysis Techniques (1986) (1)
The Impact of the Man-Machine Interface on Software Requirements Completeness (1989) (1)
A scary tale—Sperry avionics module-testing bites the dust? (1987) (1)
The future of software engineering education (2002) (0)
Ada Run-Time Environment Working Group: proceedings from the software safety symposium (1993) (0)
SYSTEMIC FACTORS IN SOFTWARE-RELATED (2001) (0)
Self-checking software (1986) (0)
An evaluation of software fault tolerance techniques in real-time safety-critical applications (1982) (0)
ANALYSIS OF FAULTS IN A MULTI-VERSION SOFTWARE EXPERIMENT (2004) (0)
A Friendly Fire Accident (2012) (0)
Using STAMP to address causes and preventive measures of mid-air collisions in visual flight (2016) (0)
Why Do We Need Something Different (2012) (0)
16.355J / ESD.355J Advanced Software Engineering, Fall 2002 (2002) (0)
UsingCOTSComponentsin Safety-CriticalSystems (2000) (0)
Ergonomics – rok 2015 , ro č ník 58 Č íslo 4-Special Issue : Sociotechnical Systems and Safety (2015) (0)
Safety and Security Driven Design. Unmanned Aircraft-National Airspace System Integration Case Study (2014) (0)
Specification, verification, and enforcement of semantic integrity using behavioral abstraction (1980) (0)
A Fundamental Problem in Implementing N-Version Programming (2012) (0)
The PAMS Approach to Modeling Database Activity (1985) (0)
High-pressure Steam Engines and Computer Software the Problems of Exploding Boilers (1994) (0)
16.63J / ESD.03J System Safety, Fall 2012 (2012) (0)
A MORE POWERFUL APPROACH TO PROCESS SAFETY (2021) (0)
A CLASSIFICATION OF OPEN-LOOP AND CLOSED-LOOP RISK MANAGEMENT ACTIONS (2007) (0)
A S YSTEM -T HEORETIC , C ONTROL -I NSPIRED V IEW AND A PPROACH TO P ROCESS S AFETY (2014) (0)
Engineering and Operating Safer Systems Using STAMP (2012) (0)
NSF Workshop on a Software Research Program For the 21 st Century Greenbelt , Maryland , October 15-16 , 1998 Workshop Participants : Professor (2002) (0)
Why State-of-the-Art is not State-of-the-Practice (Panel Abstract) (1996) (0)
Safety Analysis of FMS/CTAS Interactions During Aircraft Arrivals (1998) (0)
Formal methods (1992) (0)
Integrating Safety into System Engineering (2012) (0)
SUBSAFE: An Example of a Successful Safety Program (2012) (0)
Safety Guided Design Based on Stamp/STPA for Manned Vehicle in Concept Design Phase (2013) (0)
Correction to "A Practical View of Software Measurement and Implementation Experiences Within Motorola" (1993) (0)
An environment for life-critical software development (1983) (0)
A Bacterial Contamination of a Public Water Supply (2012) (0)
Requirements Engineering for Software Integrity and Safety (2002) (0)
Safety. [requirements for software to monitor and control critical processes] (1991) (0)
Infusing specTRM in the Team X Environment (2005) (0)
Safety verification in MURPHY (1989) (0)
16.358J / ESD.358J System Safety, Spring 2003 (2003) (0)
Safety Metrics for Human-Computer Controlled Systems (2000) (0)
SAFETY ANALYSIS OF AUTOMATED HIGHWAY SYSTEMS (1997) (0)
Managing Operational Risk through an Assumption-Based Leading Safety Indicators Program (2014) (0)
The Loss of a Satellite (2012) (0)
Safety Analysis Of Automated Highway Systems - eScholarship (1997) (0)
SymposiumonFault-Tolerarv aRs Rs S l Computing (1985) (0)
Towards Safe Change in Transportation Systems (2003) (0)
Incorporating Modern Development and Evaluation Techniques into the Creation of Spacecraft Control Software (2005) (0)
1 Applying System Engineering to Pharmaceutical Safety (2013) (0)
A Hybrid Approach to the Creation of Dynamic Risk Management Models (2007) (0)
Systems thinking for safety and security Citation (2015) (0)
Incorporating New Methods of Classifying Domain Information for Use in Safety Hazard Analysis (2015) (0)
Esd Internal Conference Extended Abstracts Managing the Development of Complex Engineering Systems ___________________ 4 Learning from Organizational Experience __________________________________ 6 the Impact of Instability on Complex Social and Technical Systems______________ 8 Architecting/configu (2002) (0)
Safety-Guided Design (2012) (0)
AN ENGINEERING PERSPECTIVE ON AVOIDING INADVERTENT NUCLEAR WAR (2019) (0)
SOCIO-TECHNICAL RISK (2005) (0)
16.358J / 16.863J System Safety, Spring 2005 (2005) (0)
Controlling Safety during Operations (2012) (0)
High pressure steam engines and computer software (abstract) (1994) (0)
2.4.2 Incorporating Software Cost and Risk Assessment into Early System Development Trade Studies (2007) (0)
Real-Time and Safety-Critical Systems (1999) (0)
Safety of embedded software (2012) (0)
Improving the Standard Risk Matrix using STPA (2019) (0)
Why state-of-the-art is not state-of-the-practice (panel) (1996) (0)

This paper list is powered by the following services:

Other Resources About Nancy Leveson

en.wikipedia.org

What Schools Are Affiliated With Nancy Leveson?

Nancy Leveson is affiliated with the following schools:

Nancy Leveson's Academic­Influence.com Rankings

Why Is Nancy Leveson Influential?

Nancy Leveson's Published Works

Published Works

Other Resources About Nancy Leveson

What Schools Are Affiliated With Nancy Leveson?

Nancy Leveson's AcademicInfluence.com Rankings