default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNancy G. Leveson
Person information
- affiliation: MIT, Cambridge, MA, USA
- award (1999): ACM - AAAI Allen Newell Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c34]Alexander P. Hillman, Nancy Leveson:
A New Model for Presenting Early Design Concepts: the Portfolio-of-Systems. SysCon 2024: 1-7- 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)
2010 – 2019
- 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) - [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
- [j45]Nancy G. Leveson:
A systems approach to risk management through leading safety indicators. Reliab. Eng. Syst. Saf. 136: 17-34 (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 - [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) - 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) - [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
- [j42]Nancy G. Leveson:
Learning from the past to face the risks of today. Commun. ACM 56(6): 38-42 (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 - 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)
2000 – 2009
- 2009
- [c27]Nancy G. Leveson:
The Need for New Paradigms in Safety Engineering. SSS 2009: 3-20 - 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) - 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
- [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) - [c25]Nancy G. Leveson, Kathryn Anne Weiss:
Making embedded software reuse practical and safe. SIGSOFT FSE 2004: 171-178 - 2002
- [j34]John C. Knight, Nancy G. Leveson:
Should software engineers be licensed?. Commun. ACM 45(11): 87-90 (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
- [j33]Nancy G. Leveson:
Intent Specifications: An Approach to Building Human-Centered Specifications. IEEE Trans. Software Eng. 26(1): 15-35 (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
1990 – 1999
- 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) - [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
- [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) - [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
- [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) - [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
- [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 - [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) - [c12]Mats Per Erik Heimdahl, Nancy G. Leveson:
Completeness and Consistency Analysis of State-Based Requirements. ICSE 1995: 3-14 - 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) - [c11]Nancy G. Leveson:
High Pressure Steam Engines and Computer Software (Abstract). ACM Conference on Computer Science 1994: 414 - 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) - [c10]Nancy G. Leveson:
High-Pressure Steam Engines and Computer Software. ICSE 1992: 2-14 - 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) - [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
- [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) - [c8]Nancy G. Leveson:
Evaluation of Software Safety. ICSE 1990: 223-224
1980 – 1989
- 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) - [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
- [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) - [c4]Nancy G. Leveson:
Software Fault Tolerance in Safety-Critical Applications. Fehlertolerierende Rechensysteme 1987: 1-12 - 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) - 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 - 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) - 1981
- [c1]Nancy G. Leveson, Anthony I. Wasserman:
Logical Decentralization and Semantic Integrity in a Distributed Information System. DDSS 1981: 243-253
Coauthor Index
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-10-15 21:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
