My Publications
Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance Cases
Proceedings of the 2024 IEEE/ACM First International Conference on AI
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
arXiv preprint arXiv:2401.16633
GPT-4 and Safety Case Generation: An Exploratory Analysis
arXiv preprint arXiv:2312.05696
A PRISMA-driven systematic mapping study on system assurance weakeners
Information and Software Technology, 107526
Prompting GPT–4 to support automatic safety case generation
Expert Systems with Applications, 124653