Nick Tudor

According to our database, Nick Tudor authored at least 4 papers between 2007 and 2024.

Collaborative distances:

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

2024

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.

Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi

J. Syst. Softw., 2024

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.

Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly

CoRR, 2024

2020

Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.

Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2007

Modeling Risk-Benefit Assumptions in Technology Substitution.

Antony Powell, John Murdoch, Nick Tudor

Proceedings of the Software Process Dynamics and Agility, 2007