Andrew Martin : Publications
|
[1] |
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. |
|
[2] |
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. |
|
[3] |
A Monadic Interpretation of Tactics Andrew Martin and Jeremy Gibbons
Submitted to MPC2002 |
|
[4] |
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. |
|
[5] |
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. |
|
[6] |
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 |
|
[7] |
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 |
|
[8] |
A Taxonomy of Web Services Using CSP Lee Momtahan‚ Andrew Martin and A. W. Roscoe In Proceedings of Web Languages and Formal Methods. 2005. |
|
[9] |
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 |
|
[10] |
A calculus for schemas in Z Stephen Brien and Andrew Martin In J. Symbolic Computation. Vol. 30. No. 1. Pages 63–91. 2000. |
|
[11] |
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. |
|
[12] |
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. |
|
[13] |
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. |
|
[14] |
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. |
|
[15] |
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. |
|
[16] |
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. |
|
[17] |
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. |
|
[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] |
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. |
|
[20] |
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 |
|
[21] |
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. |
|
[22] |
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. |
|
[23] |
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. |
|
[24] |
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. |
|
[25] |
Infinite Lists for Specifying Functional Programs in Z Andrew Martin In Proceedings of Australian Refinement Workshop. University of Queensland. 1996. |
|
[26] |
Infinite Lists in Z Andrew Martin 1993. Draft paper |
|
[27] |
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 |
|
[28] |
Lifting in Z A. Martin and C. Fidge In Proceedings of CATS'2001. No. 42. 2001. |
|
[29] |
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 |
|
[30] |
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. |
|
[31] |
Object Models: Job Submission in DataGrids Lee Momtahan and Andrew Martin No. RR−04−26. Oxford University Computing Laboratory. February, 2004. |
|
[32] |
Of Tactics and Monads Andrew Philip Martin 1996. Work in progress |
|
[33] |
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. |
|
[34] |
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. |
|
[35] |
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. |
|
[36] |
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. |
|
[37] |
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. |
|
[38] |
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. |
|
[39] |
Relating Z and First−order logic A. P. Martin In Formal Aspects of Computing. Vol. 12. Pages 199–209. 2000. |
|
[40] |
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. |
|
[41] |
Scientific middleware for abstracted parallelisation Daniel Goodman No. RR−05−07. Oxford University Computing Laboratory. November, 2005. |
|
[42] |
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. |
|
[43] |
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. |
|
[44] |
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. |
|
[45] |
The Ten Page Introduction to Trusted Computing Andrew Martin No. RR−08−11. OUCL. December, 2008. |
|
[46] |
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 |
|
[47] |
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. |
|
[48] |
Towards a Trustable Virtual Organisation Jun Ho Huh and Andrew Martin Pages 425−431. Los Alamitos‚ CA‚ USA. November, 2009. IEEE Computer Society. |
|
[49] |
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) |
|
[50] |
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. |
|
[51] |
Trusted Delegation for Grid Computing Andrew Cooper and Andrew Martin In The Second Workshop on Advances in Trusted Computing. 2006. |
|
[52] |
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. |
|
[53] |
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. |
|
[54] |
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. |
|
[55] |
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. |
|
[56] |
Why effective proof tool support for Z is hard Andrew Martin No. 97−34. Software Verification Research Centre. 1997. |
|
[57] |
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. |
|
[58] |
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. |
|
[59] |
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. |
|
[60] |
Soundness of an Encoding of A Logic for Z in 2OBJ Hendrik Hilberdink and Andrew Martin OUCL(PRG). June, 1992. |
|
[61] |
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. |
|
[62] |
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. |
|
[63] |
e−Science: A Software Engineering Challenge Andrew Martin and Lee Momtahan Poster. 2002. UK eScience All Hands Meeting |