8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.AI2023
Towards Formal Fault Injection for Safety Assessment of Automated Systems
Ashfaq Farooqui, Behrooz Sangchoolie
Reasoning about safety, security, and other dependability attributes of autonomous systems is a challenge that needs to be addressed before the adoption of such systems in day-to-d…
cs.CR2021★ 8 cited
SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems
Christian Wolschke, Behrooz Sangchoolie, Jacob Simon +3
Increasing communication and self-driving capabilities for road vehicles lead to threats imposed by attackers. Especially attacks leading to safety violations have to be identified…