Publications 2021

Albin Soutif–Cormerais, Marc Masana, Joost Van de Weijer, Bartłomiej Twardowski
“On the importance of cross-task features for class-incremental learning”

International Conference on Machine Learning Workshop (ICML-W), 2021

Ozan Özdenizci and Robert Legenstein
“Training adversarially robust sparse networks via Bayesian connectivity sampling”

International Conference on Machine Learning (ICML), 2021

Thomas Pinetz, Erich Kobler, Christian Doberstein, Benjamin Berkels, Alexander Effland
“Total Deep Variation for Noisy Exit Wave Reconstruction in Transmission Electron Microscopy”

SSVM 2021: Scale Space and Variational Methods in Computer Vision pp 491-502

Ozan Özdenizci and Deniz Erdoğmuş
“Stochastic mutual information gradient estimation for dimensionality reduction networks.
Information Sciences, vol 570, pages 298-305, 2021.

Anubhab Baksi, Jakub Breier, Yi Chen and Xiaoyang Dong
Machine Learning Assisted Differential Distinguishers For Lightweight Ciphers.
In Design, Automation and Test in Europe (DATE). IEEE, February 2021.

Alexander Effland, Behrend Heeren, Martin Rumpf, Benedikt Wirth
“Consistent curvature approximation on Riemannian shape spaces”
IMA Journal of Numerical Analysis, draa092,
04 January 2021

Publications 2020

Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
Online Shielding for Stochastic Systems.
CoRR, vol. abs/2012.09539, 2020. [Online]. Available:
17 December 2020

Jakub Breier, Adrian Baldwin, Helen Balinsky, Yang Liu
„Risk Management Framework for Machine Learning Security“
CoRR, vol. abs/2012.04884, 2020. [Online]. Available:
9 Dec 2020

Thomas Pinetz and Erich Kobler and Thomas Pock and Alexander Effland
“Shared prior learning of energy-based models for image reconstruction,”
CoRR, vol. abs/2011.06539, 2020. [Online]. Available:

B. Könighofer, F. Lorber, N. Jansen, and R. Bloem
“Shield synthesis for reinforcement learning,”
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles – 9th International Symposium on Leveraging Applications of Formal Methods
ISoLA 2020, Rhodes, Greece, October, 2020, Proceedings, Part {I}
[Online]. Available: 16

B. Aichernig, E. Muskardin, and A. Pferscher
”Learning-based fuzzing of iot message brokers.”
In print

R. Bloem, P. G. Jensen, B. Könighofer, K. G. Larsen, F. Lorber, and A. Palmisano
“It’s time to play safe: Shield synthesis for timed systems”
CoRR, vol. abs/2006.16688, 2020. [Online]. Available:

S. Pranger, B. Könighofer, M. Tappler, M. Deixelberger, N. Jansen, and R. Bloem
”Adaptive shielding under uncertainty”
CoRR, vol. abs/2010.03842, 2020. [Online]. Available:

Interested in cooperating with us?