2013

  • Stefan Hallerstede, Michael Leuschel, Daniel Plagge
    Validation of Formal Models by Refinement Animation.
    In Science of Computer Programming, 78, 3, 272--292, 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.
  • Jens Bendisposto, Philipp Körner, Michael Leuschel
    Parallel Model Checking of B Specifications.
    In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
  • Sebastian Krings, Jens Bendisposto, Ivaylo Dobrikov, Michael Leuschel
    B constrained.
    In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
  • Sebastian Krings, Michael Leuschel
    Inferring Physical Units in B Models.
    In Proceedings SEFM'2013, LNCS 8137, Springer, 137--151, 2013.
  • Michael Jastram
    The Eclipse Requirements Modeling Framework.
    In Managing Requirements Knowledge, Maalej, Walid and Thurimella, Anil, Springer, 2013.
  • Stefan Hallerstede
    On Sequentiality and Concurrency,.
    Unpublished, 2013.
  • Stefan Hallerstede, Michael Jastram, Lukas Ladenberger
    A Method and Tool for Tracing Requirements into Specifications.
    Unpublished, 2013.
  • Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt
    Storage strategies for collections in dynamically typed languages.
    In Proc. OOPSLA, to appear, ACM, 2013.
  • Jerome Falampin, Hung Le-Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge
    Improving Railway Data Validation with ProB.
    In Industrial Deployment of System Engineering Methods, Springer, 27--44, 2013.
  • 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.