Jannik Dunkelau

Orcid: 0000-0003-0819-5554

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A verified low-level implementation and visualization of the adaptive exterior light and speed control system.
Int. J. Softw. Tools Technol. Transf., June, 2024

Validation of Reinforcement Learning Agents and Safety Shields with ProB.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023
Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method.
Proceedings of the iFM 2023 - 18th International Conference, 2023

RAPP: A Responsible Academic Performance Prediction Tool for Decision-Making in Educational Institutes.
Proceedings of the Datenbanksysteme für Business, 2023

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

Towards Equalised Odds as Fairness Metric in Academic Performance Prediction.
CoRR, 2022

2021
Integrating formal specifications into applications: the ProB Java API.
Formal Methods Syst. Des., 2021

Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning.
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.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Towards a Shared Specification Repository.
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!
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019
Automated Backend Selection for ProB Using Deep Learning.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Towards Constraint Logic Programming over Strings for Test Data Generation.
Proceedings of the Declarative Programming and Knowledge Management, 2019

Embedding High-Level Formal Specifications into Applications.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019


  Loading...