Jeff Joyce

According to our database, Jeff Joyce authored at least 4 papers between 1998 and 2023.

Collaborative distances:

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

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