CV
Education
- Dr. rer. nat. in Computer Science, University of Düsseldorf, 2023 (magna cum laude)
- M.Sc. in Computer Science, University of Düsseldorf, 2017
- B.Sc. in Computer Science, University of Düsseldorf, 2015
Projects
Publications
Can a smartphone app with AI replace the VNG in caloric testing?
Sophia Reinhardt, Joshua Schmidt, Jonas Schneider, Elena Schulte, Michael Leuschel, Christiane Schüle and Jörg Schipper. (2023). "Can a smartphone app with AI replace the VNG in caloric testing?" Laryngo-Rhino-Otologie 103, 95th Annual Meeting German Society of Oto-Rhino-Laryngology, Head and Neck Surgery e. V., Bonn.
New Applications and Techniques for Constraint Programming in B
Joshua Schmidt. (2023). "New Applications and Techniques for Constraint Programming in B" Dissertation. Universitäts- und Landesbibliothek Düsseldorf.
Smartphone-Based Videonystagmography Using Artificial Intelligence
Sophia Reinhardt, Joshua Schmidt, Jonas Schneider, Elena Schulte, Christiane Schüle, Michael Leuschel and Jörg Schipper. (2022). "Smartphone-Based Videonystagmography Using Artificial Intelligence" Current Directions in Biomedical Engineering.
Clinical Nystagmus Characteristics - Distribution of Intensity Components in Acute Vertigo Patients
Elena Schulte, Sophia Reinhardt, Christian Hartmann, Joshua Schmidt, Jonas Schneider, Michael Leuschel, Christiane Schüle and Jörg Schipper. (2023). "Clinical Nystagmus Characteristics - Distribution of Intensity Components in Acute Vertigo Patients" Laryngo-Rhino-Otologie 102, 94th Annual Meeting German Society of Oto-Rhino-Laryngology, Head and Neck Surgery e. V..
SMT solving for the validation of B and Event-B models
Joshua Schmidt and Michael Leuschel. (2022). "SMT solving for the validation of B and Event-B models" International Journal on Software Tools for Technology Transfer.
Improving SMT Solver Integrations for the Validation of B and Event-B Models
Joshua Schmidt and Michael Leuschel. (2021). "Improving SMT Solver Integrations for the Validation of B and Event-B Models" Proceedings FMICS (International Conference on Formal Methods for Industrial Critical Systems).
VertiGo - a pilot project in nystagmus detection via webcam
Sophia Reinhardt, Joshua Schmidt, Michael Leuschel, Christiane Schüle and Jörg Schipper. (2020). "VertiGo – a pilot project in nystagmus detection via webcam" Current Directions in Biomedical Engineering.
Analysing ProB's Constraint Solving Backends
Jannik Dunkelau, Joshua Schmidt and Michael Leuschel. (2020). "Analysing ProB's Constraint Solving Backends" Proceedings ABZ (International Conference on Rigorous State Based Methods).
Towards Constraint Logic Programming over Strings for Test Data Generation
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau and Dierk Ehmke. (2020). "Towards Constraint Logic Programming over Strings for Test Data Generation" Proceedings WLP (Workshop on (Constraint) Logic Programming).
Translating Alloy and Extensions to Classical B
Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider and Marc Frappier. (2020). "Translating Alloy and Extensions to Classical B" International Journal on Science of Computer Programming.
Automated Backend Selection for ProB Using Deep Learning
Jannik Dunkelau, Sebastian Krings and Joshua Schmidt. (2018). "Automated Backend Selection for ProB Using Deep Learning" Proceedings NFM (International Symposium on NASA Formal Methods).
Experience Report on an Inquiry-Based Course on Model Checking
Sebastian Krings, Philipp Körner and Joshua Schmidt. (2018). "Experience Report on an Inquiry-Based Course on Model Checking" Proceedings CEUR (Tagungsband des 16. Workshops "Software Engineering im Unterricht der Hochschulen").
Measuring Coverage of Prolog Programs Using Mutation Testing
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings and Philipp Körner. (2019). "Measuring Coverage of Prolog Programs Using Mutation Testing" Proceedings WFLP (International Workshop on Functional and (Constraint) Logic Programming).
Repair and Generation of Formal Models Using Synthesis
Joshua Schmidt, Sebastian Krings and Michael Leuschel. (2018). "Repair and Generation of Formal Models Using Synthesis" Proceedings ABZ (International Conference on Rigorous State Based Methods).
A Translation from Alloy to B
Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier and Michael Leuschel. (2018). "A Translation from Alloy to B" Proceedings ABZ (International Conference on Rigorous State Based Methods).
Interactive Model Repair by Synthesis
Joshua Schmidt, Sebastian Krings and Michael Leuschel. (2016). "Interactive Model Repair by Synthesis" Proceedings ABZ (International Conference on Rigorous State Based Methods).
Talks
Conference Proceeding Talk: Smartphone-Based Videonystagmography Using Artificial Intelligence
Talk at Mercatorhalle Duisburg, Duisburg, Germany
Seminar Talk: Overview of Autonomous Driving Technologies
Talk at University of Düsseldorf, Düsseldorf, Germany
Conference Proceeding Talk: Improving SMT Solver Integrations for the Validation of B and Event-B Models
Talk at online, Paris, France
Conference Proceeding Talk: Repair and Generation of Formal Models Using Synthesis
Talk at Maynooth University, Maynooth, Ireland
Conference Proceeding Talk: A Translation from Alloy to B
Talk at Grand Harbour Hotel, Southampton, United Kingdom
Seminar Talk: Recognition and Representation of Three-Dimensional Objects and Their Pose
Talk at University of Düsseldorf, Düsseldorf, Germany
Seminar Talk: Constraint Logic Programming - Consistency and Search
Talk at University of Düsseldorf, Düsseldorf, Germany