Universität Münster
CRIS@UM
DE | EN

Jonas Lennard Becker-Kupczok

Aktuelle Zugehörigkeiten

  • Professur für Praktische Informatik (Prof. Herber)
Logo ORCIDID
0009-0007-9605-006X

Publikationen

Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems
Becker-Kupczok, Jonas; Herber, Paula (2025)
In: A., Madeira; A., Knapp (Hrsg.), Software Engineering and Formal Methods. SEFM 2024, 107-125. Cham: Springer. doi:10.1007/978-3-031-77382-2_7
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht
Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems
Becker-Kupczok, Jonas; Herber, Paula (2024)
In: Margaria, Tiziana; Steffen, Bernhard (Hrsg.), 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
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht