Jannik Dunkelau

18 papers B 2C 3Misc 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Application of AI to formal methods - an analysis of current trends.
Empir. Softw. Eng.
Sebastian Stock, Jannik Dunkelau, Atif Mashkoor
2025 J jnl
Internal and External Performance Fuzzing of Well-Defined Constraints for the B Method.
Formal Aspects Comput.
Jannik Dunkelau, Michael Leuschel
2024 J jnl
A verified low-level implementation and visualization of the adaptive exterior light and speed control system.
Int. J. Softw. Tools Technol. Transf.
Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk
2024 J jnl
Application of AI to formal methods - an analysis of current trends.
CoRR
Sebastian Stock, Jannik Dunkelau, Atif Mashkoor
2024 — conf
Validation of Reinforcement Learning Agents and Safety Shields with ProB.
NFM
Fabian Vu, Jannik Dunkelau, Michael Leuschel
2023 B conf
Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method.
iFM
Jannik Dunkelau, Michael Leuschel
2023 Misc conf
RAPP: A Responsible Academic Performance Prediction Tool for Decision-Making in Educational Institutes.
BTW
Manh Khoi Duong, Jannik Dunkelau, José Andrés Cordova, Stefan Conrad
2022 J jnl
Evaluating the Impact of Loss Function Variation in Deep Learning for Classification.
CoRR
Simon Dräger, Jannik Dunkelau
2022 J jnl
Towards Equalised Odds as Fairness Metric in Academic Performance Prediction.
CoRR
Jannik Dunkelau, Manh Khoi Duong
2021 J jnl
Integrating formal specifications into applications: the ProB Java API.
Formal Methods Syst. Des.
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
2021 — conf
Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning.
OVERLAY@GandALF
Jannik Dunkelau, Leo Baldus
2020 C conf
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.
ABZ
Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk
2020 C conf
Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out!
ABZ
Jannik Dunkelau, Joshua Schmidt, Michael Leuschel
2020 C conf
Towards a Shared Specification Repository.
ABZ
Philipp Körner, Michael Leuschel, Jannik Dunkelau
2019 — conf
Automated Backend Selection for ProB Using Deep Learning.
NFM
Jannik Dunkelau, Sebastian Krings, Joshua Schmidt
2019 B conf
Embedding High-Level Formal Specifications into Applications.
FM
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
2019 — conf
Towards Constraint Logic Programming over Strings for Test Data Generation.
DECLARE
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
2019 J jnl
Towards Constraint Logic Programming over Strings for Test Data Generation.
CoRR
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke