Nancy G. Leveson

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 4

Top Topics

Risk Management

Safety Analysis

Transportation Systems

Top Venues

GI-Jahrestagung

J. Aerosp. Inf. Syst.

Publications

Nancy G. Leveson, John P. Thomas
Certification of Safety-Critical Systems. Commun. ACM 66 (10) (2023)
Nancy G. Leveson
The Therac-25: 30 Years Later. Computer 50 (11) (2017)
Cody Harrison Fleming, Nancy G. Leveson
Early Concept Development and Safety Analysis of Future Transportation Systems. IEEE Trans. Intell. Transp. Syst. 17 (12) (2016)
Nancy G. Leveson
A systems approach to risk management through leading safety indicators. Reliab. Eng. Syst. Saf. 136 (2015)
Nancy G. Leveson
Using STAMP to Develop Leading Indicators. GI-Jahrestagung (2014)
Cody Harrison Fleming, Nancy G. Leveson
Improving Hazard Analysis and Certification of Integrated Modular Avionics. J. Aerosp. Inf. Syst. 11 (6) (2014)
William Young, Nancy G. Leveson
An integrated approach to safety and security based on systems theory. Commun. ACM 57 (2) (2014)
Kip Johnson, Nancy G. Leveson
Investigating Safety and Cybersecurity Design Tradespace for Manned-Unmanned Aerial Systems Integration Using Systems Theoretic Process Analysis. GI-Jahrestagung (2014)
William Young, Nancy G. Leveson
Systems thinking for safety and security. ACSAC (2013)
Nancy G. Leveson
Learning from the past to face the risks of today. Commun. ACM 56 (6) (2013)
Nancy G. Leveson, Cody Harrison Fleming, John Thomas
Safety of embedded software. HILT (2012)
Nancy G. Leveson
Complexity and Safety. CSDM (2011)
Margaret V. Stringfellow, Nancy G. Leveson, Brandon Owens
Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems. Proc. IEEE 98 (4) (2010)
Israel Navarro, Nancy G. Leveson, Kristina Lundqvist
Semantic decoupling: reducing the impact of requirement changes. Requir. Eng. 15 (4) (2010)
Nancy G. Leveson
The Need for New Paradigms in Safety Engineering. SSS (2009)
James M. Walker, Pascale Carayon, Nancy G. Leveson, Ronald A. Paulus, John Tooker, Homer L. Chin, Albert Bothe Jr., Walter F. Stewart
Viewpoint Paper: EHR Safety: The Way Forward to Safe and Effective Systems. J. Am. Medical Informatics Assoc. 15 (3) (2008)
John C. Knight, Nancy G. Leveson
Software and higher education. Commun. ACM 49 (1) (2006)
Kathryn Anne Weiss, Nicolas Dulac, Stephanie Chiesi, Mirna Daouk, David Zipkin, Nancy G. Leveson
Engineering Spacecraft Mission Software using a Model-Based and Safety-Driven Design Methodology. J. Aerosp. Comput. Inf. Commun. 3 (11) (2006)
Nicolas Dulac, Nancy G. Leveson, David Zipkin, Stephen Friedenthal, Joel Cutcher-Gershenfeld, John Carroll, Betty Barrett
Using system dynamics for safety and risk management in complex engineering systems. WSC (2005)
Nancy G. Leveson
A Systems-Theoretic Approach to Safety in Software-Intensive Systems. IEEE Trans. Dependable Secur. Comput. 1 (1) (2004)
Victor R. Basili, Barry W. Boehm, Al Davis, Watts S. Humphrey, Nancy G. Leveson, Nancy R. Mead, John D. Musa, David Lorge Parnas, Shari Lawrence Pfleeger, Elaine J. Weyuker
New Year's Resolutions for Software Quality. IEEE Softw. 21 (1) (2004)
Nancy G. Leveson, Kathryn Anne Weiss
Making embedded software reuse practical and safe. SIGSOFT FSE (2004)
Nancy G. Leveson
An Approach to Designing Safe Embedded Software. EMSOFT (2002)
Nancy G. Leveson
The Future of Software Engineering Education. CSEE&T (2002)
John C. Knight, Nancy G. Leveson
Should software engineers be licensed?. Commun. ACM 45 (11) (2002)
Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson
Investigating the readability of state-based formal requirements specification languages. ICSE (2002)
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey
On the Use of Visualization in Formal Requirements Specification. RE (2002)
Nancy G. Leveson
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. HSCC (2000)
Nancy G. Leveson
Intent Specifications: An Approach to Building Human-Centered Specifications. IEEE Trans. Software Eng. 26 (1) (2000)
Nancy G. Leveson
Completeness in formal specification language design for process-control systems. FMSP (2000)
Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. ESEC / SIGSOFT FSE (1999)
Victor R. Basili, Laszlo A. Belady, Barry W. Boehm, Frederick P. Brooks Jr., James Browne, Richard A. DeMillo, Stuart I. Feldman, Cordell Green, Butler W. Lampson, Duncan H. Lawrie, Nancy G. Leveson, Nancy A. Lynch, Mark D. Weiser, Jeannette M. Wing
NSF workshop on a software research program for the 21st century. ACM SIGSOFT Softw. Eng. Notes 24 (3) (1999)
Nancy G. Leveson
Designing a Requirements Specification Language for Reactive Systems. ZUM (1998)
Nancy G. Leveson
Intent Specifications: An Approach to Building Human-Centered Specifications. ICRE (1998)
Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys
Integrated Safety Analysis of Requirements Specifications. Requir. Eng. 2 (2) (1997)
Jon Damon Reese, Nancy G. Leveson
Software Deviation Analysis. ICSE (1997)
Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys
Integrated Safety Analysis of Requirements Specifications. RE (1997)
Nancy G. Leveson
Software Engineering: Stretching the Limits of Complexity. Commun. ACM 40 (2) (1997)
Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia
Why State-of-the-Art is not State-of-the-Practice (Panel Abstract). ISSTA (1996)
Mats Per Erik Heimdahl, Nancy G. Leveson
Completeness and Consistency in Hierarchical State-Based Requirements. IEEE Trans. Software Eng. 22 (6) (1996)
Nancy G. Leveson
Safety as a System Property. Commun. ACM 38 (11) (1995)
Mats Per Erik Heimdahl, Nancy G. Leveson
Completeness and Consistency Analysis of State-Based Requirements. ICSE (1995)
Maria M. Klawe, Nancy G. Leveson
Woman in Computing - Where Are We Now? Commun. ACM 38 (1) (1995)
Nancy G. Leveson
High Pressure Steam Engines and Computer Software (Abstract). ACM Conference on Computer Science (1994)
Nancy G. Leveson
High-Pressure Steam Engines and Computer Software. Computer 27 (10) (1994)
Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese
Requirements Specification for Process-Control Systems. IEEE Trans. Software Eng. 20 (9) (1994)
Nancy G. Leveson, Clark Savage Turner
Investigation of the Therac-25 Accidents. Computer 26 (7) (1993)
Nancy G. Leveson, Peter G. Neumann
Introduction to Special Issue on Software for Critical Systems. IEEE Trans. Software Eng. 19 (1) (1993)
Nancy G. Leveson
High-Pressure Steam Engines and Computer Software. ICSE (1992)
Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart
Software Requirements Analysis for Real-Time Process-Control Systems. IEEE Trans. Software Eng. 17 (3) (1991)
Timothy J. Shimeall, Nancy G. Leveson
An Empirical Comparison of Software Fault Tolerance and Fault Elimination. IEEE Trans. Software Eng. 17 (2) (1991)
Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall
Safety Verification of Ada Programs Using Software Fault Trees. IEEE Softw. 8 (4) (1991)
Nancy G. Leveson
Software Safety: In Embedded Computer Systems. Commun. ACM 34 (2) (1991)
Nancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega
Experiences using statecharts for a system requirements specification. IWSSD (1991)
Nancy G. Leveson
Evaluation of Software Safety. ICSE (1990)
Nancy G. Leveson, Stephen S. Cha, John C. Knight, Timothy J. Shimeall
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study. IEEE Trans. Software Eng. 16 (4) (1990)
Nancy G. Leveson
The Challenge of Building Process-Control Software. IEEE Softw. 7 (6) (1990)
John C. Knight, Nancy G. Leveson
A reply to the criticisms of the Knight & Leveson experiment. ACM SIGSOFT Softw. Eng. Notes 15 (1) (1990)
Susan S. Brilliant, John C. Knight, Nancy G. Leveson
Analysis of Faults in an N-Version Software Experiment. IEEE Trans. Software Eng. 16 (2) (1990)
Nancy G. Leveson
Guest Editor's Introduction Formal Methods in Software Engineering. IEEE Trans. Software Eng. 16 (9) (1990)
Matthew S. Jaffe, Nancy G. Leveson
Completeness, Robustness, and Safety in Real-Time Software Requirements Specification. ICSE (1989)
Bonnie E. Melhart, Nancy G. Leveson, Matthew S. Jaffe
Analysis capabilities for requirements specified in statecharts. IWSSD (1989)
Susan S. Brilliant, John C. Knight, Nancy G. Leveson
The Consistent Comparison Problem in N-Version Software. IEEE Trans. Software Eng. 15 (11) (1989)
Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall
Safety Verification in Murphy Using Fault Tree Analysis. ICSE (1988)
Susan S. Brilliant, John C. Knight, Nancy G. Leveson
-version software. ACM SIGSOFT Softw. Eng. Notes 12 (1) (1987)
Nancy G. Leveson
Software Fault Tolerance in Safety-Critical Applications. Fehlertolerierende Rechensysteme (1987)
Nancy G. Leveson, Janice L. Stolzy
Safety Analysis Using Petri Nets. IEEE Trans. Software Eng. 13 (3) (1987)
John C. Knight, Nancy G. Leveson
An Experimental Evaluation of the Assumption of Independence in Multiversion Programming. IEEE Trans. Software Eng. 12 (1) (1986)
Nancy G. Leveson
Software Safety: Why, What, and How. ACM Comput. Surv. 18 (2) (1986)
Nancy G. Leveson, Janice L. Stolzy
Analyzing Safety and Fault Tolerance Using Time Petri Nets. TAPSOFT, Vol.2 (1985)
Randell S. Flint, Nancy G. Leveson
The PAMS Approach to Modeling Database Activity. TFAIS (1985)
Nancy G. Leveson
Software Safety in Computer-Controlled Systems. Computer 17 (2) (1984)
Nancy G. Leveson, Peter R. Harvey
Software fault tree analysis. J. Syst. Softw. 3 (2) (1983)
Nancy G. Leveson, Peter R. Harvey
Analyzing Software Safety. IEEE Trans. Software Eng. 9 (5) (1983)
Nancy G. Leveson, Anthony I. Wasserman, Daniel M. Berry
BASIS: A Behavioral Approach to the Specification of Information Systems. Inf. Syst. 8 (1) (1983)
Nancy G. Leveson
Software safety. ACM SIGSOFT Softw. Eng. Notes 7 (2) (1982)
Nancy G. Leveson, Anthony I. Wasserman
Logical Decentralization and Semantic Integrity in a Distributed Information System. DDSS (1981)