ToC

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.
  • Ivaylo Dobrikov, Michael Leuschel
    Enabling Analysis for Event-B.
    In Proceedings ABZ 2016, LNCS, 9675, Springer, 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.

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.

2013