| Fairness-Aware Machine Learning: An Extensive Overview J Dunkelau, M Leuschel Working Paper, https://stups.hhu-hosting.de/downloads/pdf/fairness-survey.pdf, 2019 | 30* | 2019 |
| Integrating formal specifications into applications: the ProB Java API P Körner, J Bendisposto, J Dunkelau, S Krings, M Leuschel Formal Methods in System Design 58 (1), 160-187, 2021 | 8 | 2021 |
| Embedding high-level formal specifications into applications P Körner, J Bendisposto, J Dunkelau, S Krings, M Leuschel International Symposium on Formal Methods, 519-535, 2019 | 8 | 2019 |
| Towards Constraint Logic Programming over Strings for Test Data Generation S Krings, J Schmidt, P Skowronek, J Dunkelau, D Ehmke Declarative Programming and Knowledge Management: Conference on Declarative …, 2019 | 6 | 2019 |
| Analysing ProB’s Constraint Solving Backends: What Do They Know? Do They Know Things? Let’s Find Out! J Dunkelau, J Schmidt, M Leuschel International Conference on Rigorous State-Based Methods, 107-123, 2020 | 4 | 2020 |
| A verified low-level implementation of the adaptive exterior light and speed control system S Krings, P Körner, J Dunkelau, C Rutenkolk International Conference on Rigorous State-Based Methods, 382-397, 2020 | 4 | 2020 |
| Automated Backend Selection for ProB Using Deep Learning J Dunkelau, S Krings, J Schmidt NASA Formal Methods Symposium, 130-147, 2019 | 4 | 2019 |
| Towards Equalised Odds as Fairness Metric in Academic Performance Prediction J Dunkelau, MK Duong Fairness, Accountability, and Transparency in Educational Data 2022 Workshop, 2022 | 3 | 2022 |
| Towards a shared specification repository P Körner, M Leuschel, J Dunkelau International Conference on Rigorous State-Based Methods, 266-271, 2020 | 3 | 2020 |
| Automatic Selection of Solvers Using Deep Learning J Dunkelau Heinrich-Heine-Universität Düsseldorf, 2017 | 2 | 2017 |
| Evaluating the Impact of Loss Function Variation in Deep Learning for Classification S Dräger, J Dunkelau arXiv preprint arXiv:2210.16003, 2022 | 1 | 2022 |
| Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method J Dunkelau, M Leuschel International Conference on Integrated Formal Methods, 237-256, 2023 | | 2023 |
| RAPP: A Responsible Academic Performance Prediction Tool for Decision-Making in Educational Institutes MK Duong, J Dunkelau, JA Cordova, S Conrad Gesellschaft für Informatik eV, 2023 | | 2023 |
| Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning. J Dunkelau, L Baldus OVERLAY@ GandALF, 77-82, 2021 | | 2021 |
| Machine Learning and AI Techniques for Automated Tool Selection for Formal Methods J Dunkelau Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms …, 2018 | | 2018 |
Michael LeuschelHeinrich-Heine Universität DüsseldorfVerified email at hhu.de
