Jane Fenn

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 1

Top Topics

Computing Systems

Relational Databases

Top Venues

Publications

Jane Fenn, Mark Nicholson, Ganesh Pai, Michael Wilkinson
Architecting Safer Autonomous Aviation Systems. CoRR (2023)
Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly
Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. SSS (2007)
Jane Fenn, Brian Jepson
Putting Trust into Safety Arguments. SSS (2005)
Rob Weaver, Jane Fenn, Tim Kelly
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. SCS (2003)