Contact
Dr. Joshua Schmidt
Contact Information
Heinrich-Heine-University Düsseldorf
Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf
Email:
Tel.: +49 211 81-12635
Fax: +49 211 81-10712
Room: 25.12.02.52
Current Courses
- I am currently not involved in teaching
Past Courses
- Overview Artificial Intelligence (Seminar, Summerterm 2020 - 2022)
- Model Checking (Lecture and Tutorial, Summerterm 2018, 2019)
- Introduction to Logic Programming (Tutorial, Winterterm 2015 - 2022)
- Practical Programming Course (Tutorial, Summerterm 2016)
Publications
2023
2022
2021
- 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
2020
- Analysing ProBâs Constraint Solving Backends.In Proceedings ABZ, LNCS, 12071, Springer, 107--123, 2020.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-48077-6_8
2019
- Measuring Coverage of Prolog Programs Using Mutation Testing.In Proceedings WFLP 2018, LNCS, 11285, Springer, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-16202-3_3
- Automated Backend Selection for ProB Using Deep Learning.In NASA Formal Methods, LNCS, 11460, Springer, 130--147, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-20652-9_9