Nancy G. Leveson

83 papers A* 7A 4C 1Misc 2Journal 49Unranked 19
YearRankTypeTitle / Venue / Authors
2025 J jnl
Design and Assurance of Control Software.
IEEE Trans. Software Eng.
Nancy G. Leveson
2025 J jnl
Model-Based Systems Engineering and TCAS II: Thirty Years Later.
IEEE Trans. Software Eng.
Mats P. E. Heimdahl, Nancy G. Leveson
2024 J jnl
Integrating Vision Systems and STPA for Robust Landing and Take-Off in VTOL Aircraft.
CoRR
Sandeep Banik, Jinrae Kim, Naira Hovakimyan, Luca Carlone, John P. Thomas, Nancy G. Leveson
2024 — conf
Systems-Theoretic Concept Design: Synchronizing Transdisciplinary Mental Models Across Disparate Stakeholder Views.
TE
Alexander P. Hillman, Nancy G. Leveson
2023 J jnl
Certification of Safety-Critical Systems.
Commun. ACM
Nancy G. Leveson, John P. Thomas
2019 J jnl
Requirement Generation for Highly Integrated Aircraft Systems Through STPA: An Application.
J. Aerosp. Inf. Syst.
Andrea Scarinci, Amanda Quilici, Danilo Ribeiro, Felipe Oliveira, Daniel Patrick, Nancy G. Leveson
2017 J jnl
The Therac-25: 30 Years Later.
Computer
Nancy G. Leveson
2016 J jnl
Early Concept Development and Safety Analysis of Future Transportation Systems.
IEEE Trans. Intell. Transp. Syst.
Cody H. Fleming, Nancy G. Leveson
2015 J jnl
A systems approach to risk management through leading safety indicators.
Reliab. Eng. Syst. Saf.
Nancy G. Leveson
2014 J jnl
An integrated approach to safety and security based on systems theory.
Commun. ACM
William Young, Nancy G. Leveson
2014 J jnl
Improving Hazard Analysis and Certification of Integrated Modular Avionics.
J. Aerosp. Inf. Syst.
Cody Harrison Fleming, Nancy G. Leveson
2014 — conf
Investigating Safety and Cybersecurity Design Tradespace for Manned-Unmanned Aerial Systems Integration Using Systems Theoretic Process Analysis.
GI-Jahrestagung
Kip Johnson, Nancy G. Leveson
2014 — conf
Using STAMP to Develop Leading Indicators.
GI-Jahrestagung
Nancy G. Leveson
2013 J jnl
Learning from the past to face the risks of today.
Commun. ACM
Nancy G. Leveson
2013 A conf
Systems thinking for safety and security.
ACSAC
William Young, Nancy G. Leveson
2012 — conf
Safety of embedded software.
HILT
Nancy G. Leveson, Cody Harrison Fleming, John Thomas
2011 — conf
Complexity and Safety.
CSDM
Nancy G. Leveson
2010 J jnl
Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems.
Proc. IEEE
Margaret V. Stringfellow, Nancy G. Leveson, Brandon Owens
2010 J jnl
Semantic decoupling: reducing the impact of requirement changes.
Requir. Eng.
Israel Navarro, Nancy G. Leveson, Kristina Lundqvist
2009 C conf
The Need for New Paradigms in Safety Engineering.
SSS
Nancy G. Leveson
2008 J jnl
Viewpoint Paper: EHR Safety: The Way Forward to Safe and Effective Systems.
J. Am. Medical Informatics Assoc.
James M. Walker, Pascale Carayon, Nancy G. Leveson, Ronald A. Paulus, John Tooker, Homer L. Chin, Albert Bothe Jr., Walter F. Stewart
2006 J jnl
Engineering Spacecraft Mission Software using a Model-Based and Safety-Driven Design Methodology.
J. Aerosp. Comput. Inf. Commun.
Kathryn Anne Weiss, Nicolas Dulac, Stephanie Chiesi, Mirna Daouk, David Zipkin, Nancy G. Leveson
2006 J jnl
Software and higher education.
Commun. ACM
John C. Knight, Nancy G. Leveson
2005 Misc conf
Using system dynamics for safety and risk management in complex engineering systems.
WSC
Nicolas Dulac, Nancy G. Leveson, David Zipkin, Stephen Friedenthal, Joel Cutcher-Gershenfeld, John S. Carroll, Betty Barrett
2004 J jnl
A Systems-Theoretic Approach to Safety in Software-Intensive Systems.
IEEE Trans. Dependable Secur. Comput.
Nancy G. Leveson
2004 — conf
Making embedded software reuse practical and safe.
SIGSOFT FSE
Nancy G. Leveson, Kathryn Anne Weiss
2004 J jnl
New Year's Resolutions for Software Quality.
IEEE Softw.
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
2002 Misc conf
An Approach to Designing Safe Embedded Software.
EMSOFT
Nancy G. Leveson
2002 A* conf
Investigating the readability of state-based formal requirements specification languages.
ICSE
Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson
2002 A conf
On the Use of Visualization in Formal Requirements Specification.
RE
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey
2002 J jnl
Should software engineers be licensed?.
Commun. ACM
John C. Knight, Nancy G. Leveson
2002 — conf
The Future of Software Engineering Education.
CSEE&T
Nancy G. Leveson
2000 — conf
Completeness in formal specification language design for process-control systems.
FMSP
Nancy G. Leveson
2000 — conf
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software.
HSCC
Nancy G. Leveson
2000 J jnl
Intent Specifications: An Approach to Building Human-Centered Specifications.
IEEE Trans. Software Eng.
Nancy G. Leveson
1999 — conf
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future.
ESEC / SIGSOFT FSE
Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese
1999 J jnl
NSF workshop on a software research program for the 21st century.
ACM SIGSOFT Softw. Eng. Notes
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
1998 — conf
Designing a Requirements Specification Language for Reactive Systems.
ZUM
Nancy G. Leveson
1998 — conf
Intent Specifications: An Approach to Building Human-Centered Specifications.
ICRE
Nancy G. Leveson
1997 A conf
Integrated Safety Analysis of Requirements Specifications.
RE
Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys
1997 J jnl
Integrated Safety Analysis of Requirements Specifications.
Requir. Eng.
Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys
1997 A* conf
Software Deviation Analysis.
ICSE
Jon Damon Reese, Nancy G. Leveson
1997 J jnl
Software Engineering: Stretching the Limits of Complexity.
Commun. ACM
Nancy G. Leveson
1996 J jnl
Completeness and Consistency in Hierarchical State-Based Requirements.
IEEE Trans. Software Eng.
Mats Per Erik Heimdahl, Nancy G. Leveson
1996 A conf
Why State-of-the-Art is not State-of-the-Practice (Panel Abstract).
ISSTA
Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia
1995 A* conf
Completeness and Consistency Analysis of State-Based Requirements.
ICSE
Mats Per Erik Heimdahl, Nancy G. Leveson
1995 J jnl
Safety as a System Property.
Commun. ACM
Nancy G. Leveson
1995 — book
Safeware - system safety and computers: a guide to preventing accidents and losses caused by technology.
Nancy G. Leveson
1995 J jnl
Woman in Computing - Where Are We Now?
Commun. ACM
Maria M. Klawe, Nancy G. Leveson
1994 — conf
High Pressure Steam Engines and Computer Software (Abstract).
ACM Conference on Computer Science
Nancy G. Leveson
1994 J jnl
High-Pressure Steam Engines and Computer Software.
Computer
Nancy G. Leveson
1994 J jnl
Requirements Specification for Process-Control Systems.
IEEE Trans. Software Eng.
Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese
1993 J jnl
Introduction to Special Issue on Software for Critical Systems.
IEEE Trans. Software Eng.
Nancy G. Leveson, Peter G. Neumann
1993 J jnl
Investigation of the Therac-25 Accidents.
Computer
Nancy G. Leveson, Clark Savage Turner
1992 A* conf
High-Pressure Steam Engines and Computer Software.
ICSE
Nancy G. Leveson
1991 J jnl
An Empirical Comparison of Software Fault Tolerance and Fault Elimination.
IEEE Trans. Software Eng.
Timothy J. Shimeall, Nancy G. Leveson
1991 — conf
Experiences using statecharts for a system requirements specification.
IWSSD
Nancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega
1991 J jnl
Safety Verification of Ada Programs Using Software Fault Trees.
IEEE Softw.
Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall
1991 J jnl
Software Requirements Analysis for Real-Time Process-Control Systems.
IEEE Trans. Software Eng.
Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart
1991 J jnl
Software Safety: In Embedded Computer Systems.
Commun. ACM
Nancy G. Leveson
1990 J jnl
A reply to the criticisms of the Knight & Leveson experiment.
ACM SIGSOFT Softw. Eng. Notes
John C. Knight, Nancy G. Leveson
1990 J jnl
Analysis of Faults in an N-Version Software Experiment.
IEEE Trans. Software Eng.
Susan S. Brilliant, John C. Knight, Nancy G. Leveson
1990 A* conf
Evaluation of Software Safety.
ICSE
Nancy G. Leveson
1990 J jnl
Guest Editor's Introduction Formal Methods in Software Engineering.
IEEE Trans. Software Eng.
Nancy G. Leveson
1990 J jnl
The Challenge of Building Process-Control Software.
IEEE Softw.
Nancy G. Leveson
1990 J jnl
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study.
IEEE Trans. Software Eng.
Nancy G. Leveson, Stephen S. Cha, John C. Knight, Timothy J. Shimeall
1989 — conf
Analysis capabilities for requirements specified in statecharts.
IWSSD
Bonnie E. Melhart, Nancy G. Leveson, Matthew S. Jaffe
1989 A* conf
Completeness, Robustness, and Safety in Real-Time Software Requirements Specification.
ICSE
Matthew S. Jaffe, Nancy G. Leveson
1989 J jnl
The Consistent Comparison Problem in N-Version Software.
IEEE Trans. Software Eng.
Susan S. Brilliant, John C. Knight, Nancy G. Leveson
1988 A* conf
Safety Verification in Murphy Using Fault Tree Analysis.
ICSE
Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall
1987 J jnl
Safety Analysis Using Petri Nets.
IEEE Trans. Software Eng.
Nancy G. Leveson, Janice L. Stolzy
1987 — conf
Software Fault Tolerance in Safety-Critical Applications.
Fehlertolerierende Rechensysteme
Nancy G. Leveson
1987 J jnl
The consistent comparison problem in
ACM SIGSOFT Softw. Eng. Notes
Susan S. Brilliant, John C. Knight, Nancy G. Leveson
1986 J jnl
An Experimental Evaluation of the Assumption of Independence in Multiversion Programming.
IEEE Trans. Software Eng.
John C. Knight, Nancy G. Leveson
1986 J jnl
Software Safety: Why, What, and How.
ACM Comput. Surv.
Nancy G. Leveson
1985 — conf
Analyzing Safety and Fault Tolerance Using Time Petri Nets.
TAPSOFT, Vol.2
Nancy G. Leveson, Janice L. Stolzy
1985 — conf
The PAMS Approach to Modeling Database Activity.
TFAIS
Randell S. Flint, Nancy G. Leveson
1984 J jnl
Software Safety in Computer-Controlled Systems.
Computer
Nancy G. Leveson
1983 J jnl
Analyzing Software Safety.
IEEE Trans. Software Eng.
Nancy G. Leveson, Peter R. Harvey
1983 J jnl
BASIS: A Behavioral Approach to the Specification of Information Systems.
Inf. Syst.
Nancy G. Leveson, Anthony I. Wasserman, Daniel M. Berry
1983 J jnl
Software fault tree analysis.
J. Syst. Softw.
Nancy G. Leveson, Peter R. Harvey
1982 J jnl
Software safety.
ACM SIGSOFT Softw. Eng. Notes
Nancy G. Leveson
1981 — conf
Logical Decentralization and Semantic Integrity in a Distributed Information System.
DDSS
Nancy G. Leveson, Anthony I. Wasserman