ToC

2024

2023

2022

  • Jannik Dunkelau, Manh Khoi Duong
    Towards Equalised Odds as Fairness Metric in Academic Performance Prediction.
    In 2nd Workshop on Fairness, Accountability, and Transparency in Educational Data, 2022.

2021

  • Jannik Dunkelau, Leo Baldus
    Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning.
    In 3rd Workshop on Artificial Intelligence and Formal Verification, CEUR Workshop Proceedings, 2987, 83--89, 2021.

2020

2019

2018

  • Machine Learning and AI Techniques for Automated Tool Selection for Formal Methods.
    In Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications, Research Report, 483, University of Oslo, 2018.