Jannik Dunkelau

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 15

Top Topics

Constraint Logic Programming

Reinforcement Learning Agents

Simulated Annealing Algorithm

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Fabian Vu, Jannik Dunkelau, Michael Leuschel
Validation of Reinforcement Learning Agents and Safety Shields with ProB. NFM (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. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Manh Khoi Duong, Jannik Dunkelau, José Andrés Cordova, Stefan Conrad
RAPP: A Responsible Academic Performance Prediction Tool for Decision-Making in Educational Institutes. BTW (2023)
Jannik Dunkelau, Michael Leuschel
Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method. iFM (2023)
Simon Dräger, Jannik Dunkelau
Evaluating the Impact of Loss Function Variation in Deep Learning for Classification. CoRR (2022)
Jannik Dunkelau, Manh Khoi Duong
Towards Equalised Odds as Fairness Metric in Academic Performance Prediction. CoRR (2022)
Jannik Dunkelau, Leo Baldus
Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning. OVERLAY@GandALF (2021)
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Integrating formal specifications into applications: the ProB Java API. Formal Methods Syst. Des. 58 (1-2) (2021)
Philipp Körner, Michael Leuschel, Jannik Dunkelau
Towards a Shared Specification Repository. ABZ (2020)
Jannik Dunkelau, Joshua Schmidt, Michael Leuschel
Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out! ABZ (2020)
Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System. ABZ (2020)
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation. CoRR (2019)
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Embedding High-Level Formal Specifications into Applications. FM (2019)
Jannik Dunkelau, Sebastian Krings, Joshua Schmidt
Automated Backend Selection for ProB Using Deep Learning. NFM (2019)
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation. DECLARE (2019)