I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
Fuente:
arXiv
Saved in:
| Main Authors: | Sivakumar, Mithila, Belle, Alvine B., Shahandashti, Kimya Khakzad, Odu, Oluwafemi, Hemmati, Hadi, Kpodjedo, Segla, Wang, Song, Adesina, Opeyemi O. |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
by: Odu, Oluwafemi, et al.
Published: (2024)
by: Odu, Oluwafemi, et al.
Published: (2024)
Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
by: Odu, Oluwafemi, et al.
Published: (2024)
by: Odu, Oluwafemi, et al.
Published: (2024)
Program Slicing in the Era of Large Language Models
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024)
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024)
Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024)
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024)
A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights
by: Zeng, Zhili, et al.
Published: (2025)
by: Zeng, Zhili, et al.
Published: (2025)
Safety Case Patterns for VLA-based driving systems: Insights from SimLingo
by: Yu, Gerhard, et al.
Published: (2026)
by: Yu, Gerhard, et al.
Published: (2026)
SmartGSN: an online tool to semi-automatically manage assurance cases
by: Odu, Oluwafemi, et al.
Published: (2024)
by: Odu, Oluwafemi, et al.
Published: (2024)
LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases
by: Yu, Gerhard, et al.
Published: (2025)
by: Yu, Gerhard, et al.
Published: (2025)
Biases in gendered citation practices: an exploratory study and some reflections on the Matthew and Matilda effects
by: Tchilinguirova, Karolina, et al.
Published: (2024)
by: Tchilinguirova, Karolina, et al.
Published: (2024)
When fMRI came to Bergen and Norway – as I remember it
by: Kenneth Hugdahl
Published: (2024)
by: Kenneth Hugdahl
Published: (2024)
I swear I saw this Drawings in fieldwork notebooks, namely my own
by: CAMILO SEMPIO DURÁN
Published: (2014)
by: CAMILO SEMPIO DURÁN
Published: (2014)
"I came to take my place": Contemporary discourses of Rastafari in Jamaican popular culture
by: Donna Hope
Published: (2009)
by: Donna Hope
Published: (2009)
Application of influence diagrams to multi‐objective allocation of firefighting resources in process plants
by: Sina Khakzad, et al.
Published: (2025)
by: Sina Khakzad, et al.
Published: (2025)
“I saw souls”: remarks on the theory and practice of intercultural and interfaith spiritual care
by: Helmut Weiss
Published: (2011)
by: Helmut Weiss
Published: (2011)
"I came from there (but no one warned me!)": reflections on people management policies that target intranational interculturality
by: Aline Craide
Published: (2011)
by: Aline Craide
Published: (2011)
Synthesis and Anticancer Activities of some Ag(I) Complexes Involving N ‐Heterocyclic Carbene Ligands
by: Ahmed Hassoon Mageed, et al.
Published: (2024)
by: Ahmed Hassoon Mageed, et al.
Published: (2024)
Lightweight tubular fiberboard: effect of hole diameters and number on panel properties
by: Javad Khakzad
Published: (2020)
by: Javad Khakzad
Published: (2020)
La réforme de I'assurance sociale en Equateur
by: F. A. López Arteta
Published: (1944)
by: F. A. López Arteta
Published: (1944)
A data‐driven safety preserving control architecture for constrained cyber‐physical systems
by: Mehran Attar, et al.
Published: (2024)
by: Mehran Attar, et al.
Published: (2024)
Bias Detection and Rotation-Robustness Mitigation in Vision-Language Models and Generative Image Models
by: Mithila, Tarannum
Published: (2026)
by: Mithila, Tarannum
Published: (2026)
Transfer of auxinic herbicide resistance from wild mustard (Sinapis arvensis) into radish (Raphanus sativus) through embryo rescue
by: J. Mithila
Published: (2012)
by: J. Mithila
Published: (2012)
How we came to be Human
Published: (2001)
Published: (2001)
Singular Riemannian foliations and $\mathcal{I}$-Poisson manifolds
by: Nahari, Hadi, et al.
Published: (2022)
by: Nahari, Hadi, et al.
Published: (2022)
Remember from whence you came
by: Dawn Z. Hodges
Published: (2024)
by: Dawn Z. Hodges
Published: (2024)
An Age of empires. They came, they went away
Published: (1999)
Published: (1999)
Finance and economics. And it finally came to tears
Published: (1997)
Published: (1997)
Partition Functions and Kurepa Decomposition I: Algebraic computation and some physical Applications
by: Howard, Francis Atta
Published: (2025)
by: Howard, Francis Atta
Published: (2025)
FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair
by: Fatima, Sakina, et al.
Published: (2023)
by: Fatima, Sakina, et al.
Published: (2023)
Enquête sur I'application de l'assurance-chômage en Grande-Bretagne
Published: (1927)
Published: (1927)
Hybrid‐triggered predictive control of cyber‐physical‐systems under cyber‐attacks
by: Hengqian Li, et al.
Published: (2024)
by: Hengqian Li, et al.
Published: (2024)
“I feel like a ‘cyber‐gypsy’”: BL fanfiction writers in China's changing landscape of fandom culture
by: Xiaomeng Li
Published: (2024)
by: Xiaomeng Li
Published: (2024)
„Dozens of Experiments … the Fire Brigade came twice“
Published: (2025)
Published: (2025)
Along came a spider / James Patterson
by: Patterson, James
by: Patterson, James
Which came first: Sarcopenia or weight loss?
by: Katsuhiko Ohori, et al.
Published: (2024)
by: Katsuhiko Ohori, et al.
Published: (2024)
Local metamaterials and transition layers
by: Yadollahpour, Kimya, et al.
Published: (2025)
by: Yadollahpour, Kimya, et al.
Published: (2025)
A risk‐based fuzzy arithmetic model to determine safety integrity levels considering individual and societal risks
by: Morteza Cheraghi, et al.
Published: (2024)
by: Morteza Cheraghi, et al.
Published: (2024)
Should I stay or should I go? Coral bleaching from the symbionts' perspective
by: Carly B. Scott, et al.
Published: (2024)
by: Carly B. Scott, et al.
Published: (2024)
On the Role of Fault Localization Context for LLM-Based Program Repair
by: Sepidband, Melika, et al.
Published: (2026)
by: Sepidband, Melika, et al.
Published: (2026)
Methodological Evaluation of Transport Maintenance Depot Systems in Nigeria: Multilevel Regression Analysis for System Reliability Assessment
by: Adesina, Olabode
Published: (2000)
by: Adesina, Olabode
Published: (2000)
Chemical and Microstructural Evolution of Cement Pastes with Additives and SCMs During the First 24 h
by: Adeyemi Adesina
Published: (2026)
by: Adeyemi Adesina
Published: (2026)
Similar Items
-
A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
by: Odu, Oluwafemi, et al.
Published: (2024) -
Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
by: Odu, Oluwafemi, et al.
Published: (2024) -
Program Slicing in the Era of Large Language Models
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024) -
Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024) -
A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights
by: Zeng, Zhili, et al.
Published: (2025)