Rob Weaver

According to our database, Rob Weaver authored at least 4 papers between 2003 and 2021.

Collaborative distances:

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

2021

Safety, Complexity, and Automated Driving: Holistic Perspectives on Safety Assurance.

Simon Burton, John A. McDermid, Philip Garnett, Rob Weaver

Computer, 2021

2006

Gaining Confidence in Goal-based Safety Cases.

Rob Weaver, Tim Kelly, Paul Mayo

Proceedings of the Developments in Risk-based Approaches to Safety, 2006

2005

Combining software evidence: arguments and assurance.

Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid

ACM SIGSOFT Softw. Eng. Notes, 2005

2003

A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments.

Rob Weaver, Jane Fenn, Tim Kelly

Proceedings of the Safety Critical Systems and Software 2003, 2003