1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.SE2026★ 1 cited
Automating Quality Assessment with NLP of LLM-Generated Defeaters
Tihomir Rohlinger, Daniel Ratiu, Stefan Wagner
High-integrity systems, such as autonomous vehicle fleets and large-scale energy infrastructures, rely on structured assurance cases to justify safety claims. To remain valid under…
cs.SE2024
Towards an Argument Pattern for the Use of Safety Performance Indicators
Daniel Ratiu, Tihomir Rohlinger, Torben Stolte +1
UL 4600, the safety standard for autonomous products, mandates the use of Safety Performance Indicators (SPIs) to continuously ensure the validity of safety cases by monitoring and…