University of Münster
CRIS@UM
DE | EN

Jonas Lennard Becker-Kupczok

Current affiliations

  • Professorship for practical comuter science
Logo ORCIDID
0009-0007-9605-006X

Publications

Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems
Becker-Kupczok, Jonas; Herber, Paula (2025)
In: A., Madeira; A., Knapp (eds.), Software Engineering and Formal Methods. SEFM 2024, 107-125. Cham: Springer. doi:10.1007/978-3-031-77382-2_7
Research article in edited proceedings (conference) | Peer reviewed | Published
Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems
Becker-Kupczok, Jonas; Herber, Paula (2024)
In: Margaria, Tiziana; Steffen, Bernhard (eds.), Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV, 115-131. Cham: Springer. doi:10.1007/978-3-031-75387-9_8
Research article in edited proceedings (conference) | Peer reviewed | Published