Jeff Joyce

According to our database, Jeff Joyce authored at least 5 papers between 1998 and 2024.

Collaborative distances:

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

2024

AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases.

Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Jeff Joyce, Alessio Di Sandro, Marsha Chechik

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

2023

Assurance Case Development as Data: A Manifesto.

Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

2020

Eliminative Argumentation for Arguing System Safety - A Practitioner's Experience.

Simon Diemert, Jeff Joyce

Proceedings of the IEEE International Systems Conference, 2020

2011

Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study.

Naghmeh Ghafari, Ramana Kumar, Jeff Joyce, Bernd Dehning, Christos Zamantzas

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

1998

Refinement of Safety-Related Hazards into Verifiable Code Assertions.

Ken Wong, Jeff Joyce

Proceedings of the Computer Safety, 1998