Universität Düsseldorf: Hansen

Dominik Hansen

Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf

Email:

Tel.: +49 (211) 81-10537
Fax: +49 (211) 81-10712

Raum: 25.12.02.50

Meine offenen Themen für Abschlussarbeiten finden Sie hier.

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

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, 2016.
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

Verantwortlichkeit: