Nancy Leveson

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 3

Top Topics

Agent Architecture

Ultra Large Scale

Software Intensive Systems

Top Venues

Publications

Alexander P. Hillman, Nancy Leveson
A New Model for Presenting Early Design Concepts: the Portfolio-of-Systems. SysCon (2024)
Nancy Leveson
Are you sure your software will not kill anyone? Commun. ACM 63 (2) (2020)
Asim Abdulkhaleq, Stefan Wagner, Nancy Leveson
A comprehensive safety engineering approach for software-intensive systems based on STPA. CoRR (2016)
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 (2015)
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)
Nancy Leveson
Formal methods. ACM SIGSOFT Softw. Eng. Notes 17 (1) (1992)
Nancy Leveson
A scary tale - Sperry avionics module-testing bites the dust? ACM SIGSOFT Softw. Eng. Notes 12 (2) (1987)
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) (1986)