Konstantin Kueffner

21 papers A* 1B 5C 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
Algorithmic Fairness: A Runtime Perspective.
RV
Filip Cano, Thomas A. Henzinger, Konstantin Kueffner
2025 J jnl
Algorithmic Fairness: A Runtime Perspective.
CoRR
Filip Cano, Thomas A. Henzinger, Konstantin Kueffner
2025 B conf
Alignment Monitoring.
RV
Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh, I Sun
2025 J jnl
Alignment Monitoring.
CoRR
Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh, I Sun
2025 A* conf
Fairness Shields: Safeguarding against Biased Decision Makers.
AAAI
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
2025 B conf
Formal Verification of Neural Certificates Done Dynamically.
RV
Thomas A. Henzinger, Konstantin Kueffner, Emily Yu
2025 J jnl
Formal Verification of Neural Certificates Done Dynamically.
CoRR
Thomas A. Henzinger, Konstantin Kueffner, Emily Yu
2025 — conf
Monitoring Robustness and Individual Fairness.
KDD (2)
Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape
2025 J jnl
Monitoring Robustness and Individual Fairness.
CoRR
Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape
2025 J jnl
Monitoring of Static Fairness.
CoRR
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2024 B conf
Abstraction-Based Decision Making for Statistical Properties (Invited Talk).
FSCD
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
2024 J jnl
Fairness Shields: Safeguarding against Biased Decision Makers.
CoRR
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
2023 J jnl
Into the unknown: active monitoring of neural networks (extended version).
Int. J. Softw. Tools Technol. Transf.
Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger
2023 B conf
Monitoring Algorithmic Fairness Under Partial Observations.
RV
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik
2023 J jnl
Monitoring Algorithmic Fairness under Partial Observations.
CoRR
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik
2023 — conf
Monitoring Algorithmic Fairness.
CAV (2)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2023 J jnl
Monitoring Algorithmic Fairness.
CoRR
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2023 — conf
Runtime Monitoring of Dynamic Fairness Properties.
FAccT
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2023 J jnl
Runtime Monitoring of Dynamic Fairness Properties.
CoRR
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2021 J jnl
Toward a generalized notion of discrete time for modeling temporal networks.
Netw. Sci.
Konstantin Kueffner, Mark Strembeck
2019 C conf
A Generalized Notion of Time for Modeling Temporal Networks.
COMPLEXIS
Konstantin Kueffner, Mark Strembeck