• Michael Leuschel, Michael Butler
    Combining CSP and B for Specification and Property Verification.
    In FM'2005, John Fitzgerald and Ian Hayes and Andrzej Tarlecki, Lecture Notes in Computer Science, 3582, Springer-Verlag, 221--236, 2005.
  • Michael Butler, Michael Leuschel, Colin Snook
    Tools for system validation with B abstract machines.
    In 12th International Workshop on Abstract State Machines, 57--69, 2005.
  • Guest Editorial -- Special Issue on Automated Verification of Critical Systems.
    In Formal Aspects of Computing, 17, 2, Springer-Verlag, 91-92, 2005.
    • Michael Leuschel, Michael Butler
      Automatic Refinement Checking for B.
      In Proceedings ICFEM, Kung-Kiu Lau and Richard Banach, Lecture Notes in Computer Science, 3785, Springer-Verlag, 345--359, 2005.
    • Michael Leuschel, Stephen Craig
      A Reconstruction of the Lloyd-Topor Transformation using Partial Evaluation.
      In Pre-Proceedings of LOPSTR'05, Pat Hill, 2005.
    • Michael Leuschel, Edd Turner
      Visualising Larger State Spaces in ProB.
      In ZB, Helen Treharne and Steve King and Martin Henson and Steve Schneider, Lecture Notes in Computer Science, 3455, Springer-Verlag, 6--23, 2005.
    • Michael Leuschel, Germán Vidal
      Forward Slicing by Conjunctive Partial Deduction and Argument Filtering.
      In ESOP, Mooly Sagiv, Lecture Notes in Computer Science, 3444, Springer-Verlag, 61--76, 2005.
    • Stephane Lo Presti, Michael Butler, Michael Leuschel, Chris Booth
      A Trust Analysis Methodology for Pervasive Computing Systems.
      In Trusting Agents for trusting Electronic Societies, R Falcone and S Barber and J Sabater and M Singh, Lecture Notes in Computer Science, 3577, Springer-Verlag, 2005.
    • Manoranjan Satpathy, Michael Leuschel, Michael Butler
      ProTest: An Automatic Test Environment for B Specifications.
      In Electronic Notes in Theroretical Computer Science, 111, Elsevier, 113--136, 2005.
    • Qian Wang, Gopal Gupta, Michael Leuschel
      Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.
      In PADL, Manuel Hermengildo and Daniel Cabeza, Lecture Notes in Computer Science, 3350, Springer-Verlag, 98--112, 2005.
    • Stephen Craig, Michael Leuschel
      Self-Tuning Resource Aware Specialisation for Prolog.
      In Proceedings PPDP'2005, ACM Press, 23--34, 2005.
    • Stefan Hallerstede
      The Event-B Proof Obligation Generator.
      Technical Report, Information Security, ETH Zürich, 2005.
    • Stefan Hallerstede, Laurent Voisin
      The Event-B Static Checker.
      In Rodin Deliverable D10, 2005.