Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems. - Jonas Becker-Kupczok; Paula Herber (ISoLA (4), 2024)

Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems. - Jonas Becker-Kupczok; Paula Herber (SEFM, 2024)