2023

Sophia Reinhardt, Joshua Schmidt, Jonas Schneider, Elena Schulte, Christiane Schüle, Michael Leuschel, Jörg Schipper
Smartphone-Based Videonystagmography Using Artificial Intelligence.
In Current Directions in Biomedical Engineering, 9, 1, 528--531, 2023.
- LINK

2022

Sophia Reinhardt, Joshua Schmidt, Jonas Schneider, Michael Leuschel, Christiane Schüle, Jörg Schipper
VertiGo-App - Smartphone-based video nystagmography using artificial intelligence.
In Laryngorhinootologie 2022, 101, 2, 243--244, 2022.
- LINK
Joshua Schmidt, Michael Leuschel
SMT solving for the validation of B and Event-B models.
In Software Tools for Technology Transfer (STTT), Springer-Verlag, 2022.

Joshua Schmidt, Michael Leuschel
Improving SMT Solver Integrations for the Validation of B and Event-B Models.
In Formal Methods for Industrial Critical Systems, Alberto Lluch Lafuente and Anastasia Mavridou, LNCS, 12863, Springer International Publishing, 107--125, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-85248-1_7

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