Andrew Martin : Publications
|
[1] |
Engineering Attestable Services (short paper) John Lyle and Andrew Martin In Ahmad−Reza Acquisti Alessandro; Smith Sean W.; Sadeghi, editor, Proceedings of the 3rd International Conference on Trust and Trustworthy Computing. Pages 257–264. Springer. June, 2010. |
|
[2] |
A Multiple Comparative Study of Test−With Development Product Changes and their Effects on Team Speed and Product Quality Steve Bannerman and Andrew Martin No. RR−10−03. April, 2010. |
|
[3] |
A multiple comparative study of test−with development product changes and their effects on team speed and product quality Steve Bannerman and Andrew Martin In Empirical Software Engineering. 2010. |
|
[4] |
Managing application whitelists in trusted distributed systems Jun Ho Huh‚ John Lyle‚ Cornelius Namiluko and Andrew Martin In Future Generation Computer Systems. Vol. In Press‚ Accepted Manuscript. 2010. |
|
[5] |
Trusted Computing and Provenance: Better Together John Lyle and Andrew Martin In Proceedings of the 2nd Workshop on the Theory and Practice of Provenance. Usenix. 2010. |
|
[6] |
Towards a Trustable Virtual Organisation Jun Ho Huh and Andrew Martin Pages 425−431. Los Alamitos‚ CA‚ USA. November, 2009. IEEE Computer Society. |
|
[7] |
On the Feasibility of Remote Attestation for Web Services John Lyle and Andrew Martin In SecureCom09: Proceedings of the International Symposium on Secure Computing. Pages 283−288. IEEE. 2009. |
|
[8] |
The Ten Page Introduction to Trusted Computing Andrew Martin No. RR−08−11. OUCL. December, 2008. |
|
[9] |
Trusted Logging for Grid Computing Jun Ho Huh and Andrew Martin In Third Asia−Pacific Trusted Infrastructure Technologies Conference. Pages 30−42. Los Alamitos‚ CA‚ USA. October, 2008. IEEE Computer Society. |
|
[10] |
Association of parameter‚ software‚ and hardware variation with large−scale behavior across 57‚000 climate models Christopher G. Knight‚ Sylvia H. E. Knight‚ Neil Massey‚ Tolu Aina‚ Carl Christensen‚ Dave J. Frame‚ Jamie A. Kettleborough‚ Andrew Martin‚ Stephen Pascoe‚ Ben Sanderson‚ David A. Stainforth and Myles R. Allen In Proceedings of the National Academy of Sciences in the United States of America. Vol. 104. No. 30. Pages 12259–12264. July, 2007. |
|
[11] |
Data access and analysis with distributed federated data servers in climateprediction.net N. Massey‚ T. Aina‚ M. Allen‚ C. Christensen‚ D. Frame‚ D. Goodman‚ J Kettleborough‚ A. Martin‚ S. Pascoe and D. Stainforth In Advances in Geosciences. Vol. 8. Pages 49–56. June, 2006. |
|
[12] |
Preface. Alvaro E. Arenas‚ Jin Song Dong‚ Andrew Martin and Brian Matthews In Electr. Notes Theor. Comput. Sci.. Vol. 151. No. 2. Pages 1. 2006. |
|
[13] |
Innovations for Grid Security from Trusted Computing Wenbo Mao‚ Andrew Martin‚ Hai Jin and Huanguo Zhang In Fourteenth International Workshop on Security Protocols. Springer−Verlag. 2006. To appear |
|
[14] |
Towards a Secure‚ Tamper−Proof Grid Platform. Andrew Cooper and Andrew Martin In Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006)‚ 16−19 May 2006‚ Singapore. Pages 373−380. IEEE Computer Society. 2006. |
|
[15] |
ShibGrid: Shibboleth Access for the UK National Grid Service David Spence‚ Neil Geddes‚ Jens Jensen‚ Andrew Richards‚ Matthew Viljoen‚ Andrew Martin‚ Matthew Dovey‚ Mark Norman‚ Kang Tang‚ Anne Trefethen‚ David Wallom‚ Rob Allan and David Meredith In eScience 2006‚ Amsterdam. 2006. |
|
[16] |
Trusted Delegation for Grid Computing Andrew Cooper and Andrew Martin In The Second Workshop on Advances in Trusted Computing. 2006. |
|
[17] |
Towards an open‚ trusted digital rights management platform Andrew Cooper and Andrew Martin In DRM '06: Proceedings of the ACM workshop on Digital rights management. Pages 79–88. New York‚ NY‚ USA. 2006. ACM Press. Details | BibTeX | DOI (http://doi.acm.org/10.1145/1179509.1179525) |
|
[18] |
Editorial‚ Guest Editors‚ Special issue on Grid Security Howard Chivers and Andrew Martin In Software—Practice and Experience. Vol. 35. No. 9. July, 2005. |
|
[19] |
Scientific middleware for abstracted parallelisation Daniel Goodman No. RR−05−07. Oxford University Computing Laboratory. November, 2005. |
|
[20] |
Uncertainty in the predictions of the climate response to rising levels of greenhouse gases D. A. Stainforth‚ T. Aina‚ C. Christensen‚ M. Collins‚ N. Faull‚ D. J. Frame‚ J. A. Kettleborough‚ S. Knight‚ A. Martin‚ J. M. Murphy‚ C. Piani‚ D. Sexton‚ L. A. Smith‚ R. A. Spicer‚ A. J. Thorpe and M. R. Allen In Nature. Vol. 433. Pages 403–406. 2005. |
|
[21] |
Uncertainty in the predictions of the climate response to rising levels of greenhouse gases D. A. Stainforth‚ T. Aina‚ C. Christensen‚ M. Collins‚ N. Faull‚ D. J. Frame‚ J. A. Kettleborough‚ S. Knight‚ A. Martin‚ J. M. Murphy‚ C. Piani‚ D. Sexton‚ L. A. Smith‚ R. A. Spicer‚ A. J. Thorpe and M. R. Allen In Nature. Vol. 433. Pages 403–406. 2005. |
|
[22] |
A Taxonomy of Web Services Using CSP Lee Momtahan‚ Andrew Martin and A. W. Roscoe In Proceedings of Web Languages and Formal Methods. 2005. |
|
[23] |
On two kinds of public−resource distributed computing Andrew Martin‚ Tolu Aina‚ Carl Christensen‚ Jamie Kettleborough and David Stainforth In Proceedings of Fourth UK e−Science All Hands Meeting. 2005. |
|
[24] |
Object Models: Job Submission in DataGrids Lee Momtahan and Andrew Martin No. RR−04−26. Oxford University Computing Laboratory. February, 2004. |
|
[25] |
A taxonomy of web services using CSP Lee Momtahan‚ Andrew Martin and A. W. Roscoe No. RR−04−22. Oxford University Computing Laboratory. October, 2004. |
|
[26] |
Teaching Formal Methods in Context Jim Davies‚ Andrew Simpson and Andrew Martin In C. Neville Dean and Raymond T. Boute, editors, Symposium on Teaching Formal Methods. Vol. 3294 of Lecture Notes in Computer Science. Springer−Verlag. 2004. |
|
[27] |
Grid Style Web Services for ClimatePrediction.net Daniel Goodman and Andrew Martin In S. Newhouse and S. Parastatidis, editors, GGF workshop on building Service−Based Grids‚ Honolulu‚ Hawaii. Global Grid Forum. 2004. |
|
[28] |
Grids and Private Networks are Anthitetical Andrew Martin and Carl Cook In Howard Chivers and Andrew Martin, editors, Grid Security Practice and Experience Workshop. Computer Science Department‚ University of York‚ YCS−2004−380. 2004. |
|
[29] |
Security Principles for Public−Resource Modeling Research. Dave Stainforth‚ Andrew Martin‚ Andrew Simpson‚ Carl Christensen‚ Jamie Kettleborough‚ Tolu Aina and Myles Allen In 13th IEEE International Workshops on Enabling Technologies (WETICE 2004)‚ Infrastructure for Collaborative Enterprises‚ 14−16 June 2004‚ Modena‚ Italy. Pages 319−324. IEEE Computer Society. 2004. |
|
[30] |
A Critical Survey of Grid Security Requirements and Technologies Philippa J. Broadfoot and Andrew P. Martin No. RR−03−15. Oxford University Computing Laboratory. August, 2003. |
|
[31] |
Supplementing the understanding of Z: a formal approach to database design A. C. Simpson and A. P. Martin In Proceedings of the BCS Teaching Formal Methods workshop. BCS. 2003. |
|
[32] |
On the supervision and assessment of part−time postgraduate software engineering projects A C. Simpson‚ A. P. Martin‚ J. Gibbons‚ J. W. Davies and S. W. McKeever In Proceedings of the 25th International Conference on Software Engineering (ICSE)‚ Portland‚ Oregon‚ 3–10 May‚ 2003. Pages 628–633. IEEE Computer Society Press. 2003. |
|
[33] |
ZML: XML Support for Standard Z Mark Utting‚ Ian Toyn‚ Jing Sun‚ Andrew Martin‚ Jin Song Dong‚ Nicholas Daley and David W. Currie In Didier Bert‚ Jonathan P. Bowen‚ Steve King and Marina Waldén, editors, ZB 2003: Formal Specification and Development in Z and B‚ Third International Conference of B and Z Users‚ Turku‚ Finland‚ June 4−6‚ 2003‚ Proceedings. Vol. 2651 of Lecture Notes in Computer Science. Pages 437−456. Springer. 2003. |
|
[34] |
On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects. Andrew Simpson‚ Andrew Martin‚ Jeremy Gibbons‚ Jim Davies and Steve McKeever In Proceedings of the 25th International Conference on Software Engineering‚ May 3−10‚ 2003‚ Portland‚ Oregon‚ USA. Pages 628−633. IEEE Computer Society. 2003. |
|
[35] |
Generalizing the Schema Calculus: Database Schemas and Beyond Andrew Martin and Andrew Simpson In Proceedings of 10th Asia−Pacific Software Engineering Conference. IEEE press. 2003. to appear |
|
[36] |
Grid Security: Requirements and Technologies A Survey of the State−of−the−art Philippa Broadfoot and Andrew Martin No. PRG−RR−03−15. Programming Research Group. Oxford University Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford‚ OX1 3QD‚ UK. 2003. |
|
[37] |
climateprediction.com: security and design planning D. Stainforth‚ J. A. Kettleborough‚ A. P. Martin‚ A. C. Simpson‚ A. P. Martin‚ R. Gillis‚ A. Akkas‚ R. Gault‚ M. Collins‚ D. J. Gavaghan and M. Allen In Proceedings of the 2002 UK e−Science All Hands Meeting. 2002. |
|
[38] |
Climateprediction.net: design principles for public resource modelling research. D. Stainforth‚ J. Kettleborough‚ A. Martin‚ A. Simpson‚ R. Gillis‚ A. Akkas‚ R. Gault‚ M. Collins‚ D. Gavaghan and M. Allen In Proc. 14th IASTED conference on parallel and distributed computing systems.. 2002. |
|
[39] |
e−Science Experiences: Software Engineering Practice and the EU DataGrid Lee Momtahan and Andrew Martin In Proc. Asia−Pacific Software Engineering Conference. Pages 269–275. IEEE Press. 2002. |
|
[40] |
e−Science: A Software Engineering Challenge Andrew Martin and Lee Momtahan Poster. 2002. UK eScience All Hands Meeting |
|
[41] |
Lifting in Z A. Martin and C. Fidge In Proceedings of CATS'2001. No. 42. 2001. |
|
[42] |
Relating Z and First−order logic A. P. Martin In Formal Aspects of Computing. Vol. 12. Pages 199–209. 2000. |
|
[43] |
A calculus for schemas in Z Stephen Brien and Andrew Martin In J. Symbolic Computation. Vol. 30. No. 1. Pages 63–91. 2000. |
|
[44] |
A Calculus for Schemas in Z S. M. Brien and A. P. Martin In J. Symbolic Computation. Vol. 30. No. 1. Pages 63–91. 2000. |
|
[45] |
Declarative languages in education H. Glaser‚ P. H. Hartel‚ M. Leuschel and A. Martin In Encyclopaedia of Microcomputers. Vol. 27. Pages 79–102. Marcel Dekker Inc. , AddressNew York. 2000. |
|
[46] |
Relating Z and first−order logic Andrew Martin In Jeanette M. Wing‚ Jim Woodcock and Jim Davies, editors, FM'99 – Formal Methods. No. 1708‚1709. Pages 1266–1280. Springer−Verlag. September, 1999. |
|
[47] |
Questions and Answers About Ten Formal Methods P. Hartel‚ M. Butler‚ A. Currie‚ P. Henderson‚ M. Leuschel‚ A. Martin‚ A. Smith‚ U. Ultes−Nitsche and B. Walters In S. Gnesi and D. Latella, editors, Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems. Vol. II. Pages 179−203. Trento‚ Italy. July, 1999. ERCIM. STAR/CNR‚ Pisa‚ Italy. |
|
[48] |
Applying the Cogito Program Development Environment to Real−Time System Design C. J. Fidge‚ P. Kearney and A. P. Martin In C. McDonald, editor, Computer Science '98. Pages 367–378. Springer−Verlag. 1998. Proc. 21st Australasian Computer Science Conference‚ Perth‚ 4−6 February 1998. Australian Computer Science Communications‚ Vol. 20‚ No. 1. Also available as technical report SVRC−TR−97−36. |
|
[49] |
A Set−Theoretic Model for Real−Time Specification and Reasoning C. J. Fidge‚ I. J. Hayes‚ A. P. Martin and A. K. Wabenhorst In J. Jeuring, editor, Mathematics of Program Construction (MPC'98). Vol. 1422 of Lecture Notes in Computer Science. Pages 188–206. Springer−Verlag. 1998. |
|
[50] |
A Tactic Language for Ergo A. Martin‚ R. Nickson and M. Utting In Lindsay Groves and Steve Reeves, editors, Formal Methods Pacific '97. Singapore. July, 1997. Springer−Verlag. Also appears as TR97−16‚ Software Verification Research Centre‚ The University of Queensland‚ QLD 4072‚ Australia |
|
[51] |
W Reconstructed Jon Hall and Andrew Martin In Jonathan P. Bowen‚ Michael G Hinchey and David Till, editors, ZUM'97: The Z Formal Specification Notation‚ 10th International Conference of Z Users‚ Reading‚ UK‚ April 1997‚ Proceedings. Vol. 1212 of Lecture Notes in Computer Science. Berlin Heidelberg. April, 1997. Springer−Verlag. |
|
[52] |
The Cogito development system Owen Traynor‚ Dan Hazel‚ Peter Kearney‚ Andrew Martin‚ Ray Nickson and Luke Wildman In Michael Johnson, editor, Algebraic Methodology and Software Technology. Vol. 1349 of LNCS. Pages 586–591. Berlin. December, 1997. Springer−Verlag. 6th International conference‚ AMAST'97‚ Sydney‚ Australia |
|
[53] |
Improving Angel's Parallel Operator: Gumtree's Approach Andrew Martin‚ Ray Nickson and Mark Utting No. 97−15. Software Verification Research Centre. The University of Queensland‚ QLD 4072‚ Australia. 1997. |
|
[54] |
Why effective proof tool support for Z is hard Andrew Martin No. 97−34. Software Verification Research Centre. 1997. |
|
[55] |
A Tactic Calculus A. P. Martin‚ P. H. B. Gardiner and J. C. P. Woodcock In Formal Aspects of Computing. Vol. 8. No. 4. Pages 479–489. 1996. An abridged version appears in the printed journal; the full version is available in the electronic supplement to Formal Aspects of Computing‚ 8E‚ pp244–285. http://link.springer.de/link/service/journals/00165/supp/list94_96.htm |
|
[56] |
Infinite Lists for Specifying Functional Programs in Z Andrew Martin In Proceedings of Australian Refinement Workshop. University of Queensland. 1996. |
|
[57] |
Of Tactics and Monads Andrew Philip Martin 1996. Work in progress |
|
[58] |
A Tutorial on Proof in Standard Z Stephen M. Brien and Andrew P. Martin No. PRG−120. Programming Research Group‚ Oxford University Computing Laboratory. Wolfson Building‚ Parks Road‚ Oxford‚ OX1 3QD‚ UK. 1995. Presented at ZUM'95 |
|
[59] |
Machine−Assisted Theorem−Proving for Software Engineering Andrew Martin PhD Thesis , type={D.Phil.}\ Thesis D.Phil. ThesisType. University of Oxford. , 1994. Also available as Technical Monograph PRG−121‚ ISBN 0−902928−95−3‚ Oxford University Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford‚ OX1 3QD‚ UK |
|
[60] |
Encoding : A Logic for Z in 2OBJ Andrew Martin In J. C. P. Woodcock and P. G. Larsen, editors, FME'93: Industrial−Strength Formal Methods. Vol. 670 of Lecture Notes in Computer Science. Pages 462–481. Springer−Verlag. 1993. |
|
[61] |
Infinite Lists in Z Andrew Martin 1993. Draft paper |
|
[62] |
Soundness of an Encoding of A Logic for Z in 2OBJ Hendrik Hilberdink and Andrew Martin OUCL(PRG). June, 1992. |
|
[63] |
A Monadic Interpretation of Tactics Andrew Martin and Jeremy Gibbons
Submitted to MPC2002 |