David Schneider

Kontakt

Heinrich-Heine-Universität Düsseldorf

Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf

Email: undefineddavid.schneider(at)hhu.de

Tel.: +49 (211) 81-10537
Fax: +49 (211) 81-10712

Raum: 25.12.02.50

Aktuelle Lehrveranstaltungen

Meine offenen Themen für Abschlussarbeiten finden Sie undefinedhier.

Veröffentlichungen

2018

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

2017

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

2016

2015

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

    2014

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

    2012

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

    2010

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

    2008

    Verantwortlich für den Inhalt: E-Mail sendenWE Informatik