Nicholas Annable

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Graphical Representations

Top Venues

J. Object Technol.

Publications

Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
. MODELS (2023)
Nicholas Annable
Deriving Safety Assurance Case Argumentation from WF+ Models. MoDELS (Companion) (2023)
Richard F. Paige, Fiona A. C. Polack, Steffen Zschaler, Thomas Chiang, Nicholas Annable
Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models. J. Object Technol. 21 (4) (2022)
Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
Models. SAFECOMP (2022)
Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford
Assurance via workflow+ modelling and conformance. CoRR (2019)