| 2014 | GI | Investigating Safety and Cybersecurity Design Tradespace for Manned-Unmanned Aerial Systems Integration Using Systems Theoretic Process Analysis. | Kip Johnson, Nancy G. Leveson |
| 2014 | GI | Using STAMP to Develop Leading Indicators. | Nancy G. Leveson |
| 2013 | ACSAC | Systems thinking for safety and security. | William Young, Nancy G. Leveson |
| 2005 | WSC | Using system dynamics for safety and risk management in complex engineering systems. | Nicolas Dulac, Nancy G. Leveson, David Zipkin, Stephen Friedenthal, Joel Cutcher-Gershenfeld, John S. Carroll, Betty Barrett |
| 2002 | EMSOFT | An Approach to Designing Safe Embedded Software. | Nancy G. Leveson |
| 2002 | ICSE | Investigating the readability of state-based formal requirements specification languages. | Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson |
| 2002 | RE | On the Use of Visualization in Formal Requirements Specification. | Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey |
| 1997 | ICSE | Software Deviation Analysis. | Jon Damon Reese, Nancy G. Leveson |
| 1997 | RE | Integrated Safety Analysis of Requirements Specifications. | Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys |
| 1996 | ISSTA | Why State-of-the-Art is not State-of-the-Practice (Panel Abstract). | Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia |
| 1995 | ICSE | Completeness and Consistency Analysis of State-Based Requirements. | Mats Per Erik Heimdahl, Nancy G. Leveson |
| 1992 | ICSE | High-Pressure Steam Engines and Computer Software. | Nancy G. Leveson |
| 1990 | ICSE | Evaluation of Software Safety. | Nancy G. Leveson |
| 1989 | ICSE | Completeness, Robustness, and Safety in Real-Time Software Requirements Specification. | Matthew S. Jaffe, Nancy G. Leveson |
| 1988 | ICSE | Safety Verification in Murphy Using Fault Tree Analysis. | Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall |