Publications
Lorber, Malte Mauritz In: NASA Formal Methods (NFM 2023) DOI: https://doi.org/0.1007/978-3-031-33170-1_7 Preprint The integration of multi-color taint-analysis with dynamic symbolic execution for Java web [...] the Construction and Analysis of Systems (TACAS 2021) DOI: https://doi.org/10.1007/978-3-030-72013-1_30 Preprin Preprint Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education [...] Computer Safety, Reliability, and Security (SAFECOMP 2019) DOI: https://doi.org/10.1007/978-3-030-26601-1_7 Preprint Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer …
