Jonas Becker-Kupczok

According to our database¹, Jonas Becker-Kupczok authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024