Konstantin Kueffner

According to our database, Konstantin Kueffner authored at least 14 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Energy Shields for Fairness.

Filip Cano, Thomas A. Henzinger, Konstantin Kueffner

Proceedings of the 2026 ACM Conference on Fairness, Accountability, and Transparency, 2026

2025

Monitoring of Static Fairness.

Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik

CoRR, July, 2025

Formal Verification of Neural Certificates Done Dynamically.

Thomas A. Henzinger, Konstantin Kueffner, Emily Yu

Proceedings of the Runtime Verification - 25th International Conference, 2025

Alignment Monitoring.

Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh, I Sun

Proceedings of the Runtime Verification - 25th International Conference, 2025

Algorithmic Fairness: A Runtime Perspective.

Filip Cano, Thomas A. Henzinger, Konstantin Kueffner

Proceedings of the Runtime Verification - 25th International Conference, 2025

Monitoring Robustness and Individual Fairness.

Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape

Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, V.2, 2025

Fairness Shields: Safeguarding against Biased Decision Makers.

Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Abstraction-Based Decision Making for Statistical Properties (Invited Talk).

Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

Into the unknown: active monitoring of neural networks (extended version).

Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger

Int. J. Softw. Tools Technol. Transf., August, 2023

Monitoring Algorithmic Fairness Under Partial Observations.

Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Runtime Monitoring of Dynamic Fairness Properties.

Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik

Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023

Monitoring Algorithmic Fairness.

Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2021

Toward a generalized notion of discrete time for modeling temporal networks.

Konstantin Kueffner, Mark Strembeck

Netw. Sci., 2021

2019

A Generalized Notion of Time for Modeling Temporal Networks.

Konstantin Kueffner, Mark Strembeck

Proceedings of the 4th International Conference on Complexity, 2019