University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Andrew Simpson : Publications

By dateBy titleBy typeBibtex

[1]

On the formal interpretation of SysML blocks using a safety critical case study

J. Jacobs and A. C. Simpson

In Proceedings of the 8th Brazilian Symposium on Software Components‚ Architectures and Reuse (SBCARS 2014). Pages ??−??. IEEE. 2014.

[2]

On a process algebraic representation of sequence diagrams

J. Jacobs and A. C. Simpson

In Proceedings of the 1st International Workshop on Safety and Formal Methods (SaFoMe 2014). Vol. ?? of Lecture Notes in Computer Science. Pages ??−??. Springer. 2014.

[3]

Formal relational database design: An exercise in extending the formal template language

Nicolas Wu and Andrew Simpson

Accepted for publication in Formal Aspects of Computing. 2014.

[4]

A process algebraic approach to decomposition of communicating SysML blocks

J. Jacobs and A. C. Simpson

In International Journal of Modeling and Optimization. Vol. 3. No. 2. Pages 153−157. 2013.

[5]

On the cloud−enabled refinement checking of railway signalling interlockings

A. C. Simpson and J. Jacobs

In Proceedings of the 2nd International Workshop on Formal Techniques for Safety−Critical Systems (FTSCS 2013). Vol. 419 of Communications in Computer and Information Science. Pages 195−211. Springer. 2013.

[6]

Towards a process algebra framework for supporting behavioural consistency and requirements traceability in SysML

J. Jacobs and A. C. Simpson

In Proceedings of the 15th International Conference on Formal Engineering Methods (ICFEM 2013). Vol. 8144 of Lecture Notes in Computer Science. Pages 266−281. Springer. 2013.

[7]

On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data

Mark Slaymaker‚ James Osborne‚ Andrew Simpson and David Gavaghan

In Systems and Synthetic Biology. 2012.

[8]

Virtual experiments for reusable models

Jonathan Cooper‚ Gary Mirams‚ Mark Slaymaker‚ Andrew Simpson‚ Jon Olav Vik and Dagmar Waltemath

In Proceedings of VPH 2012. 2012.

[9]

On privacy and public data: a study of data.gov.uk

Andrew Simpson

In Journal of Privacy and Confidentiality. Vol. 3. No. 1. Pages article number 4. 2011.

[10]

Conformance checking of dynamic access control policies

D.J. Power‚ M.A. Slaymaker and A.C. Simpson

In Proceedings of the 13th international conference on Formal methods and software engineering (ICFEM 2011). Vol. 6255 of Springer−Verlag Lecture Notes in Computer Science. Pages 227–242. 2011.

[11]

Automatic conformance checking of role−based access control policies in Alloy

David Power‚ Mark Slaymaker and Andrew Simpson

In Proceedings of Engineering Secure Software and Systems (ESSoS 2011). Pages 15–28. Springer−Verlag Lecture Notes in Computer Science‚ volume 6542. 2011.

[12]

GIMI: the past‚ the present‚ and the future

A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ V. Bailey‚ C. E. Tromans‚ J. M. Brady and L. Tarassenko

In Philosophical Transactions of the Royal Society A: Mathematical‚ Physical and Engineering Sciences. Vol. 368. Pages 3891–3905. 2010.

[13]

On the secure sharing and aggregation of data to support Systems Biology research

Andrew Simpson‚ Mark Slaymaker and David Gavaghan

In Proceedings of the 7th International Conference on Data Integration in the Life Sciences (DILS 2010). Pages 58–73. Springer−Verlag Lecture Notes in Computer Science‚ volume 6254. 2010.

[14]

On the modelling and analysis of Amazon Web Services access policies

David Power‚ Mark Slaymaker and Andrew Simpson

In Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Pages 394. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977. 2010.

[15]

Formalising and validating RBAC−to−XACML translation using lightweight formal methods

Mark Slaymaker‚ David Power and Andrew Simpson

In Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Pages 349–362. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977. 2010.

[16]

Towards Formally Templated Relational Database Representations in Z

Nicolas Wu and Andrew Simpson

In Proceedings of the Second International Conference on Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Vol. 5977 of Lecture Notes in Computer Science. Pages 363−376. Springer−Verlag. 2010.

[17]

On the modelling and analysis of Amazon Web Services access policies

David Power‚ Mark Slaymaker and Andrew Simpson

No. RR−09−15. Oxford University Computing Laboratory. November, 2009.

[18]

On formalising and normalising role−based access control systems

D. J. Power M. A. Slaymaker and A. C. Simpson

In The Computer Journal. Vol. 52. No. 3. Pages 305−325. 2009.

[19]

GIMI: the past‚ the present‚ and the future

A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ V. Bailey‚ C. Tromans‚ J. M. Brady and L. Tarassenko

In Proceedings of the 2009 UK e−Science All Hands Meeting. 2009.

[20]

On the construction and verification of self−modifying access control policies

David Power‚ Mark Slaymaker and Andrew Simpson

In Proceedings of Secure Data Management (SDM) 2009. Vol. 5776 of Lecture Notes in Computer Science. Pages 107–121. Spring−Verlag. 2009.

[21]

On the utilisation of a service−oriented infrastructure to support radiologist training

Andrew Simpson‚ Mark Slaymaker‚ Moi Hoon Yap‚ Alastair Gale‚ David Power and Douglas Russell

In Proceedings of the 22nd IEEE Symposium on Computer−Based Medical Systems (CBMS 2009). Pages 1–4. IEEE Computer Society Press. 2009.

[22]

On the secure sharing of legacy data

X. Ma D. Russell D. J. Power M. A. Slaymaker G. Kouadri Mostefaoui and A. C. Simpson

In Proceedings of the 2009 IEEE Conference on IT: Next Generation (ITNG 2009). Pages 1676–1679. 2009.

[23]

Empirical analysis and optimization of an NP−hard algorithm using CSP and FDR

D. Creager and A. C. Simpson

To appear. 2009.

[24]

A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries

X. Ma A. C. Simpson D. J. Power D. Russell M. A. Slaymaker G. Kouadri−Mostefaoui and G. Wilson

In Studies in Health Technology and Informatics. Vol. 138. Pages 3–12. 2008.

[25]

The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography

Chris Tromans‚ Sir Mike Brady‚ David Power‚ Mark Slaymaker‚ Douglas Russell and Andrew Simpson

In Proceedings of MICCAI−Grid 2008. 2008.

[26]

On Quality Assurance of Web Services in Agile Projects—An Experience Report

G. Kouadri Mostefaoui and A. C. Simpson

In Proceedings of the Third ACM Workshop on Software Engineering for Pervasive Services at ICPS 2008‚ July 6–10 2008‚ Sorrento‚ Italy. Pages 21–26. 2008.

[27]

Towards a formal framework for workflow interoperability

Sarah Induruwa−Fernando and Andrew Simpson

In Proceedings of WS−FM (Web Services and Formal Methods) 2008. Vol. 5387 of Lecture Notes in Computer Science. Pages 158–174. Springer−Verlag. 2008.

[28]

On the facilitation of fine−grained access to distributed healthcare data

D. Russell M. A. Slaymaker D. J. Power and A. C. Simpson

In Proceedings of Secure Data Management 2008. 2008.

[29]

On the need for user−defined fine−grained access control policies for social networking applications

A. C. Simpson

In Proceedings of the 2008 workshop on Security in Opportunistic and SOCial networks (SOSOC 2008). 2008.

[30]

A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries

X. Ma A. C. Simpson D. J. Power D. Russell M. A. Slaymaker G. Kouadri−Mostefaoui and G. Wilson

In Proceedings of HealthGrid 2008. 2008.

[31]

On formal descriptions of synchronization requirements in multimedia systems

A. C. M. Fong and A. C. Simpson

In Proceedings of the IEEE Conference on IT: Next Generation. Pages 1255–1256. 2008.

[32]

Accessing and aggregating legacy data sources for healthcare research‚ delivery and training

M. A. Slaymaker‚ D. J. Power‚ D. Russell‚ G. Wilson and A. C. Simpson

In Proceedings of SAC 2008. 2008.

[33]

The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training

A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri Mostefaoui‚ G. Wilson and X. Ma

In K. Khan, editor, Managing Web Services Quality: Measuring Outcomes and Effectiveness. Pages 1–22. 2008.

[34]

Integrative Biology: the challenges of developing a collaborative research environment for heart and cancer modelling

S. Lloyd‚ D. J. Gavaghan‚ A. C. Simpson‚ M. Sieunarine C. Mascord‚ G. Williams‚ J. Pitt−Francis‚ D. R. S. Boyd‚ D. Mac Randal‚ L. Sastry‚ S. Weeks K. Nagella‚ R. Fowler‚ D. Hanlon‚ J. Handley and G. de Fabritis

In Future Generation Computer Systems. Vol. 23. No. 3. Pages 457–465. March, 2007.

[35]

On the development of secure service−oriented architectures to support medical research

A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker‚ D. Russell and M. Katzarova

In International Journal of Healthcare Information Systems and Informatics. Vol. 2. No. 2. Pages 75–89. 2007.

[36]

Exploitation of switched lightpaths for e−health: constraints and challenges

L. Momtahan and A. C. Simpson

In Lighting the blue touchpaper for UK e−Science: closing conference of ESLEA project. Proceedings of Science. 2007.

[37]

Switched lightpaths for e−health applications: issues and challenges

L. Momtahan‚ S. Lloyd and A. C. Simpson

In Proceedings of CBMS 2007. IEEE CS press. 2007.

[38]

Developing collaborative technology for neuro−science

S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ J. Geddes‚ A. Khanban and J. Palmer

In Proceedings of CollaborateCom 2007. 2007.

[39]

Practical Experiences of Testing Web Services

G. Kouadri Mostefaoui and A. C. Simpson

In Proceedings of the Fifth International Workshop on SOA and Web Services Best Practices. 2007.

[40]

Towards build−time interoperability of workflow definition languages

Sarah Induruwa−Fernando‚ Doug Creager and Andrew Simpson

In Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNSAC 2007). Pages 525–532. 2007.

[41]

Empirical analysis and optimization of an NP−hard problem using CSP and FDR

D. Creager and A. C. Simpson

In Proceedings of SBMF 2007. 2007.

[42]

Using CSP to model the synchronization process of variable length codes

A. C. M. Fong and A. C. Simpson

In IEEE Proc. Communications. Vol. 153. No. 2. Pages 195–200. April, 2006.

[43]

Designing for e−health: recurring scenarios in developing grid−based medical imaging systems

J. Ure‚ J. Geddes‚ C. Mackay‚ S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. Jirotka‚ M. Katzarova‚ M. Rossor‚ N. Fox‚ J. Fletcher‚ D. Hill‚ K. McLeish‚ Y. Chen‚ J. V. Hajnal‚ S. Lawrie‚ D. Job‚ A. McIntosh‚ J. Wardlaw‚ P. Sandercock‚ J. Palmer‚ D. Perry‚ R. Procter‚ M. Hartswood‚ R. Slack‚ A. Voss‚ K. Ho‚ P. Bath‚ W. Clarke and G. Watson

In Studies in Health Technology and Informatics. Vol. 120. Pages 336–347. 2006.

[44]

Securing web services for deployment in health grids

D. J. Power‚ E. A. Politou‚ M. A. Slaymaker and A. C. Simpson

In Future Generation Computer Systems. Vol. 22. No. 5. Pages 547–570. 2006.

[45]

Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi−scale models of colorectal cancer and treatment of individual patients

J. Pitt−Francis‚ D. Chen‚ M. A. Slaymaker‚ A. C. Simpson‚ J. M. Brady‚ I. van Leeuwen‚ R. Reddington‚ P. Quirke and D. J. Gavaghan

In Computational & Mathematical Methods in Medicine. Vol. 7. No. 2&3. Pages 177–188. 2006.

[46]

Collaboration and trust in healthcare innovation: the eDiaMoND case study

M. Jirotka‚ M. Procter‚ R. Hartswood‚ C. Slack‚ A. C. Simpson‚ C. Coopmans‚ C. Hinds and A. Voss

In Computer Supported Cooperative Work. Vol. 14. Pages 369–398. 2006.

[47]

A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care

M. A. Slaymaker‚ A. C. Simpson‚ J. M. Brady‚ D. J. Gavaghan‚ F. Reddington and P. Quirke

In Proceedings of the IEEE Symposium on Computer Based Medical Systems. IEEE Computer Society Press. 2006.

[48]

On tracker attacks in health grids

A. C. Simpson‚ D. J. Power and M. A. Slaymaker

In Proceedings of the Annual ACM Symposium on Applied Computing (SAC '06). ACM Press. 2006.

[49]

Logic‚ damned logic‚ and statistics

A. C. Simpson

In Proceedings of Teaching Formal Methods 2006. 2006.

[50]

Switched lightpaths for e−health applications: a feasibility study

L. Momtahan and A. C. Simpson

In Proceedings of the IEEE Symposium on Computer Based Medical Systems. IEEE Computer Society Press. 2006.

[51]

The utilisation of clinical data in research health grids: eDiaMoND as a case study

S. Lloyd and A. C. Simpson

In Proceedings of HealthCare 2006. 2006.

[52]

Delegation in a distributed healthcare context: a survey of current approaches

M. Katzarova and A. C. Simpson

In Proceedings of the 9th Information Security Conference 2006. Springer−Verlag Lecture Notes in Computer Science. 2006.

[53]

The challenges of developing a collaborative data and compute grid for Neurosciences

J. Geddes‚ C. Mackay‚ S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. Katzarova‚ M. Rossor‚ N. Fox‚ J. Fletcher‚ D. Hill‚ K. McLeish‚ J. V. Hajnal‚ S. Lawrie‚ D. Job‚ A. McIntosh‚ J. Wardlaw‚ P. Sandercocka‚ J. Palmer‚ D. Perry‚ R. Procter‚ J. Ure‚ P. Bath and G. Watson

In Proceedings of the IEEE Symposium on Computer Based Medical Systems. IEEE Computer Society Press. 2006.

[54]

A fully generic‚ graph−based approach to data transformation discovery

D. Creager and A. C. Simpson

In Proceedings of GMC (Graph Computation Models) 2006. 2006.

[55]

Towards a fully generic theory of data

D. Creager and A. C. Simpson

In Proceedings of ICFEM 2006. Pages 304–323. Springer−Verlag Lecture Notes in Computer Science‚ volume 4260. 2006.

[56]

Towards a Grid Infrastructure to support integrative approaches to biological research

D. J. Gavaghan‚ A. C. Simpson‚ S. Lloyd‚ D. F. Mac Randal and D. R. S. Boyd

In Philosophical Transactions of the Royal Society: Mathematical‚ Physical and Engineering Science. Vol. 363. No. 1883. Pages 1829–1841. August, 2005.

[57]

Towards fine−grained access control in health grids

A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker and E. A. Politou

In Proceedings of the Ottawa Workshop on New Challenges in Access Control. April, 2005.

[58]

Protecting Sensitive Patient Data via Query Modification

D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson

In Proceedings of the 20th ACM Symposium on Applied Computing. Pages 224−230. March, 2005.

[59]

Integrative Biology: exploiting e−Science to combat fatal diseases

S. Lloyd‚ A. C. Simpson‚ L. Sastry‚ D. J. Gavaghan and D. R.S. Boyd

In ERCIM News. Vol. 60. January, 2005.

[60]

Security Aspects of Grid−enabled Digital Mammography

M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson

In Methods of Information in Medicine. Vol. 44. No. 2. Pages 207–210. 2005.

[61]

Towards secure Grid−enabled healthcare

D. J. Power‚ E. A. Politou‚ M. A. Slaymaker and A. C. Simpson

In Software: Practice and Experience. Vol. 35. No. 9. Pages 857–871. 2005.

[62]

Digital mammography: a world without film?

S. Lloyd‚ M. Jirotka‚ A. C. Simpson‚ R. P. Highnam‚ D. J. Gavaghan‚ D. Watson and J. M. Brady

In Methods of Information in Medicine. Vol. 44. No. 2. Pages 168–169. 2005.

[63]

GIMI: Generic Infrastructure for Medical Informatics

A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker and E. A. Politou

In Proceedings of the 18th IEEE Symposium on Computer−Based Medical Systems. Pages 564–566. 2005.

[64]

On deducibility and anonymisation in medical databases

D. J. Power‚ M. A. Slaymaker and A. C. Simpson

In W. Jonker and M. Petkovic, editors, Proceedings of Secure Data Management 2005. Vol. 3674 of Lecture Notes in Computer Science. Pages 170–184. Springer−Verlag. 2005.

[65]

A secure wrapper for OGSA−DAI

D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson

In Proceedings of the European Grid Conference‚ 2005. Vol. 3470 of Lecture Notes in Computer Science. Pages 485–494. Springer−Verlag. 2005.

[66]

On XACML‚ role−based access control‚ and health grids

D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson

In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.

[67]

Exploitation of switched lightpaths for e−health

L. Momtahan and A. C. Simpson

In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.

[68]

The Integrative Biology Infrastructure

D. Mac Randal‚ L. Sastry‚ D. Hanlon‚ D. J. Gavaghan‚ S. Lloyd and A. C. Simpson

In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.

[69]

Project management in multi−disciplinary collaborative research

S. Lloyd and A. C. Simpson

In Proceedings of IPCC 2005‚ Limerick. 2005.

[70]

Managing collaborative expertise: issues and challenges

I. Kinti‚ S. Lloyd‚ A. C. Simpson and G. Hayward

In Proceedings of OKLC 2005‚ Boston‚ MA. 2005.

[71]

NeuroGrid: collaborative neuroscience via grid computing

J. Geddes‚ S. Lloyd‚ A. C. Simpson‚ M. Rossor‚ N. Fox‚ D. Hill‚ J. Hajnal‚ S. Lawrie‚ A. McIntosh‚ E. Johnstone‚ J. Wardlaw‚ D. Perry‚ R. Procter‚ P. Bath and E. Bullimore

In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.

[72]

NeuroGrid: using grid technology to advance neuroscience

J. Geddes‚ S. Lloyd‚ A. C. Simpson‚ M. Rossor‚ N. Fox‚ D. Hill‚ J. Hajnal‚ S. Lawrie‚ A. McIntosh‚ E. Johnstone‚ J. Wardlaw‚ D. Perry‚ R. Procter‚ P. Bath and E. Bullimore

In Proceedings of the 18th IEEE Symposium on Computer−Based Medical Systems. Pages 570–573. 2005.

[73]

VRE for the Integrative Biology research consortium

M. J. Dovey‚ M. Mascord‚ D. J. Gavaghan‚ S. Lloyd‚ A. C. Simpson‚ G. Williams and D. Mac Randal

In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.

[74]

A vision for secure grid−enabled healthcare

M. A. Slaymaker‚ D. J Power‚ E. A. Politou and A. C. Simpson

In Workshop on Grid Security Practice and Experience. Technical Report YCS−2004−380‚ University of York. June, 2004.

[75]

Security principles for public−resource modeling research

D .A. Stainforth‚ A. P. Martin‚ A. C. Simpson‚ C. A. Christensen‚ J. Kettleborough‚ T. Aina and M. R. Allen

In Proceedings of the IEEE International Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE−2004). Pages 319–324. 2004.

[76]

eDiaMoND: risk analysis

M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson

In Proceedings of HealthGrid 2004‚ Claremont‚ France. 2004.

[77]

Security aspects of grid−based digital mammography

M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson

In Proceedings of HealthGrid 2004‚ Claremont‚ France. 2004.

[78]

e−health security issues: the eDiaMoND perspective

M. A. Slaymaker‚ E. A. Politou‚ D. J. Power and S. Lloyd

In Proceedings of the 2004 UK e−Science All Hands Meeting. 2004.

[79]

An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases

D. J. Power‚ E. A. Politou‚ M. A. Slaymaker‚ S. Harris and A. C. Simpson

In Proceedings of the 19th ACM Symposium on Applied Computing. Pages 272–279. 2004.

[80]

eDiaMoND: challenges for the e−scientist in the e−health domain

S. Lloyd‚ A. C. Simpson‚ D. J. Gavaghan and J. M. Brady

In Proceedings of the 2004 UK e−Science All Hands Meeting. 2004.

[81]

Digital mammography: a world without film?

S. Lloyd‚ M. Jirotka‚ A. C. Simpson‚ R. P. Highnam‚ D. J. Gavaghan‚ D. Watson and J. M. Brady

In Proceedings of HealthGrid 2004‚ Claremont‚ France. 2004.

[82]

Integrative Biology: exploiting e−Science to combat fatal diseases

D.J. Gavaghan‚ S. Lloyd‚ D. R. S. Boyd‚ P. W. Jeffreys‚ A. C. Simpson‚ D. F. Mac Randal‚ L. Sastry and K. Kleese van Dam

In Proceedings of the 2004 UK e−Science All Hands Meeting. 2004.

[83]

Teaching Formal Methods in Context

J. W. Davies‚ A. C. Simpson and A. P. Martin

In C. N. Dean and R. F. Boute, editors, Proceedings of CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004. Pages 186–202. Springer−Verlag Lecture Notes in Computer Science‚ volume 3294. 2004.

[84]

eDiaMoND: the UK's national digital mammography database

J. M. Brady‚ F. Gilbert‚ S. Lloyd‚ M. Jirotka‚ D. J. Gavaghan‚ A. C. Simpson‚ R. P. Highnam‚ T. Bowles‚ D. Schottlander‚ D. McCabe‚ D. Watson‚ B. Collins‚ J. Williams‚ A. Knox‚ M. Oevers and P. Taylor

In Proceedings of IWDM 2004. 2004.

[85]

eDiaMoND: A Grid−enabled federated database of annotated mammograms

J. M. Brady‚ D. J. Gavaghan‚ A. C. Simpson‚ M. Mulet−Parada and R. P. Highnam

In F. Berman‚ G. C. and Fox and A. J. G. Hey, editors, Grid Computing: Making the Global Infrastructure a Reality. Pages 923–943. Wiley Series. 2003.

[86]

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. M. 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.

[87]

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.

[88]

An approach to the storage of DICOM files for grid−enabled medical imaging databases

D. .J. Power‚ E. A. Politou‚ M. A. Slaymaker‚ S. Harris and A. C. Simpson

In Proceedings of the 2003 UK e−Science All Hands Meeting. 2003.

[89]

Generalizing the Z Schema Calculus: Database Schemas and Beyond

A. P. Martin and A. C. Simpson

In Proceedings of APSEC‚ 2003. 2003.

[90]

Grid computing for digital mammography

J. M. Brady‚ D. J. Gavaghan‚ R. P. Highnam‚ A. Knox‚ S. Lloyd‚ A. C. Simpson and D. Watson

In Proceedings of the 2003 UK e−Science All Hands Meeting. 2003.

[91]

Discrete Mathematics by Example

A. C. Simpson

McGraw−Hill. 2002.

[92]

Climateprediction.net: design principles for public resource modelling research

D. Stainforth‚ J. Kettleborough‚ A. P. Martin‚ A. C. Simpson‚ R. Gillis‚ A. Akkas‚ R. Gault‚ M. Collins‚ D. J. Gavaghan and M. R. Allen

In Proc. 14th IASTED conference on parallel and distributed computing systems.. 2002.

[93]

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.

[94]

eDiamond: Digital Mammography

J. M. Brady‚ D. J. Gavaghan‚ R. P. Highnam‚ M. Mulet−Parada and A. C. Simpson

In Proceedings of the 2002 UK e−Science All Hands Conference. 2002.

[95]

BSP in CSP: Easy as ABC

A. C. Simpson‚ J. M. D. Hill Hill and S. R. Donaldson

In Proceedings of Fourth International Workshop on Formal Methods for Parallel Programming: Theory and Applications‚ San Juan‚ Puerto Rico‚ April 1999. Pages 1299–1313. Springer−Verlag Lecture Notes in Computer Science. 1999.

[96]

Towards the mechanical verification of moving block signalling systems

A. C. Simpson

No. CMS−TR−99−06. School of Computing and Mathematical Sciences‚ Oxford Brookes University. 1999.

[97]

Safety through Security

A. C. Simpson‚ J. C. P. Woodcock and J. W. Davies

In Proceedings of the Ninth International Workshop on Software Specification and Design. Pages 18–24. IEEE Computer Society Press. 1998.

[98]

Security management via Z and CSP

A. C. Simpson‚ J. W. Davies and J. C. P. Woodcock

In Proceedings of Formal Methods Pacific '98‚ Canberra‚ Australia‚ 29 September – 2 October‚ 1998. Pages 334–351. Springer Series in Discrete Mathematics and Theoretical Computer Science. 1998.

[99]

Model Checking for Interlocking Safety

A. C. Simpson

In Proceedings of the Second FMERail Seminar‚ 15–16 October 1998‚ London‚ United Kingdom. 1998.

[100]

The Mechanical Verification of Solid State Interlocking Geographic Data

A. C. Simpson‚ J. C. P. Woodcock and J. W. Davies

In L. Groves and S. Reeves, editors, Proceedings of Formal Methods Pacific‚ Wellington‚ New Zealand‚ 9–11 July. Pages 223–242. Springer−Verlag. 1997.

[101]

A Novel Data Mining Tool for ATM Networks

K. E. Burn−Thornton‚ D. M. Cattrall and A. C. Simpson

In Proceedings of IEE conference on Data Mining. 1996.

[102]

Polymorphic Functions for Data Mining in an ATM Network

K. E. Burn−Thornton‚ D. M. Cattrall and A. C. Simpson

In Proceedings of the 4th IFIP conference on ATM. 1996.

[103]

Safety through Security

Andrew Simpson

PhD Thesis , type= DPhil thesis. Oxford University Computing Laboratory. 1996.

[104]

The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System

A. C. Simpson

In Colloquium on Communication Networks in Transportation. IEE. 1995.

[105]

Railway Signalling as a case study in Safety through Determinism

A. C. Simpson

In Proceedings of Aspect '95. IRSE. 1995.

[106]

A Formal Specification of an Automatic Train Protection System

Andrew Simpson

In M. Naftalin‚ T. Denvir and M. Bertran, editors, FME '94: Industrial Benefits of Formal Methods. Proceedings of Second International Symposium of Formal Methods Europe‚ Barcelona‚ Spain‚ October 1994. Vol. 873 of Lecture Notes in Computer Science. Pages 602–617. Springer−Verlag. 1994.