Login / Signup
Jeff Joyce
Publication Activity (10 Years)
Years Active: 1998-2023
Publications (10 Years): 2
Top Topics
Data Points
Agent Communication
Raw Data
Defeasible Reasoning
Top Venues
ICSE (NIER)
SysCon
</>
Publications
</>
Claudio Menghi
,
Torin Viger
,
Alessio Di Sandro
,
Chris Rees
,
Jeff Joyce
,
Marsha Chechik
Assurance Case Development as Data: A Manifesto.
ICSE (NIER)
(2023)
Simon Diemert
,
Jeff Joyce
Eliminative Argumentation for Arguing System Safety - A Practitioner's Experience.
SysCon
(2020)
Naghmeh Ghafari
,
Ramana Kumar
,
Jeff Joyce
,
Bernd Dehning
,
Christos Zamantzas
Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study.
FMICS
(2011)
Ken Wong
,
Jeff Joyce
Refinement of Safety-Related Hazards into Verifiable Code Assertions.
SAFECOMP
(1998)