2014

  • Michael Leuschel, Germán Vidal
    Fast offline partial evaluation of logic programs.
    In Information and Computation, 235, 70--97, 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.
  • Ivaylo Dobrikov, Michael Leuschel
    Optimising the ProB Model Checker for B using Partial Order Reduction.
    In SEFM 2014, Dimitra Giannakopoulou and Gwen Salaün, LNCS 8702, 220--234, 2014.
  • Michael Leuschel, Jens Bendisposto, Ivaylo Dobrikov, Sebastian Krings, Daniel Plagge
    From Animation to Data Validation: The ProB Constraint Solver 10 Years On.
    In Formal Methods Applied to Complex Systems: Implementation of the B Method, Jean-Louis Boulanger, Wiley ISTE, 427--446, 2014.
  • Ivaylo Dobrikov, Michael Leuschel
    Optimising the ProB Model Checker for B using Partial Order Reduction.
    Technical Report, Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, STUPS/2014/xx, 2014.
  • Sebastian Krings, Jens Bendisposto, Michael Leuschel
    Turning Failure into Proof: Evaluating the ProB Disprover.
    In Proceedings of the 1st International Workshop about Sets and Tools, 2014.
  • John Witulski, Michael Leuschel
    Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB.
    In Proceedings of the 1st Workshop on Formal-IDE, EPTCS, 149, Electronic Proceedings in Theoretical Computer Science, 2014.
  • Jens Bendisposto, Sebastian Krings, Michael Leuschel
    Who watches the watchers: Validating the ProB Validation Tool.
    In Proceedings of the 1st Workshop on Formal-IDE, EPTCS, 149, Electronic Proceedings in Theoretical Computer Science, 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.
  • Dominik Hansen, Jens Bendisposto, Michael Leuschel
    Integrating ProB into the TLA Toolbox.
    In TLA Workshop, 2014.
  • Dominik Hansen, Michael Leuschel
    Translating B to TLA + for Validation with TLC.
    In Proceedings ABZ'14, LNCS 8477, 40--55, 2014.
  • Michael Leuschel, David Schneider
    Towards B as a High-Level Constraint Modelling Language.
    In Abstract State Machines, Alloy, B, TLA, VDM, and Z, Ait Ameur, Yamine and Schewe, Klaus-Dieter, Lecture Notes in Computer Science, 8477, Springer Berlin Heidelberg, 101-116, 2014.
  • Michael Leuschel
    Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools.
    In VPT 2014, Alexei Lisitsa and Andrei Nemytykh, EPiC Series, 28, EasyChair, 1-1, 2014.