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.
  • David Schneider, Michael Leuschel, Tobias Witt
    Model-Based Problem Solving for University Timetable Validation and Improvement.
    In FM 2015: Formal Methods: 20th International Symposium, Lecture Notes in Computer Science (Book 9109), Springer, 487-495, 2015.
    • Philipp Körner, David Schneider, Michael Leuschel
      Evaluating Interpreter Design in Prolog.
      In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2015, Schriftenreihe des Instituts für Computersprachen, Springer, 2015.
    • Sebastian Krings, Jens Bendisposto, Michael Leuschel
      From Failure to Proof: The ProB Disprover for B and Event-B.
      In Proceedings SEFM'2015, LNCS 9276, Springer, 2015.
    • Sebastian Krings, Michael Leuschel
      Inferring Physical Units in Formal Models.
      In Software & Systems Modeling, Springer Berlin Heidelberg, 1-23, 2015.
    • 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.
    • 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.