Benedikt Böing

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Quality Guarantees

Top Venues

Publications

Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
Interpretable Anomaly Detection via Discrete Optimization. CoRR (2023)
Benedikt Böing, Simon Klüttermann, Emmanuel Müller
Post-Robustifying Deep Anomaly Detection Ensembles by Model Selection. ICDM (2022)
Benedikt Böing, Emmanuel Müller
On Training and Verifying Robust Autoencoders. DSAA (2022)
Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing
Neural Network Verification with DSE. OVERLAY@AI*IA (2022)
Benedikt Böing, Rajarshi Roy, Daniel Neider, Emmanuel Müller
QUGA - Quality Guarantees for Autoencoders. OVERLAY@GandALF (2021)
Benedikt Böing, Rajarshi Roy, Emmanuel Müller, Daniel Neider
Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks. ECML/PKDD (2) (2020)