Jump to contentJump to search

Dominik Hansen

Contact Information

Heinrich-Heine-Universität Düsseldorf

Institut für Informatik

Universitätsstraße 1
D-40225 Düsseldorf

 

Email: 

Phone: +49 (211) 81-10537
Fax: +49 (211) 81-10712

Room: 25.12.02.50

Current Courses (Winterterm 2016)

You can find proposed theses undefinedhere.

Publications

2020

2019

2018

2016

  • 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.

    2015

    • 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.
    • Translating B to TLA+ for Validation with TLC.
      Technical Report, Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, STUPS/2015/Feb, 2015.

    2014

    2013

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

    2012

    Responsible for the content: