A Generalized Notion of Time for Modeling Temporal Networks. - Konstantin Kueffner; Mark Strembeck (COMPLEXIS, 2019)

Toward a generalized notion of discrete time for modeling temporal networks. - Konstantin Kueffner; Mark Strembeck (Netw. Sci., 2021)

Monitoring Algorithmic Fairness. - Thomas A. Henzinger; Mahyar Karimi 001; Konstantin Kueffner; Kaushik Mallik (CAV (2), 2023)

Runtime Monitoring of Dynamic Fairness Properties. - Thomas A. Henzinger; Mahyar Karimi 001; Konstantin Kueffner; Kaushik Mallik (FAccT, 2023)

Monitoring Algorithmic Fairness Under Partial Observations. - Thomas A. Henzinger; Konstantin Kueffner; Kaushik Mallik (RV, 2023)

Into the unknown: active monitoring of neural networks (extended version). - Konstantin Kueffner; Anna Lukina; Christian Schilling 001; Thomas A. Henzinger (Int. J. Softw. Tools Technol. Transf., 2023)

Abstraction-Based Decision Making for Statistical Properties (Invited Talk). - Filip Cano 001; Thomas A. Henzinger; Bettina Könighofer; Konstantin Kueffner; Kaushik Mallik (FSCD, 2024)

Fairness Shields: Safeguarding against Biased Decision Makers. - Filip Cano 001; Thomas A. Henzinger; Bettina Könighofer; Konstantin Kueffner; Kaushik Mallik (AAAI, 2025)

Monitoring Robustness and Individual Fairness. - Ashutosh Gupta 001; Thomas A. Henzinger; Konstantin Kueffner; Kaushik Mallik; David Pape (CoRR, 2025)

Monitoring of Static Fairness. - Thomas A. Henzinger; Mahyar Karimi 001; Konstantin Kueffner; Kaushik Mallik (CoRR, 2025)

Formal Verification of Neural Certificates Done Dynamically. - Thomas A. Henzinger; Konstantin Kueffner; Emily Yu (CoRR, 2025)

Algorithmic Fairness: A Runtime Perspective. - Filip Cano 001; Thomas A. Henzinger; Konstantin Kueffner (CoRR, 2025)