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

Model Checking (Vorlesung und Übung, Sommersemester 2018, 2019)
Einführung in die logische Programmierung (Übung, Wintersemester 2015/16, 2017/18, 2019/20)
Programmierpraktikum (Übung, Sommersemester 2016)

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

Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier
Translating Alloy and extensions to classical B.
In Science of Computer Programming, 188, 2020.

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, 11450, Springer, 130--147, 2019.
- LINK
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