Dominik Hansen
Contact Information
Heinrich-Heine-Universität Düsseldorf
Universitätsstraße 1
D-40225 Düsseldorf
Email: hansen(at)cs.uni-duesseldorf.de
Phone: +49 (211) 81-10537
Fax: +49 (211) 81-10712
Room: 25.12.02.50
Current Courses (Winterterm 2016)
You can find proposed theses here.
Publications
2020
2019
- A Multi-Target Code Generator for High-Level B.In Proceedings iFM, LNCS, 11918, Springer, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-34968-4_25
2018
- 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.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91271-4_20
2016
- 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.