Nancy G. Leveson

Nancy G. Leveson: Complexity and Safety. CSDM 2011: 27-39

Margaret V. Stringfellow, Nancy G. Leveson, Brandon Owens: Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems. Proceedings of the IEEE 98(4): 515-525 (2010)

Israel Navarro, Nancy G. Leveson, Kristina Lundqvist: Semantic decoupling: reducing the impact of requirement changes. Requir. Eng. 15(4): 419-437 (2010)

Nancy G. Leveson: The Need for New Paradigms in Safety Engineering. SSS 2009: 3-20

John C. Knight, Nancy G. Leveson: Software and higher education. Commun. ACM 49(1): 160 (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. Winter Simulation Conference 2005: 1311-1320

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 Software 21(1): 12-13 (2004)

Nancy G. Leveson: A Systems-Theoretic Approach to Safety in Software-Intensive Systems. IEEE Trans. Dependable Sec. Comput. 1(1): 66-86 (2004)

Nancy G. Leveson, Kathryn Anne Weiss: Making embedded software reuse practical and safe. SIGSOFT FSE 2004: 171-178

John C. Knight, Nancy G. Leveson: Should software engineers be licensed?. Commun. ACM 45(11): 87-90 (2002)

Nancy G. Leveson: The Future of Software Engineering Education. CSEE&T 2002: 2

Nancy G. Leveson: An Approach to Designing Safe Embedded Software. EMSOFT 2002: 15-29

Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson: Investigating the readability of state-based formal requirements specification languages. ICSE 2002: 33-43

Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey: On the Use of Visualization in Formal Requirements Specification. RE 2002: 71-80

Nancy G. Leveson: Intent Specifications: An Approach to Building Human-Centered Specifications. IEEE Trans. Software Eng. 26(1): 15-35 (2000)

Nancy G. Leveson: Completeness in formal specification language design for process-control systems. FMSP 2000: 75-87

Nancy G. Leveson: Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. HSCC 2000: 3

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

Nancy G. Leveson: Intent Specifications: An Approach to Building Human-Centered Specifications. ICRE 1998: 204-213

Nancy G. Leveson: Designing a Requirements Specification Language for Reactive Systems. ZUM 1998: 135

Nancy G. Leveson: Software Engineering: Stretching the Limits of Complexity. Commun. ACM 40(2): 129-131 (1997)

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)

Jon Damon Reese, Nancy G. Leveson: Software Deviation Analysis. ICSE 1997: 250-260

Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys: Integrated Safety Analysis of Requirements Specifications. RE 1997: 148-159

Mats Per Erik Heimdahl, Nancy G. Leveson: Completeness and Consistency in Hierarchical State-Based Requirements. IEEE Trans. Software Eng. 22(6): 363-377 (1996)

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

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

Maria M. Klawe, Nancy G. Leveson: Woman in Computing - Where Are We Now? Commun. ACM 38(1): 29-35 (1995)

Nancy G. Leveson: Safety as a System Property. Commun. ACM 38(11): 146 (1995)

Mats Per Erik Heimdahl, Nancy G. Leveson: Completeness and Consistency Analysis of State-Based Requirements. ICSE 1995: 3-14

Nancy G. Leveson: High-Pressure Steam Engines and Computer Software. IEEE Computer 27(10): 65-73 (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): 684-707 (1994)

Nancy G. Leveson: High Pressure Steam Engines and Computer Software (Abstract). ACM Conference on Computer Science 1994: 414

Nancy G. Leveson, Clark Savage Turner: Investigation of the Therac-25 Accidents. IEEE Computer 26(7): 18-41 (1993)

Nancy G. Leveson, Peter G. Neumann: Introduction to Special Issue on Software for Critical Systems. IEEE Trans. Software Eng. 19(1): 1-2 (1993)

Nancy G. Leveson: High-Pressure Steam Engines and Computer Software. ICSE 1992: 2-14

Nancy G. Leveson: Software Safety: In Embedded Computer Systems. Commun. ACM 34(2): 34-46 (1991)

Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall: Safety Verification of Ada Programs Using Software Fault Trees. IEEE Software 8(4): 48-59 (1991)

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)

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)

Nancy G. Leveson: The Challenge of Building Process-Control Software. IEEE Software 7(6): 55-62 (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): 238-247 (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): 432-443 (1990)

Nancy G. Leveson: Guest Editor's Introduction Formal Methods in Software Engineering. IEEE Trans. Software Eng. 16(9): 929-931 (1990)

Nancy G. Leveson: Evaluation of Software Safety. ICSE 1990: 223-224

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)

Matthew S. Jaffe, Nancy G. Leveson: Completeness, Robustness, and Safety in Real-Time Software Requirements Specification. ICSE 1989: 302-311

Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall: Safety Verification in Murphy Using Fault Tree Analysis. ICSE 1988: 377-387

Nancy G. Leveson, Janice L. Stolzy: Safety Analysis Using Petri Nets. IEEE Trans. Software Eng. 13(3): 386-397 (1987)

Nancy G. Leveson: Software Fault Tolerance in Safety-Critical Applications. Fehlertolerierende Rechensysteme 1987: 1-12

Nancy G. Leveson: Software Safety: Why, What, and How. ACM Comput. Surv. 18(2): 125-163 (1986)

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)

Nancy G. Leveson, Janice L. Stolzy: Analyzing Safety and Fault Tolerance Using Time Petri Nets. TAPSOFT, Vol.2 1985: 339-355

Randell S. Flint, Nancy G. Leveson: The PAMS Approach to Modeling Database Activity. TFAIS 1985: 222-236

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)

Nancy G. Leveson, Peter R. Harvey: Software fault tree analysis. Journal of Systems and Software 3(2): 173-181 (1983)

Nancy G. Leveson, Peter R. Harvey: Analyzing Software Safety. IEEE Trans. Software Eng. 9(5): 569-579 (1983)

Nancy G. Leveson, Anthony I. Wasserman: Logical Decentralization and Semantic Integrity in a Distributed Information System. DDSS 1981: 243-253