Dominik Hansen

According to our database1, Dominik Hansen authored at least 9 papers between 2012 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

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

2019
A Multi-target Code Generator for High-Level B.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

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
Validation of the ABZ landing gear system using ProB.
Int. J. Softw. Tools Technol. Transf., 2017

2016
Translating B to TLA<sup>+</sup> for validation with TLC.
Sci. Comput. Program., 2016

Using B and ProB for Data Validation Projects.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Generating Event-B Specifications from Algorithm Descriptions.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2014
Translating B to TLA + for Validation with TLC.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2012
Translating TLA + to B for Validation with ProB.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012


  Loading...