David Schneider

13 papers B 1C 4Journal 5Unranked 2

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	On the Performance of Bytecode Interpreters in Prolog. WFLP Philipp Körner, David Schneider, Michael Leuschel
2020	J	`jnl`	On the Performance of Bytecode Interpreters in Prolog. CoRR Philipp Körner, David Schneider, Michael Leuschel
2020	J	`jnl`	Translating Alloy and extensions to classical B. Sci. Comput. Program. Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier
2020	J	`jnl`	Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model. Int. J. Softw. Tools Technol. Transf. Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron
2018	J	`jnl`	Model-based problem solving for university timetable validation and improvement. Formal Aspects Comput. David Schneider, Michael Leuschel, Tobias Witt
2018	C	`conf`	Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. ABZ Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron
2017	—	`—`	Constraint Modelling and Data Validation Using Formal Specification Languages. David Schneider
2016	C	`conf`	Using B and ProB for Data Validation Projects. ABZ Dominik Hansen, David Schneider, Michael Leuschel
2015	B	`conf`	Model-Based Problem Solving for University Timetable Validation and Improvement. FM David Schneider, Michael Leuschel, Tobias Witt
2014	C	`conf`	Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge. ABZ Michael Leuschel, David Schneider
2012	—	`conf`	The efficient handling of guards in the design of RPython's tracing JIT. VMIL@SPLASH David Schneider, Carl Friedrich Bolz
2010	C	`conf`	Towards a jitting VM for prolog execution. PPDP Carl Friedrich Bolz, Michael Leuschel, David Schneider
2009	J	`jnl`	A Semantics-Aware Editing Environment for Prolog in Eclipse CoRR Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider