David Schneider

According to our database1, David Schneider authored at least 10 papers between 2009 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.
Int. J. Softw. Tools Technol. Transf., 2020

Translating Alloy and extensions to classical B.
Sci. Comput. Program., 2020

On the Performance of Bytecode Interpreters in Prolog.
Proceedings of the Functional and Constraint Logic Programming, 2020

2018
Model-based problem solving for university timetable validation and improvement.
Formal Aspects Comput., 2018

Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
Constraint Modelling and Data Validation Using Formal Specification Languages.
PhD thesis, 2017

2016
Using B and ProB for Data Validation Projects.
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.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2010
Towards a jitting VM for prolog execution.
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
CoRR, 2009


  Loading...