ToC

2016

  • Lukas Ladenberger, Michael Leuschel
    BMotionWeb: A Tool for Rapid Creation of Formal Prototypes.
    In Proceedings SEFM'16, LNCS, 9763, Springer, 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.
    • Lukas Ladenberger, Michael Leuschel
      Mastering the Visualization of Larger State Spaces with Projection Diagrams.
      Technical Report, Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, STUPS/2015/May, 2015.
    • Lukas Ladenberger, Michael Leuschel
      Mastering the Visualization of Larger State Spaces with Projection Diagrams.
      In Proceedings ICFEM'2015, LNCS 9407, Springer-Verlag, 153--169, 2015.

      2014

      • Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel
        An Approach for Creating Domain Specific Visualisations of CSP Models.
        In HOFM 2014, Dimitra Giannakopoulou and Gwen Salaün, LNCS, 2014.
      • 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.

      2013

      • Jens Bendisposto, Joy Clark, Ivaylo Dobrikov, Philipp Körner, Sebastian Krings, Lukas Ladenberger, Michael Leuschel, Daniel Plagge
        ProB 2.0 Tutorial.
        In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
      • Stefan Hallerstede, Michael Jastram, Lukas Ladenberger
        A Method and Tool for Tracing Requirements into Specifications.
        Unpublished, 2013.

      2012

      • Lukas Ladenberger, Michael Jastram
        Requirements Traceability between Textual Requirements and Formal Models Using ProR.
        Unpublished, 2012.

      2011

      • Michael Jastram, Stefan Hallerstede, Lukas Ladenberger
        Mixing Formal and Informal Model Elements for Tracing Requirements.
        In AVOCS 2011, 2011.

      2009

      • Lukas Ladenberger, Jens Bendisposto, Michael Leuschel
        Visualising Event-B Models with B-Motion Studio.
        In Proceedings of FMICS 2009, Marı́a Alpuente and Byron Cook and Christophe Joubert, Lecture Notes in Computer Science, 5825, Springer, 202-204, 2009.