Nicholas Annable

According to our database, Nicholas Annable authored at least 6 papers between 2019 and 2024.

Collaborative distances:

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

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

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