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. Cham: Springer.
Forschungsartikel in Sammelband (Konferenz)
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. Cham: Springer.
Forschungsartikel in Sammelband (Konferenz)