Dominik Hansen

According to our database, Dominik Hansen authored at least 9 papers between 2012 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

2019

A Multi-target Code Generator for High-Level B.

Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel

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.

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

Validation of the ABZ landing gear system using ProB.

Lukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel

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

2016

Translating B to TLA⁺ for validation with TLC.

Dominik Hansen, Michael Leuschel

Sci. Comput. Program., 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

Generating Event-B Specifications from Algorithm Descriptions.

Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel

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

2014

Translating B to TLA + for Validation with TLC.

Dominik Hansen, Michael Leuschel

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

2012

Translating TLA + to B for Validation with ProB.

Dominik Hansen, Michael Leuschel

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012