Konstantin Kueffner

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Partial Observations

Monitoring System

Desirable Properties

Top Venues

Publications

Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
Abstraction-Based Decision Making for Statistical Properties (Invited Talk). FSCD (2024)
Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger
Into the unknown: active monitoring of neural networks (extended version). Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Runtime Monitoring of Dynamic Fairness Properties. CoRR (2023)
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness under Partial Observations. CoRR (2023)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness. CAV (2) (2023)
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness Under Partial Observations. RV (2023)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Runtime Monitoring of Dynamic Fairness Properties. FAccT (2023)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness. CoRR (2023)
Konstantin Kueffner, Mark Strembeck
Toward a generalized notion of discrete time for modeling temporal networks. Netw. Sci. 9 (4) (2021)
Konstantin Kueffner, Mark Strembeck
A Generalized Notion of Time for Modeling Temporal Networks. COMPLEXIS (2019)