Embedding High-Level Formal Specifications into Applications. - Philipp Körner; Jens Bendisposto; Jannik Dunkelau; Sebastian Krings; Michael Leuschel (FM, 2019)

Towards Constraint Logic Programming over Strings for Test Data Generation. - Sebastian Krings; Joshua Schmidt; Patrick Skowronek; Jannik Dunkelau; Dierk Ehmke (DECLARE, 2019)

Automated Backend Selection for ProB Using Deep Learning. - Jannik Dunkelau; Sebastian Krings; Joshua Schmidt (NFM, 2019)

Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out! - Jannik Dunkelau; Joshua Schmidt; Michael Leuschel (ABZ, 2020)

Towards a Shared Specification Repository. - Philipp Körner; Michael Leuschel; Jannik Dunkelau (ABZ, 2020)

A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System. - Sebastian Krings; Philipp Körner; Jannik Dunkelau; Chris Rutenkolk (ABZ, 2020)

Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning. - Jannik Dunkelau; Leo Baldus (OVERLAY@GandALF, 2021)

Integrating formal specifications into applications: the ProB Java API. - Philipp Körner; Jens Bendisposto; Jannik Dunkelau; Sebastian Krings; Michael Leuschel (Formal Methods Syst. Des., 2021)

Towards Equalised Odds as Fairness Metric in Academic Performance Prediction. - Jannik Dunkelau; Manh Khoi Duong (CoRR, 2022)

Evaluating the Impact of Loss Function Variation in Deep Learning for Classification. - Simon Dräger; Jannik Dunkelau (CoRR, 2022)

RAPP: A Responsible Academic Performance Prediction Tool for Decision-Making in Educational Institutes. - Manh Khoi Duong; Jannik Dunkelau; José Andrés Cordova; Stefan Conrad 001 (BTW, 2023)

Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method. - Jannik Dunkelau; Michael Leuschel (iFM, 2023)

Validation of Reinforcement Learning Agents and Safety Shields with ProB. - Fabian Vu; Jannik Dunkelau; Michael Leuschel (NFM, 2024)

Application of AI to formal methods - an analysis of current trends. - Sebastian Stock 002; Jannik Dunkelau; Atif Mashkoor (CoRR, 2024)

A verified low-level implementation and visualization of the adaptive exterior light and speed control system. - Sebastian Krings; Philipp Körner; Jannik Dunkelau; Kristin Rutenkolk (Int. J. Softw. Tools Technol. Transf., 2024)