Susan Stepney

Search results

• 2005

  Formalizing anonymity: A review

  Wright, J., Stepney, S., Clark, J. A. & Jacob, J. L., 2005, YCS-2005-389 ed. Department of Computer Science, University of York. 64 p. (York Computer Science Technical Report Series; vol. YCS, no. YCS-2005-389)

  Research output: Book/Report › Other report

  File
• 2004

  A Z Patterns Catalogue II: definitions and laws, v0.1

  Valentine, S. H., Stepney, S. & Toyn, I., 1 Oct 2004, Department of Computer Science, University of York. (Department of Computer Science Technical Report; vol. YCS-2004-383)

  Research output: Book/Report › Other report

• Breaking the Model: finalisation and a taxonomy of security attack

  Stepney, S., Clark, J. A. & Chivers, H., 2004, Department of Computer Science, University of York. 20 p. (York Computer Science Technical Report; vol. YCS, no. YCS-2004-371)

  Research output: Book/Report › Other report

  Open Access

  File
• 2003

  A Z Patterns Catalogue I: specification and refactorings, v0.1

  Stepney, S., Polack, F. & Toyn, I., 1 Jan 2003, Department of Computer Science, University of York. (Department of Computer Science Technical Report series; vol. YCS-2003-349)

  Research output: Book/Report › Other report

• CSP/FDR2 to Handel-C translation

  Stepney, S., 1 Jun 2003, The Department of Computer Science, University of York. (Department of Computer Science Technical Report; vol. YCS-2003-357)

  Research output: Book/Report › Other report

• The DeCCo Project Papers I: Z Specification of Pasp

  Stepney, S. & Nabney, I. T., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report series; vol. YCS-2002-358)

  Research output: Book/Report › Other report

• The DeCCo Project Papers II: Z Specification of Asp

  Stepney, S. & Nabney, I. T., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report; vol. YCS-2002-359)

  Research output: Book/Report › Other report

• The DeCCo Project Papers III: Z Specification of Compiler Templates

  Stepney, S. & Nabney, I. T., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-2002-361)

  Research output: Book/Report › Other report

• The DeCCo Project Papers IV: Z Specification of Linker and Hexer

  Stepney, S., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-2002-361)

  Research output: Book/Report › Other report

• The DeCCo Project Papers V: Compiler Correctness Proofs

  Stepney, S., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report series; vol. YCS-2003-362)

  Research output: Book/Report › Other report

• The DeCCo Project Papers VI: Z to Prolog DCTG translation guidelines

  Stepney, S., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report; vol. YCS-2003-363)

  Research output: Book/Report › Other report