Monitoring Algorithmic Fairness. - Thomas A. Henzinger; Mahyar Karimi 001; Konstantin Kueffner; Kaushik Mallik (CAV (2), 2023)

Runtime Monitoring of Dynamic Fairness Properties. - Thomas A. Henzinger; Mahyar Karimi 001; Konstantin Kueffner; Kaushik Mallik (FAccT, 2023)

Privacy-Preserving Runtime Verification. - Thomas A. Henzinger; Mahyar Karimi 001; K. S. Thejaswini (CoRR, 2025)

Monitoring of Static Fairness. - Thomas A. Henzinger; Mahyar Karimi 001; Konstantin Kueffner; Kaushik Mallik (CoRR, 2025)