Runtime monitoring of dynamic fairness properties T Henzinger, M Karimi, K Kueffner, K Mallik Proceedings of the 2023 ACM Conference on Fairness, Accountability, and …, 2023 | 8 | 2023 |
Monitoring algorithmic fairness TA Henzinger, M Karimi, K Kueffner, K Mallik International Conference on Computer Aided Verification, 358-382, 2023 | 4 | 2023 |
Into the unknown: active monitoring of neural networks (extended version) K Kueffner, A Lukina, C Schilling, TA Henzinger International Journal on Software Tools for Technology Transfer 25 (4), 575-592, 2023 | 3 | 2023 |
A comprehensive survey of the actual causality literature KR Kueffner Wien, 2021 | 1 | 2021 |
A generalized notion of time for modeling temporal networks K Kueffner, M Strembeck Proceedings of the 4th international conference on complexity, future …, 2019 | 1 | 2019 |
Monitoring algorithmic fairness under partial observations TA Henzinger, K Kueffner, K Mallik International Conference on Runtime Verification, 291-311, 2023 | | 2023 |
Toward a generalized notion of discrete time for modeling temporal networks K Kueffner, M Strembeck Network Science 9 (4), 443-477, 2021 | | 2021 |