• Helko Lehmann, Michael Leuschel
    Generating inductive verification proofs for Isabelle using the partial evaluator Ecce.
    Technical Report, ECS, University of Southampton, DSSE-TR-2002-02, 2002.
    • Homeomorphic Embedding for Online Termination of Symbolic Methods.
      In The Essence of Computation -- Essays dedicated to Neil Jones, Torben Mogensen, David Schmidt, I. H. Sudborough, Lecture Notes in Computer Science, 2566, Springer-Verlag, 379--403, 2002.
    • Michael Leuschel, Maurice Bruynooghe
      Logic program specialisation through partial deduction: Control Issues.
      In Theory and Practice of Logic Programming, 2, 4--5, Cambridge University Press, 461--515, 2002.
    • Michael Leuschel, Stefan Gruner
      Abstract Conjunctive Partial Deduction using Regular Types and its Application to Model Checking.
      In LOPSTR, Alberto Pettorossi, Lecture Notes in Computer Science, 2372, Springer-Verlag, 91--110, 2002.
      • Michael Leuschel, Thierry Massart
        Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation.
        In AVoCS, Gethin Norman and Martha Kwiatkowska and Dimitar Guelev, University of Birmingham, 143--149, 2002.
      • Mauricio Varea, Bashir Al-Hashimi, Michael Leuschel
        Finite and Infinite Model Checking of Dual Transition Petri Net Models.
        In AVoCS, 265--269, 2002.
      • Logic Based Program Synthesis and Transformation, Proceedings of LOPSTR'02, Revised Selected Papers.
        In Michael Leuschel, Lecture Notes in Computer Science, 2664, 2002.
        • Proceedings of the ACM Sigplan International Workshop on Verification and Computational Logic (VCL'2002).
          In Michael Leuschel and Ultes-Nitsche, Ulrich, 2002.
          • Stefan Hallerstede, Michael Butler
            A Performance-oriented Refinement Assistant.
            In RCS '02: International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, 2002.