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

Philipp Körner, David Schneider, Michael Leuschel
On the Performance of Bytecode Interpreters in Prolog.
In Proceedings WFLP 2020, LNCS, 12560, Springer, 2021.
- PDF

Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier
Translating Alloy and extensions to classical B.
In Science of Computer Programming, 188, 2020.
Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.
In International Journal on Software Tools for Technology Transfer, 2020.
- LINK
Philipp Körner, David Schneider, Michael Leuschel
On the Performance of Bytecode Interpreters in Prolog.
In Pre-Proceedings WFLP, 2020.

Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.
In Proceedings ABZ 2018, Michael Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl, LNCS, 10817, Springer, 292--306, 2018.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91271-4_20
Schneider, David, Leuschel, Michael, Witt, Tobias
Model-based problem solving for university timetable validation and improvement.
In Formal Aspects of Computing, 2018.
- LINK

David Schneider
Constraint Modelling and Data Validation Using Formal Specification Languages.
PhD Thesis, Heinrich-Heine-Universität Düsseldorf, 2017.
- LINK

Dominik Hansen, David Schneider, Michael Leuschel
Using B and ProB for Data Validation Projects.
In Proceedings ABZ 2016, LNCS, 9675, Springer-Verlag, 2016.

David Schneider, Michael Leuschel, Tobias Witt
Model-Based Problem Solving for University Timetable Validation and Improvement.
In FM 2015: Formal Methods: 20th International Symposium, Lecture Notes in Computer Science (Book 9109), Springer, 487-495, 2015.
Philipp Körner, David Schneider, Michael Leuschel
Evaluating Interpreter Design in Prolog.
In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2015, Schriftenreihe des Instituts für Computersprachen, Springer, 2015.
- LINK

Michael Leuschel, David Schneider
Towards B as a High-Level Constraint Modelling Language.
In Abstract State Machines, Alloy, B, TLA, VDM, and Z, Ait Ameur, Yamine and Schewe, Klaus-Dieter, Lecture Notes in Computer Science, 8477, Springer Berlin Heidelberg, 101-116, 2014.
- PDF
- LINK

Schneider, David, Bolz, Carl Friedrich
The Efficient Handling of Guards in the Design of RPython’s Tracing JIT.
In VMIL, accepted for publication, 2012.
- PDF

Carl Friedrich Bolz, Michael Leuschel, David Schneider
Towards a Jitting VM for Prolog Execution.
In PPDP '10 - Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming, ACM, 2010.
- PDF
David Schneider, Carl Friedrich Bolz, Michael Leuschel
Jitting Prolog for Fun and Profit.
In DYLA 2010 - 4th Workshop on Dynamic Languages and Applications, 2010.
- PDF

Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider
A Semantics-Aware Editing Environment for Prolog in Eclipse.
In Proceedings of the 18th Workshop on Logic-based methods in Programming Environments, WLPE, 2008.
- PDF