Dominik Hansen

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 7

Top Topics

Experimental Study

Top Venues

Int. J. Softw. Tools Technol. Transf.

Sci. Comput. Program.

Publications

Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel
A Multi-target Code Generator for High-Level B. IFM (2019)
Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. ABZ (2018)
Lukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel
Validation of the ABZ landing gear system using ProB. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel
Generating Event-B Specifications from Algorithm Descriptions. ABZ (2016)
Dominik Hansen, Michael Leuschel
for validation with TLC. Sci. Comput. Program. 131 (2016)
Dominik Hansen, David Schneider, Michael Leuschel
Using B and ProB for Data Validation Projects. ABZ (2016)
Dominik Hansen, Michael Leuschel
Translating B to TLA + for Validation with TLC. ABZ (2014)
Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel
Validation of the ABZ Landing Gear System Using ProB. ABZ (Case Study) (2014)
Dominik Hansen, Michael Leuschel
Translating TLA + to B for Validation with ProB. IFM (2012)