Dominik Hansen

Generating Event-B Specifications from Algorithm Descriptions

Michael Leuschel, Jens Bendisposto, Dominik Hansen, 2016, ABZ.

Translating B to TLA+ for validation with TLC

Michael Leuschel, Dominik Hansen, M. Leuschel, 2016, Sci. Comput. Program..

Translating B to TLA + for Validation with TLC

Michael Leuschel, Dominik Hansen, M. Leuschel, 2014, ABZ.

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

M. Leuschel, Sebastian Krings, Philipp Körner, 2020, International Journal on Software Tools for Technology Transfer.

A Multi-target Code Generator for High-Level B

Michael Leuschel, Dominik Hansen, Philipp Körner, 2019, IFM.

Using B and ProB for Data Validation Projects

Michael Leuschel, Dominik Hansen, David Schneider, 2016, ABZ.

Translating TLA + to B for Validation with ProB

Michael Leuschel, Dominik Hansen, M. Leuschel, 2012, IFM.