Nicholas Annable

According to our database, Nicholas Annable authored at least 5 papers between 2019 and 2023.

Collaborative distances:

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

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