1. Using GPT-4 Turbo to Automatically Identify Defeaters in Assurance Cases;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24
2. Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance Cases;Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering;2024-04-14
3. Including Defeaters in Quantitative Confidence Assessments for Assurance Cases;Lecture Notes in Computer Science;2024
4. Safety Integrity Levels for Artificial Intelligence;Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops;2023
5. Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases;Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops;2023