Herr Jonas Becker-Kupczok, Institut für Informatik

Current Publications• Becker-Kupczok, Jonas; Herber, Paula Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems. Software Engineering and Formal Methods. SEFM 2024Lecture Notes in Computer Science, 2025 online
• Becker-Kupczok, Jonas; Herber, Paula Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IVLecture Notes in Computer Science, 2024 online
E-Mailj_beck64 at uni-muenster dot de
Phone+49 251 83-32422
FAX+49 251 83-32742
Room217
Secretary   Sekretariat Kaiser-Mariani
Frau Julia Kaiser-Mariani
Telefon +49 251 83-32740
Fax +49 251 83-32742
Zimmer 704
AddressHerr Jonas Becker-Kupczok
Institut für Informatik
Fachbereich Mathematik und Informatik der Universität Münster
Einsteinstrasse 62
48149 Münster
Deutschland
Diese Seite editieren