Jannik Dunkelau | Sebastian Krings /authors/jannik-dunkelau/ Jannik Dunkelau Wowchemy (https://wowchemy.com)en-usWed, 30 Sep 2020 00:00:00 +0000 /media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_3.png Jannik Dunkelau /authors/jannik-dunkelau/ Integrating Formal Specifications into Applications - The ProB Java API /publication/koerner-executable-specs-journal/ Wed, 30 Sep 2020 00:00:00 +0000 /publication/koerner-executable-specs-journal/ A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System /publication/krings-misra-case-study-abz20/ Tue, 10 Mar 2020 00:00:00 +0000 /publication/krings-misra-case-study-abz20/ Embedding High-Level Formal Specifications into Applications /publication/koerner-executable-specs-fm19/ Mon, 23 Sep 2019 00:00:00 +0000 /publication/koerner-executable-specs-fm19/ Towards Constraint Logic Programming over Strings for Test Data Generation /publication/krings-towards-clpstr-test-data-wlp19/ Tue, 16 Jul 2019 00:00:00 +0000 /publication/krings-towards-clpstr-test-data-wlp19/ Automated Backend Selection for ProB Using Deep Learning /publication/dunkelau-backend-selection-nfm19/ Sat, 23 Feb 2019 00:00:00 +0000 /publication/dunkelau-backend-selection-nfm19/