Challenges and remedies for developing safe automated driving functions (Blog-Beitrag, 2024)

• 2025-04: Code-level Safety and Portability Checking for Automated Driving Formal methods Seminar, FBK, IT.

• 2025-03: Ensuring Safety and Portability in Automated Driving: A Code-Level Verification Approach, Robostar Seminar series, University of York, UK.

• 2024-11: Code-level safety verification for automated driving, TASP Seminar, University of York, UK.