2003

  • Juan Carlos Augusto, Carla Ferreira, Andy M. Gravell, Michael Leuschel, Karen M.Y. Ng
    The Benefits of Rapid Modelling for E-Business System Development.
    In ER (Workshops), Manfred A. Jeusfeld and Oscar Pastor, Lecture Notes in Computer Science, 2814, Springer Verlag, 17--28, 2003.
  • Juan Carlos Augusto, Michael Leuschel, Michael Butler, Carla Ferreira
    Using the Extensible Model Checker XTL to Verify StAC Business Specifications.
    In AVoCS, Michael Leuschel and Stefan Gruner and Stephane Lo Presti, 253--266, 2003.
  • Michael Butler, Michael Leuschel, Stephane Lo Presti, David Allsopp, Patrick Beautement, Chris Booth, Mark Cusack, Mike Kirton
    Towards a Trust Analysis Framework for Pervasive Computing Scenarios.
    In IEEE Computing, 2, 3, 96, 2003.
  • Stephen Craig, Michael Leuschel
    A Compiler Generator for Constraint Logic Programs.
    In Ershov Memorial Conference, M. Broy and A. Zamulin, Lecture Notes in Computer Science, 2890, Springer-Verlag, 2003.
  • Daniel Elphick, Michael Leuschel, Simon J. Cox
    Partial Evaluation of MATLAB.
    In Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings, 344--363, 2003.
  • Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings.
    In Frank Pfenning and Yannis Smaragdakis, Lecture Notes in Computer Science, 2830, Springer, 2003.
    • Helko Lehmann, Michael Leuschel
      Inductive Theorem Proving by Program Specialisation: Generating proofs for Isabelle using Ecce (Invited talk).
      In LOPSTR, Maurice Bruynooghe, Lecture Notes in Computer Science, 3018, Springer-Verlag, 1--19, 2003.
    • Michael Leuschel, Michael Butler
      ProB: A Model Checker for B.
      In FME, Araki Keijiro and Stefania Gnesi and Mandrio Dino, Lecture Notes in Computer Science, 2805, Springer-Verlag, 855--874, 2003.
    • Michael Leuschel, Stephen Craig, Maurice Bruynooghe, Wim Vanhoof
      Specializing Interpreters using Offline Partial Deduction.
      Technical Report, ECS, University of Southampton, DSSE-TR-2003-5, 2003.
    • Proceedings of the 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03).
      In Michael Leuschel and Stefan Gruner and Stephane Lo Presti, 2003.
      • Mauricio Varea, Michael Leuschel, Bashir Al-Hashimi
        Improving Compositional Verification of State-based Models by Reducing Modular Unbalance.
        In Refinement of Critical Systems, 2003.
      • Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'03).
        In Michael Leuschel, ACM Press, 2003.
        • Stefan Hallerstede
          Parallel Hardware Design in B.
          In ZB 2003, Springer-Verlag, 101--102, 2003.
          • Stefan Hallerstede
            Specification and Refinement of Hardware Components in B.
            In System Specification & Design Languages - Best of FDL '02, Kluwer, 315--325, 2003.