2008

  • Michael Leuschel, Michael Butler
    ProB: An Automated Analysis Toolset for the B Method.
    In Software Tools for Technology Transfer (STTT), 10, 2, Springer-Verlag, 185--203, 2008.
  • Michael Leuschel, Mireille Samia, Jens Bendisposto, Li Luo
    Easy Graphical Animation and Formula Viewing for Teaching B.
    In The B Method: from Research to Teaching, C. Attiogbé and H. Habrias, Lina, 17--32, 2008.
  • Corinna Spermann, Michael Leuschel
    ProB gets Nauty: Effective Symmetry Reduction for B and Z Models.
    In Proceedings TASE 2008, IEEE, 15--22, 2008.
  • Michael Leuschel
    The High Road to Formal Validation: Model Checking High-Level versus Low-Level Specifications.
    In ABZ 2008, Lecture Notes in Computer Science, 5238, Springer-Verlag, 4--23, 2008.
  • Michael Leuschel
    Declarative Programming for Verification: Lessons and Outlook.
    In Proceedings PPDP'2008, ACM Press, 1--7, 2008.
  • Michael Leuschel, Germán Vidal
    Fast Offline Partial Evaluation for Large Logic Programs.
    In Proceedings LOPSTR'08, Michael Hanus, Lecture Notes in Computer Science, 5438, 119--134, 2008.
  • Michael Leuschel, Marisa Llorens, Javier Olivier, Josep Silva, Salvador Tamarit
    Static Slicing of CSP Specifications.
    In Preproceedings LOPSTR'08, Michael Hanus, Lecture Notes in Computer Science, 5438, 103--118, 2008.
  • Michael Leuschel, Marc Fontaine
    Probing the Depths of CSP-M: A new FDR-compliant Validation Tool.
    In ICFEM 2008, Springer-Verlag, 278--297, 2008.
  • Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider
    A Semantics-Aware Editing Environment for Prolog in Eclipse.
    In Proceedings of the 18th Workshop on Logic-based methods in Programming Environments, WLPE, 2008.
  • Carl Friedrich Bolz, Adrian Kuhn, Nicholas Matsakis, Adrian Lienhard, Oscar Nierstrasz, Lukas Renggli, Armin Rigo, Toon Verwaest
    Back to the Future in One Week – Implementing a Smalltalk VM in PyPy.
    In Self-Sustaining Systems, Lecture Notes in Computer Science, Springer, 123--139, 2008.
  • Stefan Hallerstede
    Incremental system modelling in Event-B.
    In FMCO 2008, Lecture Notes in Computer Science, Springer-Verlag, 139--158, 2008.
  • Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin
    A roadmap for the Rodin Toolset.
    In ABZ 2008, Lecture Notes in Computer Science, Verlag, 347--347, 2008.
    • Stefan Hallerstede
      On the Purpose of Event-B Proof Obligations.
      In ABZ 2008, Lecture Notes in Computer Science, Springer-Verlag, 125--138, 2008.
    • Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia
      La validation de modèles Event-B avec le plug-in ProB pour RODIN.
      In Technique et Science Informatiques, 27, 8, 1065-1084, 2008.
      • Steve Barker, Michael Leuschel, Mauricio Varea
        Efficient and Flexible Access Control via Jones-Optimal Logic Program Specialisation.
        In Higher-Order and Symbolic Computation, 21, 1--2, 5--35, 2008.