David Schneider

According to our database, David Schneider authored at least 11 papers between 2009 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.

Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron

Int. J. Softw. Tools Technol. Transf., 2020

Translating Alloy and extensions to classical B.

Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier

Sci. Comput. Program., 2020

On the Performance of Bytecode Interpreters in Prolog.

Philipp Körner, David Schneider, Michael Leuschel

Proceedings of the Functional and Constraint Logic Programming, 2020

2018

Model-based problem solving for university timetable validation and improvement.

David Schneider, Michael Leuschel, Tobias Witt

Formal Aspects Comput., 2018

Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.

Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Constraint Modelling and Data Validation Using Formal Specification Languages.

David Schneider

PhD thesis, 2017

2016

Using B and ProB for Data Validation Projects.

Dominik Hansen, David Schneider, Michael Leuschel

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2014

Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge.

Michael Leuschel, David Schneider

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2012

The efficient handling of guards in the design of RPython's tracing JIT.

David Schneider, Carl Friedrich Bolz

Proceedings of the VMIL@SPLASH 2012: Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages, 2012

2010

Towards a jitting VM for prolog execution.

Carl Friedrich Bolz, Michael Leuschel, David Schneider

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

2009

A Semantics-Aware Editing Environment for Prolog in Eclipse

Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider

CoRR, 2009