Mithila Sivakumar

11 papers Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases.
CoRR
Gerhard Yu, Mithila Sivakumar, Alvine B. Belle, Soude Ghari, Song Wang, Timothy C. Lethbridge
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 — conf
Design of the Safety Case of the Reinforcement Learning-Enabled Component of a Quanser Autonomous Vehicle.
RE Workshops
Mithila Sivakumar, Alvine B. Belle, Jinjun Shan, Oluwafemi Odu, Mingfeng Yuan
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
Prompting GPT -4 to support automatic safety case generation.
Expert Syst. Appl.
Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Kimya Khakzad Shahandashti
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