Login / Signup
Nick Tudor
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 3
Top Topics
Formal Methods
Regulatory Requirements
Theorem Prover
Software Intensive Systems
Top Venues
FormaliSE@ICSE
CoRR
J. Syst. Softw.
</>
Publications
</>
Ran Wei
,
Simon Foster
,
Haitao Mei
,
Fang Yan
,
Ruizhe Yang
,
Ibrahim Habli
,
Colin O'Halloran
,
Nick Tudor
,
Tim Kelly
,
Yakoub Nemouchi
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.
J. Syst. Softw.
213 (2024)
Ran Wei
,
Simon Foster
,
Haitao Mei
,
Fang Yan
,
Ruizhe Yang
,
Ibrahim Habli
,
Colin O'Halloran
,
Nick Tudor
,
Tim Kelly
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.
CoRR
(2024)
Simon Foster
,
Yakoub Nemouchi
,
Colin O'Halloran
,
Karen Stephenson
,
Nick Tudor
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.
FormaliSE@ICSE
(2020)
Antony Powell
,
John Murdoch
,
Nick Tudor
Modeling Risk-Benefit Assumptions in Technology Substitution.
ICSP
(2007)