2020

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.
In International Journal on Software Tools for Technology Transfer, 2020.
- LINK

2019

Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel
A Multi-Target Code Generator for High-Level B.
In Proceedings iFM, LNCS, 11918, Springer, 2019.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-34968-4_25

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.
In Proceedings ABZ 2018, Michael Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl, LNCS, 10817, Springer, 292--306, 2018.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91271-4_20

Dominik Hansen, David Schneider, Michael Leuschel
Using B and ProB for Data Validation Projects.
In Proceedings ABZ 2016, LNCS, 9675, Springer-Verlag, 167--182, 2016.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-33600-8_10
Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel
Generating Event-B Specifications from Algorithm Descriptions.
In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, Michael J. Butler and Klaus-Dieter Schewe and Atif Mashkoor and Miklós Biró, Lecture Notes in Computer Science, 9675, Springer, 183--197, 2016.
- LINK

Ladenberger, Lukas, Hansen, Dominik, Wiegard, Harald, Bendisposto, Jens, Leuschel, Michael
Validation of the ABZ landing gear system using ProB.
In International Journal on Software Tools for Technology Transfer, Springer Berlin Heidelberg, 1-17, 2015.
- LINK
Dominik Hansen, Michael Leuschel
Translating B to TLA+ for Validation with TLC.
Technical Report, Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, STUPS/2015/Feb, 2015.
- PDF
- LINK

Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel
Validation of the ABZ Landing Gear System using ProB.
In ABZ 2014: The Landing Gear Case Study, 2014.
- PDF
Dominik Hansen, Jens Bendisposto, Michael Leuschel
Integrating ProB into the TLA Toolbox.
In TLA Workshop, 2014.
- PDF
Dominik Hansen, Michael Leuschel
Translating B to TLA + for Validation with TLC.
In Proceedings ABZ'14, LNCS 8477, 40--55, 2014.
- PDF

Dominik Hansen, Michael Leuschel
Translating B to TLA+ for Validation with TLC.
Technical Report, Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, STUPS/2013/xx, 2013.
- PDF
- LINK

Dominik Hansen, Michael Leuschel
Translating TLA+ to B for Validation with ProB.
In Proceedings iFM'2012, LNCS 7321, Springer, 24--38, 2012.
- PDF