ToC

2016

  • Ivaylo Dobrikov, Daniel Plagge,, Michael Leuschel
    LTL Model Checking under Fairness in ProB.
    In Proceedings SEFM'16, LNCS, 9763, Springer, 2016.

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.

2013

2012

  • Daniel Plagge, Michael Leuschel
    Validating B, Z and TLA+ using ProB and Kodkod.
    In Proceedings FM'2012, Dimitra Giannakopoulou and Dominique Méry, LNCS 7436, Springer, 372--386, 2012.

2011

  • Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge
    Automated Property Verification for Large Scale B Models with ProB.
    In Formal Aspects of Computing, 23, 6, 683--709, 2011.
  • Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge
    On Fitting a Formal Method into Practice.
    In Proceedings ICFEM'2011, Shengchao Qin and Zongyan Qiu, Lecture Notes in Computer Science, 6991, Springer, 195--210, 2011.

2010

  • Stefan Hallerstede, Michael Leuschel, Daniel Plagge
    Refinement-Animation for Event-B - Towards a Method of Validation.
    In Proceedings ABZ'2010, Lecture Notes in Computer Science, 5977, Springer-Verlag, 287--301, 2010.
  • Daniel Plagge, Michael Leuschel
    Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more.
    In Software Tools for Technology Transfer (STTT), 12, 1, Springer-Verlag, 9--21, 2010.

2009

  • Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge
    Automated Property Verification for Large Scale B Models.
    In Proceedings FM 2009, Lecture Notes in Computer Science, 5850, Springer-Verlag, 708--723, 2009.
  • Daniel Plagge, Michael Leuschel, Ilya Lopatkin, Alexander Romanovsky
    SAL, Kodkod, and BDDs for Validation of B Models. Lessons and Outlook.
    In Proceedings AFM 2009, 16--22, 2009.
  • Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker
    Applying Model Checking to Generate Model-based Integration Tests from Choreography Models.
    In Proceedings TESTCOM/FATES 2009, Lecture Notes in Computer Science, 5826, Springer-Verlag, 179--194, 2009.

2007

  • Daniel Plagge, Michael Leuschel
    Validating Z Specifications using the ProB Animator and Model Checker.
    In Integrated Formal Methods, J. Davies and J. Gibbons, Lecture Notes in Computer Science, 4591, Springer-Verlag, 480--500, 2007.
  • Michael Leuschel, Daniel Plagge
    Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more.
    Technical Report, Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, STUPS/2007/02, 2007.
  • Michael Leuschel, Daniel Plagge
    Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more.
    In ISoLA, Yamine Aı̈t Ameur and Frédéric Boniol and Virginie Wiels, Revue des Nouvelles Technologies de l'Information, RNTI-SM-1, Cépaduès-Éditions, 73--84, 2007.