Kimya Khakzad Shahandashti

14 papers B 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights.
CoRR
Zhili Zeng, Kimya Khakzad Shahandashti, Alvine Boaye Belle, Song Wang, Zhen Ming Jiang
2025 B conf
Program Slicing in the Era of Large Language Models.
COMPSAC
Kimya Khakzad Shahandashti, Mohammad Mahdi Mohajer, Alvine Boaye Belle, Song Wang, Hadi Hemmati Lassonde
2024 J jnl
A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns.
CoRR
Oluwafemi Odu, Alvine Boaye Belle, Song Wang, Kimya Khakzad Shahandashti
2024 J jnl
A PRISMA-driven systematic mapping study on system assurance weakeners.
Inf. Softw. Technol.
Kimya Khakzad Shahandashti, Alvine Boaye Belle, Timothy C. Lethbridge, Oluwafemi Odu, Mithila Sivakumar
2024 — conf
Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance Cases.
FORGE
Kimya Khakzad Shahandashti, Mithila Sivakumar, Mohammad Mahdi Mohajer, Alvine Boaye Belle, Song Wang, Timothy Lethbridge
2024 J jnl
Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases.
CoRR
Kimya Khakzad Shahandashti, Mithila Sivakumar, Mohammad Mahdi Mohajer, Alvine Boaye Belle, Song Wang, Timothy C. Lethbridge
2024 — conf
Exploring the Capabilities of Large Language Models for the Generation of Safety Cases: the Case of GPT-4.
RE Workshops
Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Kimya Khakzad Shahandashti
2024 J jnl
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems.
CoRR
Mithila Sivakumar, Alvine Boaye Belle, Kimya Khakzad Shahandashti, Oluwafemi Odu, Hadi Hemmati, Segla Kpodjedo, Song Wang, Opeyemi O. Adesina
2024 J jnl
Program Slicing in the Era of Large Language Models.
CoRR
Kimya Khakzad Shahandashti, Mohammad Mahdi Mohajer, Alvine Boaye Belle, Song Wang, Hadi Hemmati
2024 J jnl
Prompting GPT -4 to support automatic safety case generation.
Expert Syst. Appl.
Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Kimya Khakzad Shahandashti
2024 — conf
Using GPT-4 Turbo to Automatically Identify Defeaters in Assurance Cases.
RE Workshops
Kimya Khakzad Shahandashti, Alvine Boaye Belle, Mohammad Mahdi Mohajer, Oluwafemi Odu, Timothy C. Lethbridge, Hadi Hemmati, Song Wang
2023 J jnl
A PRISMA-driven systematic mapping study on system assurance weakeners.
CoRR
Kimya Khakzad Shahandashti, Alvine Boaye Belle, Timothy C. Lethbridge, Oluwafemi Odu, Mithila Sivakumar
2023 J jnl
GPT-4 and Safety Case Generation: An Exploratory Analysis.
CoRR
Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Kimya Khakzad Shahandashti
2023 J jnl
The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis.
CoRR
Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Opeyemi Adesina, Song Wang, Marsha Chechik, Marios Fokaefs, Kimya Khakzad Shahandashti, Oluwafemi Odu