| Assessing the impact of GPT-4 turbo in generating defeaters for assurance cases K Khakzad Shahandashti, M Sivakumar, MM Mohajer, A Boaye Belle, ... Proceedings of the 2024 IEEE/ACM First International Conference on AI …, 2024 | 13* | 2024 |
| GPT-4 and safety case generation: An exploratory analysis M Sivakumar, AB Belle, J Shan, KK Shahandashti arXiv preprint arXiv:2312.05696, 2023 | 9* | 2023 |
| I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems M Sivakumar, AB Belle, KK Shahandashti, O Odu, H Hemmati, ... arXiv preprint arXiv:2401.16633, 2024 | 5 | 2024 |
| Prompting GPT–4 to support automatic safety case generation M Sivakumar, AB Belle, J Shan, KK Shahandashti Expert Systems with Applications 255, 124653, 2024 | 4 | 2024 |
| A PRISMA-driven systematic mapping study on system assurance weakeners KK Shahandashti, AB Belle, TC Lethbridge, O Odu, M Sivakumar Information and Software Technology, 107526, 2024 | 4 | 2024 |
| Using gpt-4 turbo to automatically identify defeaters in assurance cases KK Shahandashti, AB Belle, MM Mohajer, O Odu, TC Lethbridge, ... 2024 IEEE 32nd International Requirements Engineering Conference Workshops …, 2024 | 3 | 2024 |
| A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns O Odu, AB Belle, S Wang, KK Shahandashti arXiv preprint arXiv:2407.04961, 2024 | 1 | 2024 |
| The last decade in review: Tracing the evolution of safety assurance cases through a comprehensive bibliometric analysis M Sivakumar, AB Belle, J Shan, O Adesina, S Wang, M Chechik, ... arXiv preprint arXiv:2311.07495, 2023 | 1 | 2023 |
| Program Slicing in the Era of Large Language Models KK Shahandashti, MM Mohajer, AB Belle, S Wang, H Hemmati arXiv preprint arXiv:2409.12369, 2024 | | 2024 |
Alvine B. Belle, Ph.D., assistant profes...York universityVerifierad e-postadress på cse.yorku.ca