| 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 | 9 | 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 | 4 | 2023 |
| Monitoring algorithmic fairness TA Henzinger, M Karimi, K Kueffner, K Mallik International Conference on Computer Aided Verification, 358-382, 2023 | 4 | 2023 |
| A comprehensive survey of the actual causality literature KR Kueffner Thesis, Technische Universität Wien, doi: 10.34726/hss. 2021.90003. URL …, 2021 | 3 | 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 |
| Abstraction-Based Decision Making for Statistical Properties (Invited Talk) F Cano, TA Henzinger, B Könighofer, K Kueffner, K Mallik 9th International Conference on Formal Structures for Computation and …, 2024 | | 2024 |
| 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 |
