1 citations · 1 across the 1 of their papers we have counts for
3 papers
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…
Safety Factories - a Manifesto
Carmen Cârlan, Daniel Ratiu, Michael Wagner
Modern cyber-physical systems are operated by complex software that increasingly takes over safety-critical functions. Software enables rapid iterations and continuous delivery of…
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…