David Schneider

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 8

Top Venues

ABZ

CoRR

Formal Aspects Comput.

Int. J. Softw. Tools Technol. Transf.

University of Düsseldorf, Germany (PHD)

Education History

University of Düsseldorf, Germany

PHD

Publications

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. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Philipp Körner, David Schneider, Michael Leuschel
On the Performance of Bytecode Interpreters in Prolog. CoRR (2020)
Philipp Körner, David Schneider, Michael Leuschel
On the Performance of Bytecode Interpreters in Prolog. WFLP (2020)
Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier
Translating Alloy and extensions to classical B. Sci. Comput. Program. 188 (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. ABZ (2018)
David Schneider, Michael Leuschel, Tobias Witt
Model-based problem solving for university timetable validation and improvement. Formal Aspects Comput. 30 (5) (2018)
Dominik Hansen, David Schneider, Michael Leuschel
Using B and ProB for Data Validation Projects. ABZ (2016)
David Schneider, Michael Leuschel, Tobias Witt
Model-Based Problem Solving for University Timetable Validation and Improvement. FM (2015)
Michael Leuschel, David Schneider
Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge. ABZ (2014)
David Schneider, Carl Friedrich Bolz
The efficient handling of guards in the design of RPython's tracing JIT. VMIL@SPLASH (2012)
Carl Friedrich Bolz, Michael Leuschel, David Schneider
Towards a jitting VM for prolog execution. PPDP (2010)
Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider
A Semantics-Aware Editing Environment for Prolog in Eclipse CoRR (2009)

David Schneider.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Schneider