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 and Behavioural Consistency Checking of SysML Blocks

J. Jacobs and A. C. Simpson

In International Journal on Software and Systems Modeling. 2015.

(Pending revisions)

[2]

Small−Scale Cyber Security

Emma Osborn and Andrew Simpson

In Proceedings of IEEE CSCloud 2015. 2015.

[3]

When the Winning Move is Not to Play: Games of Deterrence in Cyber Security

C. Heitzenrater and A. C. Simpson

In Proceedings of the 6th Conference on Decision and Game Theory for Security (GameSec 2015). 2015.

[4]

Policy‚ Statistics‚ and Questions: Reflections on UK Cyber Security Disclosures

Chad Heitzenrater and Andrew Simpson

In Proceedings of WEIS 2015. 2015.

[5]

Experiences in Developing and Delivering a Programme of Part−Time Education in Software and Systems Security

A. C. Simpson‚ A. P. Martin‚ C. Cremers‚ I. Flechais‚ I. Martinovic and K. B. Rasmussen

In Proceedings of ICSE 2015. 2015.

[6]

Usability and Security by Design: A Case Study in Research and Development

S. Faily‚ J. Lyle‚ I. Flechais and A. C. Simpson

In Proceedings of the 2015 NDSS Workshop on Usable Security (USEC 2015). Internet Society. 2015.

[7]

A Formal Model of SysML Blocks using CSP for Assured Systems Engineering

J. Jacobs and A. C. Simpson

In Proceedings of the 3rd International Workshop on Formal Techniques for Safety−Critical Systems (FTSCS 2014). Vol. ?? of Communications in Computer and Information Science. Pages ??−??. 2015.

[8]

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 95−104. IEEE. 2015.

[9]

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. 8938 of Lecture Notes in Computer Science. Pages 71–85. Springer. 2015.

[10]

Formal Relational Database Design: An Exercise in Extending the Formal Template Language

N. Wu and A. C. Simpson

In Formal Aspects of Computing. Vol. 26. No. 6. Pages 1231–1269. 2014.

[11]

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

[12]

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.

[13]

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 265–280. Springer. 2013.

[14]

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. Vol. 6. No. 1–2. Pages 35–49. 2012.

[15]

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.

[16]

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

A. C. Simpson

In Journal of Privacy & Confidentiality. Vol. 3. No. 1. Pages 51–65. 2011.

[17]

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 Lecture Notes in Computer Science. Pages 227–242. Springer. 2011.

[18]

Automatic conformance checking of role−based access control policies via 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.

[19]

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.

[20]

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.

[21]

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.

[22]

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.

[23]

Towards Formally Templated Relational Database Representations in Z

N. Wu and A. C. Simpson

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

[24]

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.

[25]

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.

[26]

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.

[27]

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

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

In Proceedings of the 6th VLDB Workshop on Secure Data Management (SDM 2009). Vol. 5776 of Lecture Notes in Computer Science. Pages 107–121. Springer. 2009.

[28]

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

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

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

[29]

On the secure sharing of legacy data

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

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

[30]

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

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

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

[31]

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

G. Kouadri Mostefaoui and A. C. Simpson

In Proceedings of the 3rd ACM Workshop on Software Engineering for Pervasive Services (SEPS 2008). Pages 21–26. ACM. 2008.

[32]

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

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

In Proceedings of MICCAI−Grid 2008. Pages 43–52. 2008.

[33]

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.

[34]

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). Pages Article number 1. ACM. 2008.

[35]

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

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

In Proceedings of HealthGrid 2008. 2008.

[36]

On formal descriptions of synchronization requirements in multimedia systems

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

In Proceedings of the 5th International Conference on IT: Next Generation (ITNG 2009). Pages 1255−1256. IEEE. 2008.

[37]

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.

[38]

Towards a formal framework for workflow interoperability

S. D. Induruwa Fernando and A. C. Simpson

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

[39]

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. Idea Group. 2008.

[40]

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

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

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

[41]

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.

[42]

Practical Experiences of Testing Web Services

G. Kouadri Mostefaoui and A. C. Simpson

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

[43]

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

D. A. Creager and A. C. Simpson

In Proceedings of the 2007 Brazilian Symposium on Formal Methods (SBMF 2007). 2007.

[44]

Switched lightpaths for e−health applications: Issues and challenges

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

In Proceedings of the 20th IEEE Symposium on Computer−Based Medical Systems (CBMS 2007). Pages 459–464. IEEE Computer Society Press. 2007.

[45]

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.

[46]

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.

[47]

Towards build−time interoperability of workflow definition languages

S. D. Induruwa−Fernando‚ D. A. Creager and A. C. Simpson

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

[48]

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.

[49]

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.

[50]

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.

[51]

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‚ F. Reddington‚ P. Quirke and D. J. Gavaghan

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

[52]

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.

[53]

Switched lightpaths for e−health applications: a feasibility study

L. Momtahan and A. C. Simpson

In Proceedings of the 19th IEEE Symposium on Computer Based Medical Systems (CBMS 2006). Pages 469–472. IEEE Computer Society Press. 2006.

[54]

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.

[55]

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). Pages 209–216. ACM Press. 2006.

[56]

Logic‚ damned logic‚ and statistics

A. C. Simpson

In Proceedings of Teaching Formal Methods 2006. 2006.

[57]

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.

[58]

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. Vol. 4176 of Lecture Notes in Computer Science. Pages 517–529. Springer. 2006.

[59]

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 19th IEEE Symposium on Computer Based Medical Systems (CBMS 2006). Pages 81–86. IEEE Computer Society Press. 2006.

[60]

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

D. A. Creager and A. C. Simpson

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

[61]

Towards a fully generic theory of data

D. A. Creager and A. C. Simpson

In Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM 2006). Vol. 4260 of Lecture Notes in Computer Science. Pages 304–323. Springer. 2006.

[62]

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 A: Mathematical‚ Physical and Engineering Sciences. Vol. 363. No. 1883. Pages 1829–1841. August, 2005.

[63]

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.

[64]

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.

[65]

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.

[66]

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.

[67]

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.

[68]

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.

[69]

Project management in multi−disciplinary collaborative research

S. Lloyd and A. C. Simpson

In Proceedings of IPCC (International Professional Communication Conference) 2005‚ Limerick. Pages 602–611. 2005.

[70]

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 (CBMS 2005). Pages 564–566. IEEE Computer Society Press. 2005.

[71]

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

[72]

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

[73]

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.

[74]

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.

[75]

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.

[76]

Managing collaborative expertise: issues and challenges

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

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

[77]

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.

[78]

NeuroGrid: using grid technology to advance neuroscience

J. Geddes‚ S. Lloyd‚ A. C. Simpson‚ M. Rossor‚ N. Fox‚ D. Hill‚ J. V. 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. IEEE Computer Society Press. 2005.

[79]

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.

[80]

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.

[81]

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.

[82]

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.

[83]

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.

[84]

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.

[85]

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.

[86]

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.

[87]

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.

[88]

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.

[89]

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. Vol. 3294 of Lecture Notes in Computer Science. Pages 186–202. Springer. 2004.

[90]

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.

[91]

Generalizing the Z Schema Calculus: Database Schemas and Beyond

A. P. Martin and A. C. Simpson

In Proceedings of the 10th Asia−Pacific Software Engineering Conference (APSEC 2003). Pages 28–37. IEEE. 2003.

[92]

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.

[93]

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.

[94]

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.

[95]

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.

[96]

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. Fox and A. J. G. Hey, editors, Grid Computing: Making the Global Infrastructure a Reality. Pages 923–943. Wiley Series. 2003.

[97]

Discrete Mathematics by Example

A. C. Simpson

McGraw−Hill. 2002.

[98]

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

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

[99]

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.

[100]

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.

[101]

BSP in CSP: Easy as ABC

A. C. Simpson‚ J. M. D. 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. 1999.

[102]

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.

[103]

Model Checking for Interlocking Safety

A. C. Simpson

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

[104]

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.

[105]

Safety through Security

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

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

[106]

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

[107]

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.

[108]

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 Networks. 1996.

[109]

Safety through Security

A. C. Simpson

DPhil thesis‚ Oxford University Computing Laboratory. 1996.

[110]

Railway Signalling as a case study in Safety through Determinism

A. C. Simpson

In Proceedings of Aspect 1995. Institution of Railway Signal Engineers. 1995.

[111]

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

A. C. Simpson

In Proceedings of the 1995 IEE Colloquium on Communication Networks in Transportation. IEE. 1995.

[112]

A Formal Specification of an Automatic Train Protection System

A. C. Simpson

In M. Naftalin‚ T. Denvir and M. Bertran, editors, Proceedings of the 2nd International Symposium of Formal Methods Europe (FME 1994). Vol. 873 of Lecture Notes in Computer Science. Pages 602–617. Springer. 1994.