EEMCS

Hartel, P.H. and Butler, M.J. and de Jong, E.K. and Longley, M. (2001) Transacted Memory for Smart Cards. In: 10th Formal Methods for Increasing Software Productivity (FME), Berlin, Germany. pp. 478-499. Springer-Verlag. ISBN 3-540-41791-5

Butler, M.J. and Hartel, P.H. (1999) Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp. ACM Transactions on Programming Languages and Systems (TOPLAS), 21 (3). pp. 417-429. ISSN 0164-0925 *** ISI Impact 1,167 ***

Hartel, P.H. and Butler, M.J. and Currie, A. and Henderson, P. and Leuschel, M. and Martin, A. and Smith, A. and Ultes-Nitsche, U. and Walters, B. (1999) Questions and Answers About Ten Formal Methods. In: 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy. pp. 179-203. ERCIM/CNR. ISBN 88-7958-009-4

Hartel, P.H. and Butler, M.J. and Levy, M. (1999) The Operational Semantics of a Java Secure Processor. In: Formal Syntax and Semantics of Java. Springer-Verlag, Berlin, pp. 313-352. ISBN 3-540-66158-1

Butler, M.J. and Hartel, P.H. and de Jong, E.K. and Longley, M. (1997) Applying Formal Methods to the Design of Smart Card Software. Technical Report DSSE-TR-97-8, Department of Electronics and Computer Science, University of Southampton, University of Southampton. ISSN not assigned