2024

Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk
A verified low-level implementation and visualization of the adaptive exterior light and speed control system.
In International Journal on Software Tools for Technology Transfer, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/s10009-024-00750-5
Fabian Vu, Jannik Dunkelau, Michael Leuschel
Validation of Reinforcement Learning Agents and Safety Shields with ProB.
In Proceedings NFM 2024, LNCS, 14627, Springer, 279--297, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-60698-4_16

2023

Manh Khoi Duong, Jannik Dunkelau, José Andrés Cordova, Stefan Conrad
RAPP: A Responsible Academic Performance Prediction Tool for Decision-Making in Educational Institutes.
In BTW 2023, Gesellschaft für Informatik e.V., 2023.
- PDF
- LINK
Jannik Dunkelau, Michael Leuschel
Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method.
In iFM 2023, Springer, 237--256, 2023.
- PDF
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-031-47705-8_13

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.
- PDF

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.
- PDF

Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.
In Proceedings ABZ, LNCS, 12071, Springer, 2020.
- PDF
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-030-48077-6_30
Philipp Körner, Michael Leuschel, Jannik Dunkelau
Towards a Shared Specification Repository.
In Proceedings ABZ, LNCS, 12071, Springer, 2020.
- PDF
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-030-48077-6_22
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation.
In Declarative Programming and Knowledge Management, LNCS, 12057, Springer, 139--159, 2020.
Jannik Dunkelau, Joshua Schmidt, Michael Leuschel
Analysing ProB’s Constraint Solving Backends.
In Proceedings ABZ, LNCS, 12071, Springer, 107--123, 2020.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-48077-6_8
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Integrating formal specifications into applications: the ProB Java API.
In Formal Methods in System Design, Springer, 2020.
- LINK

Jannik Dunkelau, Sebastian Krings, Joshua Schmidt
Automated Backend Selection for ProB Using Deep Learning.
In NASA Formal Methods, LNCS, 11460, Springer, 130--147, 2019.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-20652-9_9
Jannik Dunkelau, Michael Leuschel
Fairness-Aware Machine Learning: An Extensive Overview.
Unpublished, 2019.
- PDF
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Embedding High-Level Formal Specifications into Applications.
In Proceedings FM, LNCS, 11800, Springer, 2019.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-30942-8_31
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation.
In Pre-Proceedings WLP, 2019.

Jannik Dunkelau
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.
- LINK