ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
Fuente:
arXiv
Saved in:
| Main Authors: | Wei, Ran, Foster, Simon, Mei, Haitao, Yan, Fang, Yang, Ruizhe, Habli, Ibrahim, O'Halloran, Colin, Tudor, Nick, Kelly, Tim, Nemouchi, Yakoub |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Formal Evidence Generation for Assurance Cases for Robotic Software Models
by: Yan, Fang, et al.
Published: (2026)
by: Yan, Fang, et al.
Published: (2026)
Out-of-Distribution Detection for Safety Assurance of AI and Autonomous Systems
by: Hodge, Victoria J., et al.
Published: (2025)
by: Hodge, Victoria J., et al.
Published: (2025)
Posthumanism and Deconstructing Arguments
by: O'Halloran, Kieran
Published: (2025)
by: O'Halloran, Kieran
Published: (2025)
Applying artificial intelligence technologies in the veterinary profession
by: Ben O'Halloran
Published: (2026)
by: Ben O'Halloran
Published: (2026)
BVA calls for a ban on sow farrowing crates
by: Ben O'Halloran
Published: (2025)
by: Ben O'Halloran
Published: (2025)
BVA London dinner: ‘Stand together on reform’
by: Ben O'Halloran
Published: (2026)
by: Ben O'Halloran
Published: (2026)
Small actions to promote conservation and sustainability
by: Chris O'Halloran
Published: (2024)
by: Chris O'Halloran
Published: (2024)
Clear, Compelling Arguments: Rethinking the Foundations of Frontier AI Safety Cases
by: Feakins, Shaun, et al.
Published: (2026)
by: Feakins, Shaun, et al.
Published: (2026)
Mouth taping: a little less conversation, a little more action, please!
by: Ken D. O'Halloran
Published: (2024)
by: Ken D. O'Halloran
Published: (2024)
Exercise intolerance in pulmonary hypertension: robbing Peter to pay Paul
by: Ken D. O'Halloran
Published: (2024)
by: Ken D. O'Halloran
Published: (2024)
News, views and where best to choose
by: Ken D. O'Halloran
Published: (2025)
by: Ken D. O'Halloran
Published: (2025)
Synaptic loss in motor neurons precipitates age‐related dysphagia: Middle agers gotta keep in touch!
by: Ken D. O'Halloran
Published: (2025)
by: Ken D. O'Halloran
Published: (2025)
Transfer entropy through the looking glass
by: Ken D. O'Halloran
Published: (2025)
by: Ken D. O'Halloran
Published: (2025)
Intermittent hypoxia therapy for motor insufficiency: hype, hope or hard work?
by: Ken D. O'Halloran
Published: (2024)
by: Ken D. O'Halloran
Published: (2024)
Take my breath away: Solving physiological puzzles to save lives
by: Ken D. O'Halloran
Published: (2025)
by: Ken D. O'Halloran
Published: (2025)
Homeostasis in the laboratory, the clinic and our academic institutions!
by: Ken D. O'Halloran
Published: (2025)
by: Ken D. O'Halloran
Published: (2025)
Diaphragm ultrasonography: A picture is worth a thousand words
by: Ken D. O'Halloran
Published: (2024)
by: Ken D. O'Halloran
Published: (2024)
The Wildity Scale as a management tool for reintroduced specimens
by: Terrance Vincent O'Halloran
Published: (2025)
by: Terrance Vincent O'Halloran
Published: (2025)
Model Based System Assurance Using the Structured Assurance Case Metamodel
by: Wei, Ran, et al.
Published: (2019)
by: Wei, Ran, et al.
Published: (2019)
The BIG Argument for AI Safety Cases
by: Habli, Ibrahim, et al.
Published: (2025)
by: Habli, Ibrahim, et al.
Published: (2025)
Delegation and Lobbying
by: Groll, Thomas, et al.
Published: (2025)
by: Groll, Thomas, et al.
Published: (2025)
Using implementation science to avoid SNAP judgments
by: Eliza Firn, et al.
Published: (2025)
by: Eliza Firn, et al.
Published: (2025)
Distributive Politics, Representation, and Redistricting
by: Groll, Thomas, et al.
Published: (2026)
by: Groll, Thomas, et al.
Published: (2026)
A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
by: Salhi, Yakoub
Published: (2024)
by: Salhi, Yakoub
Published: (2024)
Unravelling the complexity of respiratory involvement in Duchenne muscular dystrophy: An urgent call for a collective translational approach
by: Federica Trucco, et al.
Published: (2025)
by: Federica Trucco, et al.
Published: (2025)
Champions of the mountains: superior aerobic performance in Tibetans is not due to enhanced cardiopulmonary traits
by: Ben T. Murphy, et al.
Published: (2024)
by: Ben T. Murphy, et al.
Published: (2024)
Respiratory performance in Duchenne muscular dystrophy: Clinical manifestations and lessons from animal models
by: Rebecca Delaney, et al.
Published: (2024)
by: Rebecca Delaney, et al.
Published: (2024)
Upstream and Downstream AI Safety: Both on the Same River?
by: McDermid, John, et al.
Published: (2024)
by: McDermid, John, et al.
Published: (2024)
Evaluating Metrics for Safety with LLM-as-Judges
by: Clegg, Kester, et al.
Published: (2025)
by: Clegg, Kester, et al.
Published: (2025)
Stimulation of sodium transport across the isolated toad bladder by 1a-hydroxycorticosterone from an elasmobranch
by: Grimm, A. S., O'Halloran, Idler, D. R
Published: (1969)
by: Grimm, A. S., O'Halloran, Idler, D. R
Published: (1969)
Speech and Language Therapy Weekend Service in Inpatient Rehabilitation: A Qualitative Study Exploring Perspectives of People With Stroke
by: Lidia Davies, et al.
Published: (2025)
by: Lidia Davies, et al.
Published: (2025)
Learning Run-time Safety Monitors for Machine Learning Components
by: Vardal, Ozan, et al.
Published: (2024)
by: Vardal, Ozan, et al.
Published: (2024)
Enhanced Detection of Multiple Myeloma Cells by Next‐Generation Flow Cytometry Following Density Gradient Medium Separation
by: Aisling O'Brien, et al.
Published: (2025)
by: Aisling O'Brien, et al.
Published: (2025)
Influenza Vaccination and Occupational Social Intensity: Evidence From U.S. Workers
by: Yancheng Xiao, et al.
Published: (2025)
by: Yancheng Xiao, et al.
Published: (2025)
A rapid method for partial hypophysectomy in three species of skate (Raja radiata, R. ocellata, and R. erinacea)
by: Idler, D. R., Truscott, B., O'Halloran, M. J
Published: (1970)
by: Idler, D. R., Truscott, B., O'Halloran, M. J
Published: (1970)
Understanding the Effects of Safety Unalignment on Large Language Models
by: Halloran, John T.
Published: (2026)
by: Halloran, John T.
Published: (2026)
What's my role? Modelling responsibility for AI-based safety-critical systems
by: Ryan, Philippa, et al.
Published: (2023)
by: Ryan, Philippa, et al.
Published: (2023)
Hiding in Plain Sight: Pulmonary Vein Stenosis Following Pediatric Heart Transplantation
by: Conor P. O'Halloran, et al.
Published: (2025)
by: Conor P. O'Halloran, et al.
Published: (2025)
MCP Safety Training: Learning to Refuse Falsely Benign MCP Exploits using Improved Preference Alignment
by: Halloran, John
Published: (2025)
by: Halloran, John
Published: (2025)
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
by: Murphy, Logan, et al.
Published: (2024)
by: Murphy, Logan, et al.
Published: (2024)
Similar Items
-
Formal Evidence Generation for Assurance Cases for Robotic Software Models
by: Yan, Fang, et al.
Published: (2026) -
Out-of-Distribution Detection for Safety Assurance of AI and Autonomous Systems
by: Hodge, Victoria J., et al.
Published: (2025) -
Posthumanism and Deconstructing Arguments
by: O'Halloran, Kieran
Published: (2025) -
Applying artificial intelligence technologies in the veterinary profession
by: Ben O'Halloran
Published: (2026) -
BVA calls for a ban on sow farrowing crates
by: Ben O'Halloran
Published: (2025)