Joshua Schmidt

Kontakt

Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf

Tel.: +49 211 81-12635
Fax: +49 211 81-10712

Raum: 25.12.02.52

Eine Auswahl an offenen Themen für Abschlussarbeiten finden Sie hier.

Die folgenden Abschlussarbeiten habe ich (mit-)betreut:

Name	Titel	Art
Alexandros Efremidis	Measuring Coverage of Prolog Programs Using Mutation Testing	Bachelorarbeit
Christopher Happe	Refactoring einer JavaFX Anwendung mit einer Datenbankschnittstelle mit Spring Boot	Bachelorarbeit
Sebastian Meyer	Predicting Components for Inductive Program Synthesis Using Deep Learning	Masterarbeit
Johannes Schipmann	Test Coverage Analysis for Prolog and ProB with Automated Test Execution Through Integration into Git	Bachelorarbeit
Marc Christopher Anfang	Enabling SMT Solving for CLP(FD) in Prolog by Translating to SMT-LIB	Bachelorarbeit
Kevin Bernard Gnyp	Eye Tracking and Horizontal Nystagmus Detection via a Webcam	Masterarbeit

Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier
Translating Alloy and extensions to classical B.
In Science of Computer Programming, 188, 2020.
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation.
In Declarative Programming and Knowledge Management, LNCS, 12057, Springer, 139--159, 2020.
Jannik Dunkelau, Joshua Schmidt, Michael Leuschel
Analysing ProBâs Constraint Solving Backends.
In Proceedings ABZ, LNCS, 12071, Springer, 107--123, 2020.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-48077-6_8
Sophia Reinhardt, Joshua Schmidt, Michael Leuschel, Christiane SchÃ¼le, JÃ¶rg Schipper
VertiGo - Pilot project for nystagmus detection via webcam.
In Laryngo-Rhino-Otologie, 99, Thieme Verlag, 2020.
- LINK
Sophia Reinhardt, Joshua Schmidt, Michael Leuschel, Christiane SchÃ¼le, JÃ¶rg Schipper
VertiGo â a pilot project in nystagmus detection via webcam.
In Current Directions in Biomedical Engineering , 6, De Gruyter, 2020.
- LINK

Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp KÃ¶rner
Measuring Coverage of Prolog Programs Using Mutation Testing.
In Proceedings WFLP 2018, LNCS, 11285, Springer, 2019.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-16202-3_3
Sebastian Krings, Philipp KÃ¶rner, Joshua Schmidt
Experience Report on an Inquiry-Based Course on Model Checking.
In Tagungsband des 16. Workshops "Software Engineering im Unterricht der Hochschulen" 2019, 2358, CEUR, 87--98, 2019.
- PDF
Jannik Dunkelau, Sebastian Krings, Joshua Schmidt
Automated Backend Selection for ProB Using Deep Learning.
In NASA Formal Methods, LNCS, 11460, Springer, 130--147, 2019.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-20652-9_9
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation.
In Pre-Proceedings WLP, 2019.
Sebastian Krings, Philipp KÃ¶rner, Joshua Schmidt
Inquiry- and Research-based Teaching in a Course on Model Checking.
In Pre-Proceedings FMFun, 2019.
- PDF

Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel
A Translation from Alloy to B.
In Proceedings ABZ 2018, LNCS, 10817, Springer, 71--86, 2018.
- PDF
Joshua Schmidt, Sebastian Krings, Michael Leuschel
Repair and Generation of Formal Models Using Synthesis.
In Proceedings iFM 2018, LNCS, 11023, Springer, 2018.
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp KÃ¶rner
Measuring Coverage of Prolog Programs Using Mutation Testing.
In Pre-Proceedings WFLP, 2018.
- PDF

Joshua Schmidt, Sebastian Krings, Michael Leuschel
Interactive Model Repair by Synthesis.
In Proceedings ABZ 2016, LNCS, 9675, Springer, 2016.
- PDF