I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems

Documenti analoghi

• A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
  di: Odu, Oluwafemi, et al.
  Pubblicazione: (2024)
• Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
  di: Odu, Oluwafemi, et al.
  Pubblicazione: (2024)
• Program Slicing in the Era of Large Language Models
  di: Shahandashti, Kimya Khakzad, et al.
  Pubblicazione: (2024)
• Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
  di: Shahandashti, Kimya Khakzad, et al.
  Pubblicazione: (2024)
• A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights
  di: Zeng, Zhili, et al.
  Pubblicazione: (2025)