The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis. - Mithila Sivakumar; Alvine Boaye Belle; Jinjun Shan; Opeyemi Adesina; Song Wang 009; Marsha Chechik; Marios Fokaefs; Kimya Khakzad Shahandashti; Oluwafemi Odu (CoRR, 2023)

GPT-4 and Safety Case Generation: An Exploratory Analysis. - Mithila Sivakumar; Alvine Boaye Belle; Jinjun Shan; Kimya Khakzad Shahandashti (CoRR, 2023)

Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance Cases. - Kimya Khakzad Shahandashti; Mithila Sivakumar; Mohammad Mahdi Mohajer; Alvine Boaye Belle; Song Wang 009; Timothy Lethbridge (FORGE, 2024)

Using GPT-4 Turbo to Automatically Identify Defeaters in Assurance Cases. - Kimya Khakzad Shahandashti; Alvine Boaye Belle; Mohammad Mahdi Mohajer; Oluwafemi Odu; Timothy C. Lethbridge; Hadi Hemmati; Song Wang 009 (RE Workshops, 2024)

Exploring the Capabilities of Large Language Models for the Generation of Safety Cases: the Case of GPT-4. - Mithila Sivakumar; Alvine Boaye Belle; Jinjun Shan; Kimya Khakzad Shahandashti (RE Workshops, 2024)

I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems. - Mithila Sivakumar; Alvine Boaye Belle; Kimya Khakzad Shahandashti; Oluwafemi Odu; Hadi Hemmati; Segla Kpodjedo; Song Wang 009; Opeyemi O. Adesina (CoRR, 2024)

Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases. - Kimya Khakzad Shahandashti; Mithila Sivakumar; Mohammad Mahdi Mohajer; Alvine Boaye Belle; Song Wang 009; Timothy C. Lethbridge (CoRR, 2024)

A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns. - Oluwafemi Odu; Alvine Boaye Belle; Song Wang 009; Kimya Khakzad Shahandashti (CoRR, 2024)

Program Slicing in the Era of Large Language Models. - Kimya Khakzad Shahandashti; Mohammad Mahdi Mohajer; Alvine Boaye Belle; Song Wang 009; Hadi Hemmati (CoRR, 2024)

Prompting GPT -4 to support automatic safety case generation. - Mithila Sivakumar; Alvine Boaye Belle; Jinjun Shan; Kimya Khakzad Shahandashti (Expert Syst. Appl., 2024)

A PRISMA-driven systematic mapping study on system assurance weakeners. - Kimya Khakzad Shahandashti; Alvine Boaye Belle; Timothy C. Lethbridge; Oluwafemi Odu; Mithila Sivakumar (Inf. Softw. Technol., 2024)

A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights. - Zhili Zeng; Kimya Khakzad Shahandashti; Alvine Boaye Belle; Song Wang 009; Zhen Ming Jiang (CoRR, 2025)