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

  • 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.
  • 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.

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.