Jeff Joyce
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1998–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISSRE | 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 |
| 2023 | ICSE | Assurance Case Development as Data: A Manifesto. | Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik |
| 2011 | FMICS | 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 |
| 1998 | SAFECOMP | Refinement of Safety-Related Hazards into Verifiable Code Assertions. | Ken Wong, Jeff Joyce |