• Michael Leuschel, Dominique Cansell, Michael Butler
    Validating and Animating Higher-Order Recursive Functions in B.
    In Festschrift for Egon Börger, Jean-Raymond Abrial and Uwe Glässer, Lecture Notes in Computer Science, 5115, Springer-Verlag, 2009.
  • Carl Friedrich Bolz, Michael Leuschel, Armin Rigo
    Towards Just-In-Time Partial Evaluation of Prolog.
    In Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers, Danny De Schreye, Lecture Notes in Computer Science, 6037, Springer, 158-172, 2009.
  • Michael Leuschel, Marisa Llorens, Javier Olivier, Josep Silva, Salvador Tamarit
    SOC: A Slicer for CSP Specifications.
    In PEPM 2009, ACM Press, 2009.
    • Integrated Formal Methods: Proceedings iFM 2009.
      In Michael Leuschel and Heike Wehrheim, Lecture Notes in Computer Science, 5423, Springer-Verlag, 2009.
      • Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Armin Rigo
        Tracing the Meta-Level: PyPy's Tracing JIT Compiler.
        In ICOOOLPS 2009, ACM, 18--25, 2009.
      • Mireille Samia, Michael Leuschel
        Pie Tree Visualization.
        In Proceedings SEKE, Knowledge Systems Institute, 400--405, 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.
        • Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings.
          In Karin K. Breitman and Ana Cavalcanti, Lecture Notes in Computer Science, 5885, Springer, 2009.
        • Proof Assisted Model Checking for B.
          In Proceedings of ICFEM 2009, Karin Breitman and Ana Cavalcanti, Lecture Notes in Computer Science, 5885, Springer, 504-520, 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.
        • Visualising Event-B Models with B-Motion Studio.
          In Proceedings of FMICS 2009, Marı́a Alpuente and Byron Cook and Christophe Joubert, Lecture Notes in Computer Science, 5825, Springer, 202-204, 2009.
        • Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin
          Rodin: An Open Toolset for Modelling and Reasoning in Event-B.
          In Software Tools for Technology Transfer, 2009.
          • Stefan Hallerstede
            On the Purpose of Event-B Proof Obligations.
            In Formal Aspects of Computing, Springer-Verlag, 2009.
            • Stefan Hallerstede, Michael Leuschel
              How to explain mistakes.
              In TFM 2009, Lecture Notes in Computer Science, Springer-Verlag, 105--124, 2009.
            • Stefan Hallerstede
              How to make mistakes.
              In TFM-B 2009, University of Nantes, 93--108, 2009.
            • Stefan Hallerstede
              Proving Quicksort correct in Event-B.
              In Refine 2009, ENTCS, 2009.
              • Stefan Hallerstede
                A (Small) Improvement of Event-B?.
                In Proceedings of Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems (09381), 2009.
              • Mireille Samia, Harald Wiegard, Jens Bendisposto, Michael Leuschel
                High-Level versus Low-Level Specifications: Comparing B with Promela and ProB with Spin.
                In Proceedings TFM-B 2009, Attiogbe and Mery, APCB, 2009.
              • Parallel Model Checking of Event-B Specification with ProB.
                In 2009.