Nancy G. Leveson

Proceedings of the IEEE International Systems Conference, 2024

Systems-Theoretic Concept Design: Synchronizing Transdisciplinary Mental Models Across Disparate Stakeholder Views.

[BibT_eX]

[DOI]

Alexander P. Hillman

Proceedings of the Engineering For Social Change, 2024

2023

Certification of Safety-Critical Systems.

[BibT_eX]

[DOI]

John P. Thomas

Commun. ACM, October, 2023

2020

Are you sure your software will not kill anyone?

[BibT_eX]

[DOI]

Commun. ACM, 2020

2019

Requirement Generation for Highly Integrated Aircraft Systems Through STPA: An Application.

[BibT_eX]

[DOI]

J. Aerosp. Inf. Syst., January, 2019

2017

The Therac-25: 30 Years Later.

[BibT_eX]

[DOI]

Computer, 2017

2016

Early Concept Development and Safety Analysis of Future Transportation Systems.

[BibT_eX]

[DOI]

Cody H. Fleming

IEEE Trans. Intell. Transp. Syst., 2016

A comprehensive safety engineering approach for software-intensive systems based on STPA.

[BibT_eX]

[DOI]

Asim Abdulkhaleq

Stefan Wagner

CoRR, 2016

2015

A systems approach to risk management through leading safety indicators.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2015

Adverse Events in Robotic Surgery: A Retrospective Study of 14 Years of FDA Data.

[BibT_eX]

[DOI]

Homa Alemzadeh

Ravishankar K. Iyer

Zbigniew T. Kalbarczyk

Jai Raman

CoRR, 2015

Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems.

[BibT_eX]

[DOI]

Homa Alemzadeh

Daniel Chen

Andrew Lewis

Zbigniew T. Kalbarczyk

Jaishankar Raman

Ravishankar K. Iyer

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

Improving Hazard Analysis and Certification of Integrated Modular Avionics.

[BibT_eX]

[DOI]

Cody Harrison Fleming

J. Aerosp. Inf. Syst., 2014

An integrated approach to safety and security based on systems theory.

[BibT_eX]

[DOI]

William Young

Commun. ACM, 2014

Using STAMP to Develop Leading Indicators.

[BibT_eX]

[DOI]

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

Investigating Safety and Cybersecurity Design Tradespace for Manned-Unmanned Aerial Systems Integration Using Systems Theoretic Process Analysis.

[BibT_eX]

[DOI]

Kip Johnson

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

2013

Learning from the past to face the risks of today.

[BibT_eX]

[DOI]

Commun. ACM, 2013

Systems thinking for safety and security.

[BibT_eX]

[DOI]

William Young

Proceedings of the Annual Computer Security Applications Conference, 2013

2012

Safety of embedded software.

[BibT_eX]

[DOI]

Cody Harrison Fleming

John Thomas

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

2011

Complexity and Safety.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management, 2011

2010

Semantic decoupling: reducing the impact of requirement changes.

[BibT_eX]

[DOI]

Israel Navarro

Kristina Lundqvist

Requir. Eng., 2010

Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems.

[BibT_eX]

[DOI]

Margaret V. Stringfellow

Brandon Owens

Proc. IEEE, 2010

2009

The Need for New Paradigms in Safety Engineering.

[BibT_eX]

[DOI]

Proceedings of the Safety-Critical Systems: Problems, Process and Practice, 2009

2008

Viewpoint Paper: EHR Safety: The Way Forward to Safe and Effective Systems.

[BibT_eX]

[DOI]

J. Am. Medical Informatics Assoc., 2008

2006

Engineering Spacecraft Mission Software using a Model-Based and Safety-Driven Design Methodology.

[BibT_eX]

[DOI]

J. Aerosp. Comput. Inf. Commun., 2006

Software and higher education.

[BibT_eX]

[DOI]

Commun. ACM, 2006

2005

Using system dynamics for safety and risk management in complex engineering systems.

[BibT_eX]

[DOI]

Joel Cutcher-Gershenfeld

John S. Carroll

Betty Barrett

Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

2004

A Systems-Theoretic Approach to Safety in Software-Intensive Systems.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2004

New Year's Resolutions for Software Quality.

[BibT_eX]

[DOI]

Shari Lawrence Pfleeger

Elaine J. Weyuker

IEEE Softw., 2004

Making embedded software reuse practical and safe.

[BibT_eX]

[DOI]

Kathryn Anne Weiss

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

2002

Should software engineers be licensed?.

[BibT_eX]

[DOI]

Commun. ACM, 2002

On the Use of Visualization in Formal Requirements Specification.

[BibT_eX]

[DOI]

Nicolas Dulac

Thomas Viguier

Margaret-Anne D. Storey

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

Investigating the readability of state-based formal requirements specification languages.

[BibT_eX]

[DOI]

Marc K. Zimmerman

Kristina Lundqvist

Proceedings of the 24th International Conference on Software Engineering, 2002

An Approach to Designing Safe Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, Second International Conference, 2002

The Future of Software Engineering Education.

[BibT_eX]

[DOI]

Proceedings of the 15th Conference on Software Engineering Education and Training (CSEET'02), 2002

2000

Intent Specifications: An Approach to Building Human-Centered Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2000

Experiences in Designing and Using Formal Specification Languages for Embedded Control Software.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Completeness in formal specification language design for process-control systems.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

1999

NSF workshop on a software research program for the 21st century.

[BibT_eX]

[DOI]

Victor R. Basili

Laszlo A. Belady

Barry W. Boehm

Frederick P. Brooks Jr.

ACM SIGSOFT Softw. Eng. Notes, 1999

Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future.

[BibT_eX]

[DOI]

Jon Damon Reese

Proceedings of the Software Engineering, 1999

1998

Designing a Requirements Specification Language for Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

1997

Integrated Safety Analysis of Requirements Specifications.

[BibT_eX]

[DOI]

Requir. Eng., 1997

Software Engineering: Stretching the Limits of Complexity.

[BibT_eX]

[DOI]

Commun. ACM, 1997

Software Deviation Analysis.

[BibT_eX]

[DOI]

Jon Damon Reese

Proceedings of the Pulling Together, 1997

1996

Completeness and Consistency in Hierarchical State-Based Requirements.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

Why State-of-the-Art is not State-of-the-Practice (Panel Abstract).

[BibT_eX]

[DOI]

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1995

Safety as a System Property.

[BibT_eX]

[DOI]

Commun. ACM, 1995

Woman in Computing - Where Are We Now?

[BibT_eX]

[DOI]

Maria M. Klawe

Commun. ACM, 1995

Completeness and Consistency Analysis of State-Based Requirements.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Software Engineering, 1995

Safeware - system safety and computers: a guide to preventing accidents and losses caused by technology.

[BibT_eX]

Addison-Wesley, ISBN: 978-0-201-11972-5, 1995

1994

Requirements Specification for Process-Control Systems.

[BibT_eX]

[DOI]

Holly Hildreth

Jon Damon Reese

IEEE Trans. Software Eng., 1994

High-Pressure Steam Engines and Computer Software.

[BibT_eX]

[DOI]

Computer, 1994

High Pressure Steam Engines and Computer Software (Abstract).

[BibT_eX]

[DOI]

Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

1993

Introduction to Special Issue on Software for Critical Systems.

[BibT_eX]

[DOI]

Peter G. Neumann

IEEE Trans. Software Eng., 1993

Investigation of the Therac-25 Accidents.

[BibT_eX]

[DOI]

Clark Savage Turner

Computer, 1993

1992

Formal methods.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1992

1991

An Empirical Comparison of Software Fault Tolerance and Fault Elimination.

[BibT_eX]

[DOI]

Timothy J. Shimeall

IEEE Trans. Software Eng., 1991

Software Requirements Analysis for Real-Time Process-Control Systems.

[BibT_eX]

[DOI]

Matthew S. Jaffe

Bonnie E. Melhart

IEEE Trans. Software Eng., 1991

Safety Verification of Ada Programs Using Software Fault Trees.

[BibT_eX]

[DOI]

Stephen S. Cha

Timothy J. Shimeall

IEEE Softw., 1991

Software Safety: In Embedded Computer Systems.

[BibT_eX]

[DOI]

Commun. ACM, 1991

Experiences using statecharts for a system requirements specification.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

1990

The Use of Self Checks and Voting in Software Error Detection: An Empirical Study.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

Guest Editor's Introduction Formal Methods in Software Engineering.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

Analysis of Faults in an N-Version Software Experiment.

[BibT_eX]

[DOI]

Susan S. Brilliant

IEEE Trans. Software Eng., 1990

The Challenge of Building Process-Control Software.

[BibT_eX]

[DOI]

IEEE Softw., 1990

A reply to the criticisms of the Knight & Leveson experiment.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1990

Evaluation of Software Safety.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Software Engineering, 1990

1989

The Consistent Comparison Problem in N-Version Software.

[BibT_eX]

[DOI]

Susan S. Brilliant

IEEE Trans. Software Eng., 1989

Analysis capabilities for requirements specified in statecharts.

[BibT_eX]

[DOI]

Bonnie E. Melhart

Matthew S. Jaffe

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

Completeness, Robustness, and Safety in Real-Time Software Requirements Specification.

[BibT_eX]

[DOI]

Matthew S. Jaffe

Proceedings of the 11th International Conference on Software Engineering, 1989

1988

Safety Verification in Murphy Using Fault Tree Analysis.

[BibT_eX]

[DOI]

Stephen S. Cha

Timothy J. Shimeall

Proceedings of the Proceedings, 1988

1987

Safety Analysis Using Petri Nets.

[BibT_eX]

[DOI]

Janice L. Stolzy

IEEE Trans. Software Eng., 1987

A scary tale - Sperry avionics module-testing bites the dust?

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1987

The consistent comparison problem in <i>N</i>-version software.

[BibT_eX]

[DOI]

Susan S. Brilliant

ACM SIGSOFT Softw. Eng. Notes, 1987

Software Fault Tolerance in Safety-Critical Applications.

[BibT_eX]

[DOI]

Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1987

1986

An Experimental Evaluation of the Assumption of Independence in Multiversion Programming.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1986

NRL invitational workshop on testing and proving: two approaches to assurance.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1986

Software Safety: Why, What, and How.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1986

1985

The PAMS Approach to Modeling Database Activity.

[BibT_eX]

Randell S. Flint

Proceedings of the Information Systems - Theoretical and Formal Aspects, 1985

Analyzing Safety and Fault Tolerance Using Time Petri Nets.

[BibT_eX]

[DOI]

Janice L. Stolzy

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Software Safety in Computer-Controlled Systems.

[BibT_eX]

[DOI]

Computer, 1984

1983

Analyzing Software Safety.

[BibT_eX]

[DOI]

Peter R. Harvey

IEEE Trans. Software Eng., 1983

Software fault tree analysis.

[BibT_eX]

[DOI]

Peter R. Harvey

J. Syst. Softw., 1983

BASIS: A Behavioral Approach to the Specification of Information Systems.

[BibT_eX]

[DOI]

Anthony I. Wasserman

Daniel M. Berry

Inf. Syst., 1983

1982

Software safety.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1982

1981

Logical Decentralization and Semantic Integrity in a Distributed Information System.

[BibT_eX]