Nicholas Annable

According to our database, Nicholas Annable authored at least 9 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Principled Safety Assurance Arguments.

Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng

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

2024

Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems.

Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng

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

Using Boundary Objects for Continuous Compliance in Automotive Development.

Anthony Shenouda, Tiziano Santilli, Faezeh Siavashi, Thomas Chiang, Nicholas Annable, Horacio Hoyos Rodriguez, Richard F. Paige, Patrizio Pelliccione, Mark Lawford, Alan Wassyng, Vera Pantelic

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Generating Understandable and Reusable Safety Assurance Cases using Workflow⁺.

Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

2023

Lessons Learned Building a Tool for Workflow⁺.

Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Deriving Safety Assurance Case Argumentation from WF+ Models.

Nicholas Annable

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models.

Richard F. Paige, Fiona A. C. Polack, Steffen Zschaler, Thomas Chiang, Nicholas Annable

J. Object Technol., 2022

Generating Assurance Cases Using Workflow⁺ Models.

Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng

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

2019

Assurance via workflow+ modelling and conformance.

Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford

CoRR, 2019