Jump to contentJump to search

David Schneider

Contact Information

Heinrich-Heine-Universität Düsseldorf

Institut für Informatik

Universitätsstraße 1
D-40225 Düsseldorf



Phone: +49 (211) 81-10537
Fax: +49 (211) 81-10712


Current Courses

You can find proposed theses undefinedhere.





  • 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.
  • Schneider, David, Leuschel, Michael, Witt, Tobias
    Model-based problem solving for university timetable validation and improvement.
    In Formal Aspects of Computing, 2018.


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



  • 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.
    • Evaluating Interpreter Design in Prolog.
      In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2015, Schriftenreihe des Instituts für Computersprachen, Springer, 2015.


    • 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.


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


    • 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.
    • David Schneider, Carl Friedrich Bolz, Michael Leuschel
      Jitting Prolog for Fun and Profit.
      In DYLA 2010 - 4th Workshop on Dynamic Languages and Applications, 2010.


    Responsible for the content: