John C. Knight

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

2016

Diversity in Cybersecurity.

[BibT_eX]

[DOI]

Computer, 2016

The Indispensable Role of Rationale in Safety Standards.

[BibT_eX]

[DOI]

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

A Proof Infrastructure for Binary Programs.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Domain Arguments in Safety Critical Software Development.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Synthesis of Logic Interpretations.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Proving Critical Properties of Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

A System for the Security Protection of Embedded Binary Programs.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual Cyber and Information Security Research Conference, 2016

2015

Real-World Types and Their Application.

[BibT_eX]

[DOI]

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

A Safety Condition Monitoring System.

[BibT_eX]

[DOI]

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

A Comprehensive Safety Lifecycle.

[BibT_eX]

[DOI]

Kimberly S. Wasson

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

Static analysis of physical properties in Simulink models.

[BibT_eX]

[DOI]

Ashlie B. Hocking

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

2014

Arguing Software Compliance with ISO 26262.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Proving Model Equivalence in Model Based Design.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

SCT: A Safety Case Toolkit.

[BibT_eX]

[DOI]

Ashlie B. Hocking

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

A security metric based on security arguments.

[BibT_eX]

[DOI]

Benjamin D. Rodes

Kimberly S. Wasson

Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics, 2014

Speculative Software Modification and its Use in Securing SOUP.

[BibT_eX]

[DOI]

Benjamin D. Rodes

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing.

[BibT_eX]

[DOI]

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

A Framework for Creating Binary Rewriting Tools (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2013

Moving Target Defenses in the Helix Self-Regenerative Architecture.

[BibT_eX]

[DOI]

Proceedings of the Moving Target Defense II, 2013

1st international workshop on assurance cases for software-intensive systems (ASSURE 2013).

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Arguing Conformance.

[BibT_eX]

[DOI]

IEEE Softw., 2012

Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Effectiveness of Moving Target Defenses.

[BibT_eX]

[DOI]

David Evans

Anh Nguyen-Tuong

Proceedings of the Moving Target Defense, 2011

A New Approach to creating Clear Safety Arguments.

[BibT_eX]

[DOI]

Proceedings of the Advances in Systems Safety, 2011

PEASOUP: preventing exploits against software of uncertain provenance (position paper).

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, 2011

Component-Oriented Monitoring of Binaries for Security.

[BibT_eX]

[DOI]

Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

Diversity.

[BibT_eX]

[DOI]

Proceedings of the Dependable and Historic Computing, 2011

2010

Formal Verification of Large Software Systems.

[BibT_eX]

Proceedings of the Second NASA Formal Methods Symposium, 2010

Software Process Synthesis in Assurance Based Development of Dependable Systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth European Dependable Computing Conference, 2010

On the effectiveness of the metamorphic shield.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, 4th European Conference, 2010

Practical Limits on Software Dependability: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologiey, 2010

2009

Security through Diversity: Leveraging Virtual Machine Technology.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2009

Exploiting refactoring in formal verification.

[BibT_eX]

[DOI]

Westley Weimer

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

The essential synthesis of problem frames and assurance cases.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2008

Formal Verification by Reverse Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2008

Security through redundant data diversity.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007

Dynamic System-Wide Reconfiguration of Grid Deployments in Response to Intrusion Detections.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing and Communications, 2007

Meeting virtual organization performance goals through adaptive grid reconfiguration.

[BibT_eX]

[DOI]

Zach Hill

Proceedings of the 8th IEEE/ACM International Conference on Grid Computing (GRID 2007), 2007

Assurance Based Development of Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

Dependability through Assured Reconfiguration in Embedded System Software.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2006

Software and higher education.

[BibT_eX]

[DOI]

Commun. ACM, 2006

Secure and practical defense against code-injection attacks using software dynamic translation.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Future Trends of Software Technology and Applications Model-Based Development.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

Focusing software education on engineering.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Using Occurrence Properties of Defect Report Data to Improve Requirements.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

The Development of Dependable and Survivable Grids.

[BibT_eX]

[DOI]

Glenn S. Wasson

Jim Basney

Proceedings of the Computational Science, 2005

Echo: a practical approach to formal verification.

[BibT_eX]

[DOI]

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

Assured Reconfiguration of Fail-Stop Systems.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Editorial: The State of TSE.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

Editorial: AE Introduction.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

The Design and Evaluation of a Defense System for Internet Worms.

[BibT_eX]

[DOI]

Riccardo Scandariato

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

Failure Analysis and the Safety-Case Lifecycle.

[BibT_eX]

[DOI]

William S. Greenwell

Proceedings of the Human Error, 2004

An Introduction to Computing System Dependability.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Assured Reconfiguration of Embedded Real-Time Software.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Efficient Hierarchic Management For Reconfiguration of Networked Information Systems.

[BibT_eX]

[DOI]

Philip E. Varner

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

New AEIC Introduction and AE Farewell.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

Editorial: AE Farewell.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2003

Achieving Critical System Survivability Through Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems II, 2003

Computing Systems Dependability.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

Towards a Rigorous Definition of Information System Survivability.

[BibT_eX]

[DOI]

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

Willow System Demonstration.

[BibT_eX]

[DOI]

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002

Editorial: New AE Introduction/Farewell.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2002

AE Introduction.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2002

Should software engineers be licensed?.

[BibT_eX]

[DOI]

Commun. ACM, 2002

Desert Island Books.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2002

Software Challenges in Aviation Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2002

Dependability of embedded systems.

[BibT_eX]

[DOI]

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

Safety critical systems: challenges and directions.

[BibT_eX]

[DOI]

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

2001

Tool Support for Production Use of Formal Techniques.

[BibT_eX]

[DOI]

Kimberly S. Hanks

Sean R. Travis

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Fault Tolerant Distributed Information Systems.

[BibT_eX]

[DOI]

Matthew C. Elder

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

Protection of Software-Based Survivability Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000

On Computer Viral Infection and the Effect of Immunization.

[BibT_eX]

[DOI]

Chenxi Wang

Matthew C. Elder

Proceedings of the 16th Annual Computer Security Applications Conference (ACSAC 2000), 2000

1999

Empirical research in software engineering: a workshop.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1999

Information Survivability Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

Tool Support for Production Use of Formal Techniques.

[BibT_eX]

[DOI]

P. Thomas Fletcher

Brian R. Hicks

Proceedings of the FM'99 - Formal Methods, 1999

1998

Software Quality Through Domain-Driven Certification.

[BibT_eX]

[DOI]

Michael F. Dunn

Ann. Softw. Eng., 1998

Challenges in the Utilization of Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

Applying Hypertext Structures to Software Documentation.

[BibT_eX]

[DOI]

James C. French

Allison L. Powell

Inf. Process. Manag., 1997

Applying Data Redundancy to Differential Equation Solvers.

[BibT_eX]

[DOI]

Dahlard L. Lukes

Ann. Softw. Eng., 1997

Preliminary Evaluation of a Formal Approach to User Interface Specification.

[BibT_eX]

[DOI]

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Software Test Techniques for System Fault-Tree Analysis.

[BibT_eX]

[DOI]

Luís G. Nakano

Proceedings of the 16th International Conference on Computer Safety, 1997

1996

A systematic approach to creating and maintaining software documentation.

[BibT_eX]

[DOI]

Allison L. Powell

James C. French

Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Engineering, 1996

1994

The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

Guest Editors' Introduction: Critical Task of Writing Dependable Software.

[BibT_eX]

[DOI]

Bev Littlewood

IEEE Softw., 1994

Undergraduate computer science education: a new curriculum philosophy & overview.

[BibT_eX]

[DOI]

Jane C. Prey

William A. Wulf

Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994

Testing a Safety-Critical Application.

[BibT_eX]

[DOI]

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

1993

An Improved Inspection Technique.

[BibT_eX]

[DOI]

E. Ann Myers

Commun. ACM, 1993

Automating the Detection of Reusable Parts in Existing Software.

[BibT_eX]

[DOI]

Michael F. Dunn

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

Preliminary Experience Using Z to Specify a Safety-Critical System.

[BibT_eX]

[DOI]

Darrell M. Kienzle

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

1991

An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1991

Phased inspections and their implementation.

[BibT_eX]

[DOI]

E. Ann Myers

ACM SIGSOFT Softw. Eng. Notes, 1991

Software Reuse in an Industrial Setting: A Case Study.

[BibT_eX]

[DOI]

Michael F. Dunn

Proceedings of the 13th International Conference on Software Engineering, 1991

1990

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

Analysis of Faults in an N-Version Software Experiment.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

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

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1990

On the assessment of Ada performance.

[BibT_eX]

[DOI]

Proceedings of the Working Group on Ada Performance Issues 1990, 1990

On the performance of software testing using multiple versions.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990

Issues of software reliability in medical systems.

[BibT_eX]

[DOI]

Proceedings of the Third Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'90), 1990

1989

The Consistent Comparison Problem in N-Version Software.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

Issues Influencing the Use of N-Version Programming.

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

Can Software Faults be Tolerated? (Position Statement).

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

On the provision of backward error recovery in production programming languages.

[BibT_eX]

[DOI]

Samuel T. Gregory

Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988

Data Diversity: An Approach to Software Fault Tolerance.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

A new approach to fault tolerance in distributed Ada programs.

[BibT_eX]

[DOI]

Marc E. Rouleau

Proceedings of the Second International Workshop on Real-Time Ada Issues, 1988

1987

On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems.

[BibT_eX]

[DOI]

John I. A. Urquhart

IEEE Trans. Software Eng., 1987

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

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1987

Analysis of Ada for a crucial distributed application.

[BibT_eX]

[DOI]

Marc E. Rouleau

Proceedings of the Joint Ada conference Fifth National Conference on Ada Technology and Fourth Washington Ada Symposium, 1987

Ada on fault-tolerant distributed systems.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Real-Time Ada Issues, 1987

1986

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1986

1985

Software Development Tools for Microcontrollers.

[BibT_eX]

[DOI]

James L. Russel

Softw. Pract. Exp., 1985

An Experimental Evaluation of Simple Methods for Seeding Program Errors.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1985

1983

A Framework for Software Fault Tolerance in Real-Time Systems.

[BibT_eX]

[DOI]

Thomas Anderson

IEEE Trans. Software Eng., 1983

On the Design of a Special-purpose Scientific Programming Language.

[BibT_eX]

[DOI]

Douglas D. Dunlop

Softw. Pract. Exp., 1983

Comprehensive Tools for Assembler Construction.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1983

The UK5000 - successful collaborative development of an integrated design system for a 5000 gate CMOS array with built-in test.

[BibT_eX]

[DOI]

Proceedings of the 20th Design Automation Conference, 1983

1979

PASCAL Users' forum.

[BibT_eX]

[DOI]

Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979

1975

A language design for vector machines.

[BibT_eX]

[DOI]

Victor R. Basili

Proceedings of the Conference on Programming Languages and Compilers for Parallel and Vector Machines 1975, 1975

System balance analysis for vector computers.

[BibT_eX]

[DOI]