Publications
Bernhard Steffen In: Computer Aided Verification (CAV 2025) DOI: https://doi.org/10.1007/978-3-031-98685-7_7 Preprint 2024 Tree-Based Scenario Classification Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk [...] Falk Howar, Daniel Neider In: Formal Methods (FM2026) DOI: https://doi.org/10.1007/978-3-032-26204-2_7 Artifact: https://doi.org/10.5281/zenodo.18804222 On Anomaly Management in Mobile Robot Systems in [...] 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 …
