![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Nancy G. Leveson
Person information
- affiliation: MIT, Cambridge, MA, USA
- award (1999): ACM - AAAI Allen Newell Award
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1995
- [b1]Nancy G. Leveson:
Safeware - system safety and computers: a guide to preventing accidents and losses caused by technology. Addison-Wesley 1995, ISBN 978-0-201-11972-5, pp. I-XVII, 1-680
Journal Articles
- 2023
- [j50]Nancy G. Leveson, John P. Thomas:
Certification of Safety-Critical Systems. Commun. ACM 66(10): 22-26 (2023) - 2020
- [j49]Nancy Leveson:
Are you sure your software will not kill anyone? Commun. ACM 63(2): 25-28 (2020) - 2019
- [j48]Andrea Scarinci, Amanda Quilici, Danilo Ribeiro, Felipe Oliveira, Daniel Patrick, Nancy G. Leveson:
Requirement Generation for Highly Integrated Aircraft Systems Through STPA: An Application. J. Aerosp. Inf. Syst. 16(1): 9-21 (2019) - 2017
- [j47]Nancy G. Leveson:
The Therac-25: 30 Years Later. Computer 50(11): 8-11 (2017) - 2016
- [j46]Cody H. Fleming, Nancy G. Leveson:
Early Concept Development and Safety Analysis of Future Transportation Systems. IEEE Trans. Intell. Transp. Syst. 17(12): 3512-3523 (2016) - 2015
- [j45]Nancy G. Leveson:
A systems approach to risk management through leading safety indicators. Reliab. Eng. Syst. Saf. 136: 17-34 (2015) - 2014
- [j44]William Young, Nancy G. Leveson:
An integrated approach to safety and security based on systems theory. Commun. ACM 57(2): 31-35 (2014) - [j43]Cody Harrison Fleming, Nancy G. Leveson:
Improving Hazard Analysis and Certification of Integrated Modular Avionics. J. Aerosp. Inf. Syst. 11(6): 397-411 (2014) - 2013
- [j42]Nancy G. Leveson:
Learning from the past to face the risks of today. Commun. ACM 56(6): 38-42 (2013) - 2010
- [j41]Margaret V. Stringfellow, Nancy G. Leveson, Brandon Owens:
Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems. Proc. IEEE 98(4): 515-525 (2010) - [j40]Israel Navarro, Nancy G. Leveson, Kristina Lundqvist:
Semantic decoupling: reducing the impact of requirement changes. Requir. Eng. 15(4): 419-437 (2010) - 2008
- [j39]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): 272-277 (2008) - 2006
- [j38]John C. Knight, Nancy G. Leveson:
Software and higher education. Commun. ACM 49(1): 160 (2006) - [j37]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): 562-586 (2006) - 2004
- [j36]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): 12-13 (2004) - [j35]Nancy G. Leveson:
A Systems-Theoretic Approach to Safety in Software-Intensive Systems. IEEE Trans. Dependable Secur. Comput. 1(1): 66-86 (2004) - 2002
- [j34]John C. Knight, Nancy G. Leveson:
Should software engineers be licensed?. Commun. ACM 45(11): 87-90 (2002) - 2000
- [j33]Nancy G. Leveson:
Intent Specifications: An Approach to Building Human-Centered Specifications. IEEE Trans. Software Eng. 26(1): 15-35 (2000) - 1999
- [j32]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): 37-44 (1999) - 1997
- [j31]Nancy G. Leveson:
Software Engineering: Stretching the Limits of Complexity. Commun. ACM 40(2): 129-131 (1997) - [j30]Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys:
Integrated Safety Analysis of Requirements Specifications. Requir. Eng. 2(2): 65-78 (1997) - 1996
- [j29]Mats Per Erik Heimdahl, Nancy G. Leveson:
Completeness and Consistency in Hierarchical State-Based Requirements. IEEE Trans. Software Eng. 22(6): 363-377 (1996) - 1995
- [j28]Maria M. Klawe, Nancy G. Leveson:
Woman in Computing - Where Are We Now? Commun. ACM 38(1): 29-35 (1995) - [j27]Nancy G. Leveson:
Safety as a System Property. Commun. ACM 38(11): 146 (1995) - 1994
- [j26]Nancy G. Leveson:
High-Pressure Steam Engines and Computer Software. Computer 27(10): 65-73 (1994) - [j25]Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese:
Requirements Specification for Process-Control Systems. IEEE Trans. Software Eng. 20(9): 684-707 (1994) - 1993
- [j24]Nancy G. Leveson, Clark Savage Turner:
Investigation of the Therac-25 Accidents. Computer 26(7): 18-41 (1993) - [j23]Nancy G. Leveson, Peter G. Neumann:
Introduction to Special Issue on Software for Critical Systems. IEEE Trans. Software Eng. 19(1): 1-2 (1993) - 1992
- [j22]Nancy Leveson:
Formal methods. ACM SIGSOFT Softw. Eng. Notes 17(1): 49-50 (1992) - 1991
- [j21]Nancy G. Leveson:
Software Safety: In Embedded Computer Systems. Commun. ACM 34(2): 34-46 (1991) - [j20]Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall:
Safety Verification of Ada Programs Using Software Fault Trees. IEEE Softw. 8(4): 48-59 (1991) - [j19]Timothy J. Shimeall, Nancy G. Leveson:
An Empirical Comparison of Software Fault Tolerance and Fault Elimination. IEEE Trans. Software Eng. 17(2): 173-182 (1991) - [j18]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): 241-258 (1991) - 1990
- [j17]John C. Knight, Nancy G. Leveson:
A reply to the criticisms of the Knight & Leveson experiment. ACM SIGSOFT Softw. Eng. Notes 15(1): 24-35 (1990) - [j16]Nancy G. Leveson:
The Challenge of Building Process-Control Software. IEEE Softw. 7(6): 55-62 (1990) - [j15]Susan S. Brilliant, John C. Knight, Nancy G. Leveson:
Analysis of Faults in an N-Version Software Experiment. IEEE Trans. Software Eng. 16(2): 238-247 (1990) - [j14]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): 432-443 (1990) - [j13]Nancy G. Leveson:
Guest Editor's Introduction Formal Methods in Software Engineering. IEEE Trans. Software Eng. 16(9): 929-931 (1990) - 1989
- [j12]Susan S. Brilliant, John C. Knight, Nancy G. Leveson:
The Consistent Comparison Problem in N-Version Software. IEEE Trans. Software Eng. 15(11): 1481-1485 (1989) - 1987
- [j11]Susan S. Brilliant, John C. Knight, Nancy G. Leveson:
The consistent comparison problem in N-version software. ACM SIGSOFT Softw. Eng. Notes 12(1): 29-34 (1987) - [j10]Nancy Leveson:
A scary tale - Sperry avionics module-testing bites the dust? ACM SIGSOFT Softw. Eng. Notes 12(2): 23-25 (1987) - [j9]Nancy G. Leveson, Janice L. Stolzy:
Safety Analysis Using Petri Nets. IEEE Trans. Software Eng. 13(3): 386-397 (1987) - 1986
- [j8]Nancy G. Leveson:
Software Safety: Why, What, and How. ACM Comput. Surv. 18(2): 125-163 (1986) - [j7]Carl E. Landwehr, Susan L. Gerhart, John D. McLean, Donald I. Good, Nancy Leveson:
NRL invitational workshop on testing and proving: two approaches to assurance. ACM SIGSOFT Softw. Eng. Notes 11(5): 63-85 (1986) - [j6]John C. Knight, Nancy G. Leveson:
An Experimental Evaluation of the Assumption of Independence in Multiversion Programming. IEEE Trans. Software Eng. 12(1): 96-109 (1986) - 1984
- [j5]Nancy G. Leveson:
Software Safety in Computer-Controlled Systems. Computer 17(2): 48-55 (1984) - 1983
- [j4]Nancy G. Leveson, Anthony I. Wasserman, Daniel M. Berry:
BASIS: A Behavioral Approach to the Specification of Information Systems. Inf. Syst. 8(1): 15-23 (1983) - [j3]Nancy G. Leveson, Peter R. Harvey:
Software fault tree analysis. J. Syst. Softw. 3(2): 173-181 (1983) - [j2]Nancy G. Leveson, Peter R. Harvey:
Analyzing Software Safety. IEEE Trans. Software Eng. 9(5): 569-579 (1983) - 1982
- [j1]Nancy G. Leveson:
Software safety. ACM SIGSOFT Softw. Eng. Notes 7(2): 21-24 (1982)
Conference and Workshop Papers
- 2024
- [c34]Alexander P. Hillman, Nancy Leveson:
A New Model for Presenting Early Design Concepts: the Portfolio-of-Systems. SysCon 2024: 1-7 - 2015
- [c33]Homa Alemzadeh
, Daniel Chen, Andrew Lewis, Zbigniew T. Kalbarczyk, Jaishankar Raman, Nancy Leveson, Ravishankar K. Iyer:
Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems. SAFECOMP 2015: 213-227 - 2014
- [c32]Nancy G. Leveson:
Using STAMP to Develop Leading Indicators. GI-Jahrestagung 2014: 597-600 - [c31]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: 643-647 - 2013
- [c30]William Young, Nancy G. Leveson:
Systems thinking for safety and security. ACSAC 2013: 1-8 - 2012
- [c29]Nancy G. Leveson, Cody Harrison Fleming, John Thomas:
Safety of embedded software. HILT 2012: 7-8 - 2011
- [c28]Nancy G. Leveson:
Complexity and Safety. CSDM 2011: 27-39 - 2009
- [c27]Nancy G. Leveson:
The Need for New Paradigms in Safety Engineering. SSS 2009: 3-20 - 2005
- [c26]Nicolas Dulac, Nancy G. Leveson, David Zipkin, Stephen Friedenthal, Joel Cutcher-Gershenfeld
, John S. Carroll, Betty Barrett:
Using system dynamics for safety and risk management in complex engineering systems. WSC 2005: 1311-1320 - 2004
- [c25]Nancy G. Leveson, Kathryn Anne Weiss:
Making embedded software reuse practical and safe. SIGSOFT FSE 2004: 171-178 - 2002
- [c24]Nancy G. Leveson:
The Future of Software Engineering Education. CSEE&T 2002: 2 - [c23]Nancy G. Leveson:
An Approach to Designing Safe Embedded Software. EMSOFT 2002: 15-29 - [c22]Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson:
Investigating the readability of state-based formal requirements specification languages. ICSE 2002: 33-43 - [c21]Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey:
On the Use of Visualization in Formal Requirements Specification. RE 2002: 71-80 - 2000
- [c20]Nancy G. Leveson:
Completeness in formal specification language design for process-control systems. FMSP 2000: 75-87 - [c19]Nancy G. Leveson:
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. HSCC 2000: 3 - 1999
- [c18]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: 127-145 - 1998
- [c17]Nancy G. Leveson:
Intent Specifications: An Approach to Building Human-Centered Specifications. ICRE 1998: 204-213 - [c16]Nancy G. Leveson:
Designing a Requirements Specification Language for Reactive Systems. ZUM 1998: 135 - 1997
- [c15]Jon Damon Reese, Nancy G. Leveson:
Software Deviation Analysis. ICSE 1997: 250-260 - [c14]Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys:
Integrated Safety Analysis of Requirements Specifications. RE 1997: 148-159 - 1996
- [c13]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: 293 - 1995
- [c12]Mats Per Erik Heimdahl, Nancy G. Leveson:
Completeness and Consistency Analysis of State-Based Requirements. ICSE 1995: 3-14 - 1994
- [c11]Nancy G. Leveson:
High Pressure Steam Engines and Computer Software (Abstract). ACM Conference on Computer Science 1994: 414 - 1992
- [c10]Nancy G. Leveson:
High-Pressure Steam Engines and Computer Software. ICSE 1992: 2-14 - 1991
- [c9]Nancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega:
Experiences using statecharts for a system requirements specification. IWSSD 1991: 31-41 - 1990
- [c8]Nancy G. Leveson:
Evaluation of Software Safety. ICSE 1990: 223-224 - 1989
- [c7]Matthew S. Jaffe, Nancy G. Leveson:
Completeness, Robustness, and Safety in Real-Time Software Requirements Specification. ICSE 1989: 302-311 - [c6]Bonnie E. Melhart, Nancy G. Leveson, Matthew S. Jaffe:
Analysis capabilities for requirements specified in statecharts. IWSSD 1989: 100-103 - 1988
- [c5]Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall:
Safety Verification in Murphy Using Fault Tree Analysis. ICSE 1988: 377-387 - 1987
- [c4]Nancy G. Leveson:
Software Fault Tolerance in Safety-Critical Applications. Fehlertolerierende Rechensysteme 1987: 1-12 - 1985
- [c3]Nancy G. Leveson, Janice L. Stolzy:
Analyzing Safety and Fault Tolerance Using Time Petri Nets. TAPSOFT, Vol.2 1985: 339-355 - [c2]Randell S. Flint, Nancy G. Leveson:
The PAMS Approach to Modeling Database Activity. TFAIS 1985: 222-236 - 1981
- [c1]Nancy G. Leveson, Anthony I. Wasserman:
Logical Decentralization and Semantic Integrity in a Distributed Information System. DDSS 1981: 243-253
Informal and Other Publications
- 2016
- [i2]Asim Abdulkhaleq, Stefan Wagner, Nancy Leveson:
A comprehensive safety engineering approach for software-intensive systems based on STPA. CoRR abs/1612.03109 (2016) - 2015
- [i1]Homa Alemzadeh, Ravishankar K. Iyer, Zbigniew T. Kalbarczyk, Nancy Leveson, Jai Raman:
Adverse Events in Robotic Surgery: A Retrospective Study of 14 Years of FDA Data. CoRR abs/1507.03518 (2015)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-25 21:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint