Jannik Dunkelau

According to our database, Jannik Dunkelau authored at least 14 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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., June, 2024

Validation of Reinforcement Learning Agents and Safety Shields with ProB.

Fabian Vu, Jannik Dunkelau, Michael Leuschel

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method.

Jannik Dunkelau, Michael Leuschel

Proceedings of the iFM 2023 - 18th International Conference, 2023

RAPP: A Responsible Academic Performance Prediction Tool for Decision-Making in Educational Institutes.

Manh Khoi Duong, Jannik Dunkelau, José Andrés Cordova, Stefan Conrad

Proceedings of the Datenbanksysteme für Business, 2023

2022

Evaluating the Impact of Loss Function Variation in Deep Learning for Classification.

Simon Dräger, Jannik Dunkelau

CoRR, 2022

Towards Equalised Odds as Fairness Metric in Academic Performance Prediction.

Jannik Dunkelau, Manh Khoi Duong

CoRR, 2022

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

Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning.

Jannik Dunkelau, Leo Baldus

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

2020

A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.

Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Towards a Shared Specification Repository.

Philipp Körner, Michael Leuschel, Jannik Dunkelau

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out!

Jannik Dunkelau, Joshua Schmidt, Michael Leuschel

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Automated Backend Selection for ProB Using Deep Learning.

Jannik Dunkelau, Sebastian Krings, Joshua Schmidt

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Towards Constraint Logic Programming over Strings for Test Data Generation.

Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke

Proceedings of the Declarative Programming and Knowledge Management, 2019

Embedding High-Level Formal Specifications into Applications.

Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019