2016

  • Sebastian Krings, Michael Leuschel
    Constraint Logic Programming over Infinite Domains with an Application to Proof.
    In Proceedings of the 30th Workshop on (Constraint) Logic Programming, EPTCS, 234, 2016.
  • Ivaylo Dobrikov, Michael Leuschel
    Optimising the ProB Model Checker for B using partial order reduction.
    In Formal Aspects of Computing, 28, 2, 179--323, 2016.
  • Sebastian Krings, Michael Leuschel
    Proof Assisted Symbolic Model Checking for B and Event-B.
    In Proceedings ABZ 2016, LNCS, 9675, Springer, 2016.
  • Joshua Schmidt, Sebastian Krings, Michael Leuschel
    Interactive Model Repair by Synthesis.
    In Proceedings ABZ 2016, LNCS, 9675, Springer, 2016.
  • Sebastian Krings, Michael Leuschel
    SMT Solvers for Validation of B and Event-B models.
    In Proceedings iFM 2016, LNCS, 9681, Springer, 2016.
  • Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, van de Pol, Jaco, Helen Treharne, Jorden Whitefield
    Symbolic Reachability Analysis of B through ProB and LTSmin.
    In Proceedings iFM 2016, LNCS, 9681, Springer, 2016.
  • Ivaylo Dobrikov, Michael Leuschel
    Enabling Analysis for Event-B.
    In Proceedings ABZ 2016, LNCS, 9675, Springer, 2016.
  • Dominik Hansen, David Schneider, Michael Leuschel
    Using B and ProB for Data Validation Projects.
    In Proceedings ABZ 2016, LNCS, 9675, Springer-Verlag, 2016.
    • Ivaylo Dobrikov, Michael Leuschel
      Enabling Analysis for Event-B (Technical Report).
      Technical Report, Institut für Informatik, University of Düsseldorf, STUPS/2016/xx, 2016.
    • Ivaylo Dobrikov, Daniel Plagge,, Michael Leuschel
      LTL Model Checking under Fairness in ProB.
      In Proceedings SEFM'16, LNCS, 9763, Springer, 2016.
    • Sebastian Krings
      Meta-Predicates for Rodin.
      In 6th Rodin User and Developer Workshop, 2016.
    • Sebastian Krings
      The Burden of High-Level Languages: Complicated Symbolic Model Checking.
      In PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications, 2016.
    • Lukas Ladenberger, Michael Leuschel
      BMotionWeb: A Tool for Rapid Creation of Formal Prototypes.
      In Proceedings SEFM'16, LNCS, 9763, Springer, 2016.
      • Michael Leuschel
        Formal Model-Based Constraint Solving and Document Generation.
        In SBMF'2016, Lecture Notes in Computer Science, Springer, 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.