2007

  • Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart
    Efficient Approximate Verification of Promela Models via Symmetry Markers.
    In ATVA, Lecture Notes in Computer Science, 4762, Springer-Verlag, 300--315, 2007.
  • Jens Bendisposto, Michael Leuschel
    BE4: The B Extensible Eclipse Editing Environment.
    In Proceedings of B 2007, Jacques Julliand and Olga Kouchnarenko, Lecture Notes in Computer Science, 4355, Springer, 270-273, 2007.
  • Karl Klose, Klaus Ostermann, Michael Leuschel
    Partial Evaluation of Pointcuts.
    In Practical Applications of Declarative Languages (PADL'07), Lecture Notes in Computer Science, Springer-Verlag, 320--334, 2007.
  • Jens Bendisposto, Michael Leuschel
    A Generic Flash-Based Animation Engine for ProB.
    In Proceedings of B 2007, Jacques Julliand and Olga Kouchnarenko, Lecture Notes in Computer Science, 4355, Springer, 266-269, 2007.
  • Michael Leuschel, Michael Butler, Corinna Spermann, Edd Turner
    Symmetry Reduction for B by Permutation Flooding.
    In Proceedings B'2007, Lecture Notes in Computer Science, 4355, Springer-Verlag, 79--93, 2007.
  • Michael Leuschel, Thierry Massart
    Efficient Approximate Verification of B via Symmetry Markers.
    In Proceedings International Symmetry Conference, 71--85, 2007.
  • Manoranjan Satpathy, Michael Butler, Michael Leuschel, S. Ramesh
    Automatic Testing from Formal Specifications.
    In Tests and Proofs (TAP 2007), Lecture Notes in Computer Science, 4454, Springer-Verlag, 95--113, 2007.
    • Edd Turner, Michael Leuschel, Corinna Spermann, Michael Butler
      Symmetry Reduced Model Checking for B.
      In Proceedings TASE 2007, IEEE, 25--34, 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.
    • Olivier Ligot, Jens Bendisposto, Michael Leuschel
      Debugging Event-B Models using the ProB Disprover Plug-in.
      In Proceedings AFADL'07, 2007.
    • Carl Friedrich Bolz, Armin Rigo
      How to not write Virtual Machines for Dynamic Languages.
      In Proceeding of Dyla 2007, 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.
      • Jean-Raymond Abrial, Stefan Hallerstede
        Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.
        In Fundamenta Informaticae, 77, 1-2, 1--28, 2007.
      • Stefan Hallerstede, Thai Son Hoang
        Qualitative Probabilistic Modelling in Event-B.
        In IFM 2007, J. Davies and J. Gibbons, Lecture Notes in Computer Science, Springer-Verlag, 293--312, 2007.
      • Stefan Hallerstede
        Justifications for the Event-B Modelling Notation.
        In B 2007, J. Julliand and O. Kouchnarenko, Lecture Notes in Computer Science, 4591, Springer-Verlag, 293--312, 2007.
      • Michael Butler, Stefan Hallerstede
        The Rodin Formal Modelling Tool.
        In BCS-FACS Christmas 2007 Meeting, 2007.