Mithila Sivakumar

According to our database, Mithila Sivakumar authored at least 9 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Prompting GPT -4 to support automatic safety case generation.

Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Kimya Khakzad Shahandashti

Expert Syst. Appl., 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, Timothy C. Lethbridge

CoRR, 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, Opeyemi O. Adesina

CoRR, 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

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Design of the Safety Case of the Reinforcement Learning-Enabled Component of a Quanser Autonomous Vehicle.

Mithila Sivakumar, Alvine B. Belle, Jinjun Shan, Oluwafemi Odu, Mingfeng Yuan

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

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, Timothy Lethbridge

Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering, 2024

2023

GPT-4 and Safety Case Generation: An Exploratory Analysis.

Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Kimya Khakzad Shahandashti

CoRR, 2023

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, Marsha Chechik, Marios Fokaefs, Kimya Khakzad Shahandashti, Oluwafemi Odu

CoRR, 2023