activity
20232026
most citedGPT-4 and Safety Case Generation: An Exploratory Analysis

4 citations · 8 across the 7 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.SE2025

LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases

Gerhard Yu, Mithila Sivakumar, Alvine B. Belle +3

Assurance cases allow verifying the correct implementation of certain non-functional requirements of mission-critical systems, including their safety, security, and reliability. Th…