Andrew Simpson : Publications
Click here to download all publications in a single bibtex file
@article{Simpson_2011,
title = "On privacy and public data: a study of data.gov.uk",
author = "Andrew Simpson",
year = "2011",
journal = "Journal of Privacy and Confidentiality",
number = "1",
pages = "article number 4",
volume = "3",
}
@inproceedings{Power_et_al_2011,
title = "Conformance checking of dynamic access control policies",
author = "Power, D.J. and Slaymaker, M.A. and Simpson, A.C.",
year = "2011",
booktitle = "Proceedings of the 13th international conference on Formal methods and software engineering (ICFEM 2011)",
pages = "227--242",
series = "Springer-Verlag Lecture Notes in Computer Science",
volume = "6255",
}
@inproceedings{ESSOS11,
title = "Automatic conformance checking of role-based access control policies in Alloy",
author = "David Power and Mark Slaymaker and Andrew Simpson",
year = "2011",
booktitle = "Proceedings of Engineering Secure Software and Systems (ESSoS 2011)",
pages = "15--28",
publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 6542",
}
@article{Simpson_et_al_2010b,
title = "GIMI: the past, the present, and the future",
author = "Simpson, A.~C. and Power, D.~J. and Russell, D. and Slaymaker, M.~A. and Bailey, V. and Tromans, C.~E. and Brady, J.~M. and Tarassenko, L.",
year = "2010",
journal = "Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences",
pages = "3891--3905",
volume = "368",
}
@inproceedings{Simpson_et_al_2010b,
title = "On the secure sharing and aggregation of data to support Systems Biology research",
author = "Andrew Simpson and Mark Slaymaker and David Gavaghan",
year = "2010",
booktitle = "Proceedings of the 7th International Conference on Data Integration in the Life Sciences (DILS 2010)",
pages = "58--73",
publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 6254",
}
@inproceedings{Power-2010,
title = "On the modelling and analysis of Amazon Web Services access policies",
author = "David Power and Mark Slaymaker and Andrew Simpson",
year = "2010",
booktitle = "Proceedings of Abstract State Machines, Alloy, B and Z (ABZ 2010)",
pages = "394",
publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 5977",
}
@inproceedings{Slaymaker-2010,
title = "Formalising and validating RBAC-to-XACML translation using lightweight formal methods",
author = "Mark Slaymaker and David Power and Andrew Simpson",
year = "2010",
booktitle = "Proceedings of Abstract State Machines, Alloy, B and Z (ABZ 2010)",
pages = "349--362",
publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 5977",
}
@inproceedings{3576,
title = "Towards Formally Templated Relational Database Representations in Z",
author = "Nicolas Wu and Andrew Simpson",
year = "2010",
booktitle = "Proceedings of the Second International Conference on Abstract State Machines, Alloy, B and Z ({ABZ} 2010)",
pages = "363-376",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "5977",
}
@techreport{RR-09-15,
title = "On the modelling and analysis of Amazon Web Services access policies",
author = "David Power and Mark Slaymaker and Andrew Simpson",
year = "2009",
institution = "Oxford University Computing Laboratory",
month = "November",
number = "RR-09-15",
pages = "21",
}
@article{Power_et_al_2008,
title = "On formalising and normalising role-based access control systems",
author = "D. J. Power, M. A. Slaymaker, and A. C. Simpson",
year = "2009",
journal = "The Computer Journal",
number = "3",
pages = "305-325",
volume = "52",
doi = "doi:10.1093/comjnl/bxn016",
}
@inproceedings{Simpson_et_al_2009b,
title = "{GIMI}: the past, the present, and the future",
author = "Simpson, A.~C. and Power, D.~J. and Russell, D. and Slaymaker, M.~A. and Bailey, V. and Tromans, C. and Brady, J.~M. and Tarassenko, L.",
year = "2009",
booktitle = "Proceedings of the 2009 UK e-Science All Hands Meeting",
}
@inproceedings{Power_et_al_2009,
title = "On the construction and verification of self-modifying access control policies",
author = "David Power and Mark Slaymaker and Andrew Simpson",
year = "2009",
booktitle = "Proceedings of Secure Data Management (SDM) 2009",
pages = "107--121",
publisher = "Spring-Verlag",
series = "Lecture Notes in Computer Science",
volume = "5776",
}
@inproceedings{Simpson_et_al_2009,
title = "On the utilisation of a service-oriented infrastructure to support radiologist training",
author = "Andrew Simpson and Mark Slaymaker and Moi Hoon Yap and Alastair Gale and David Power and Douglas Russell",
year = "2009",
booktitle = "Proceedings of the 22nd {IEEE} Symposium on Computer-Based Medical Systems (CBMS 2009)",
pages = "1--4",
publisher = "IEEE Computer Society Press",
}
@inproceedings{Russell_et_al_2009,
title = "On the secure sharing of legacy data",
author = "D. Russell, D. J. Power, M. A. Slaymaker, G. Kouadri Mostefaoui, X. Ma and A. C. Simpson",
year = "2009",
booktitle = "Proceedings of the 2009 IEEE Conference on IT: Next Generation (ITNG 2009)",
pages = "1676--1679",
}
@misc{Creager_and_Simpson_2009,
title = "Empirical analysis and optimization of an {NP}-hard algorithm using {CSP} and {FDR}",
author = "Creager, D. and Simpson, A.~C.",
year = "2009",
howpublished = "To appear",
}
@article{Simpson_et_al_2008c,
title = "A healthcare-driven framework for facilitating the secure sharing of data across organisational boundaries",
author = "A. C. Simpson, D. J. Power, D. Russell, M. A. Slaymaker, G. Kouadri-Mostefaoui, X. Ma and G. Wilson",
year = "2008",
journal = "Studies in Health Technology and Informatics",
pages = "3--12",
volume = "138",
}
@inproceedings{Tromans et al, 2008,
title = "The Application of a Service-Oriented Infrastructure to Support Medical Research in Mammography",
author = "Chris Tromans and Sir Mike Brady and David Power and Mark Slaymaker and Douglas Russell and Andrew Simpson",
year = "2008",
booktitle = "Proceedings of MICCAI-Grid 2008",
}
@inproceedings{Kouadri_Mostefaoui_and_Simpson_2008,
title = "On Quality Assurance of Web Services in Agile Projects---An Experience Report",
author = "G. Kouadri Mostefaoui and A. C. Simpson",
year = "2008",
booktitle = "Proceedings of the Third ACM Workshop on Software Engineering for Pervasive Services at ICPS 2008, July 6--10 2008, Sorrento, Italy",
pages = "21--26",
}
@inproceedings{Induruwa-Fernando_and_Simpson_2008,
title = "Towards a formal framework for workflow interoperability",
author = "Sarah Induruwa-Fernando and Andrew Simpson",
year = "2008",
booktitle = "Proceedings of WS-FM (Web Services and Formal Methods) 2008",
pages = "158--174",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "5387",
}
@inproceedings{Slaymaker_et_al_2008,
title = "On the facilitation of fine-grained access to distributed healthcare data",
author = "M. A. Slaymaker, D. J. Power, D. Russell and A. C. Simpson",
year = "2008",
booktitle = "Proceedings of Secure Data Management 2008",
}
@inproceedings{Simpson_2008,
title = "On the need for user-defined fine-grained access control policies for social networking applications",
author = "A. C. Simpson",
year = "2008",
booktitle = "Proceedings of the 2008 workshop on Security in Opportunistic and SOCial networks (SOSOC 2008)",
}
@inproceedings{Simpson_et_al_2008b,
title = "A healthcare-driven framework for facilitating the secure sharing of data across organisational boundaries",
author = "A. C. Simpson, D. J. Power, D. Russell, M. A. Slaymaker, G. Kouadri-Mostefaoui, X. Ma and G. Wilson",
year = "2008",
booktitle = "Proceedings of HealthGrid 2008",
}
@inproceedings{Fong_and_Simpson_2008,
title = "On formal descriptions of synchronization requirements in multimedia systems",
author = "A. C. M. Fong and A. C. Simpson",
year = "2008",
booktitle = "Proceedings of the IEEE Conference on IT: Next Generation",
pages = "1255--1256",
}
@inproceedings{Slaymaker_et_al_2008,
title = "Accessing and aggregating legacy data sources for healthcare research, delivery and training",
author = "M. A. Slaymaker and D. J. Power and D. Russell and G. Wilson and A. C. Simpson",
year = "2008",
booktitle = "Proceedings of SAC 2008",
}
@incollection{Simpson_et_al_2008,
title = "The development, testing, and deployment of a web services infrastructure for distributed healthcare delivery, research, and training",
author = "A. C. Simpson and D. J. Power and D. Russell and M. A. Slaymaker and G. Kouadri Mostefaoui and G. Wilson and X. Ma",
year = "2008",
booktitle = "Managing Web Services Quality: Measuring Outcomes and Effectiveness",
editor = "K. Khan",
pages = "1--22",
}
@article{Lloyd_et_al_2007a,
title = "Integrative Biology: the challenges of developing a collaborative research environment for heart and cancer modelling",
author = "S. Lloyd and D. J. Gavaghan and A. C. Simpson and C. Mascord, M. Sieunarine and G. Williams and J. Pitt-Francis and D. R. S. Boyd and D. Mac Randal and L. Sastry and K. Nagella, S. Weeks and R. Fowler and D. Hanlon and J. Handley and G. de Fabritis",
year = "2007",
journal = "Future Generation Computer Systems",
month = "March",
number = "3",
pages = "457--465",
volume = "23",
}
@article{Simpson_et_al_2007,
title = "On the development of secure service-oriented architectures to support medical research",
author = "A. C. Simpson and D. J. Power and M. A. Slaymaker and D. Russell and M. Katzarova",
year = "2007",
journal = "International Journal of Healthcare Information Systems and Informatics",
number = "2",
pages = "75--89",
volume = "2",
}
@inproceedings{Momtahan_and_Simpson_2007,
title = "Exploitation of switched lightpaths for e-health: constraints and challenges",
author = "L. Momtahan and A. C. Simpson",
year = "2007",
booktitle = "Lighting the blue touchpaper for UK e-Science: closing conference of {ESLEA} project",
publisher = "Proceedings of Science",
}
@inproceedings{Momtahan_et_al_2007,
title = "Switched lightpaths for e-health applications: issues and challenges",
author = "L. Momtahan and S. Lloyd and A. C. Simpson",
year = "2007",
booktitle = "Proceedings of CBMS 2007",
publisher = "{IEEE CS} press",
}
@inproceedings{Lloyd_et_al_2007b,
title = "Developing collaborative technology for neuro-science",
author = "S. Lloyd and A. C. Simpson and D. J. Power and J. Geddes and A. Khanban and J. Palmer",
year = "2007",
booktitle = "Proceedings of CollaborateCom 2007",
}
@inproceedings{Kouadri_Mostefaoui_and_Simpson_2007,
title = "Practical Experiences of Testing Web Services",
author = "G. Kouadri Mostefaoui and A. C. Simpson",
year = "2007",
booktitle = "Proceedings of the Fifth International Workshop on SOA and Web Services Best Practices",
}
@inproceedings{Induruwa_et_al_2007,
title = "Towards build-time interoperability of workflow definition languages",
author = "Sarah Induruwa-Fernando and Doug Creager and Andrew Simpson",
year = "2007",
booktitle = "Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNSAC 2007)",
pages = "525--532",
}
@inproceedings{Creager_and_Simpson_2007,
title = "Empirical analysis and optimization of an {NP}-hard problem using {CSP} and {FDR}",
author = "D. Creager and A. C. Simpson",
year = "2007",
booktitle = "Proceedings of SBMF 2007",
}
@article{Fong_and_Simpson_2006,
title = "Using CSP to model the synchronization process of variable length codes",
author = "A. C. M. Fong and A. C. Simpson",
year = "2006",
journal = "IEEE Proc. Communications",
month = "April",
number = "2",
pages = "195--200",
volume = "153",
}
@article{Ure_et_al_2006,
title = "Designing for e-health: recurring scenarios in developing grid-based medical imaging systems",
author = "J. Ure and J. Geddes and C. Mackay and S. Lloyd and A. C. Simpson and D. J. Power and D. Russell and M. Jirotka and M. Katzarova and M. Rossor and N. Fox and J. Fletcher and D. Hill and K. McLeish and Y. Chen and J. V. Hajnal and S. Lawrie and D. Job and A. McIntosh and J. Wardlaw and P. Sandercock and J. Palmer and D. Perry and R. Procter and M. Hartswood and R. Slack and A. Voss and K. Ho and P. Bath and W. Clarke and G. Watson",
year = "2006",
journal = "Studies in Health Technology and Informatics",
pages = "336--347",
volume = "120",
}
@article{Power_et_al_2006,
title = "Securing web services for deployment in health grids",
author = "D. J. Power and E. A. Politou and M. A. Slaymaker and A. C. Simpson",
year = "2006",
journal = "Future Generation Computer Systems",
number = "5",
pages = "547--570",
volume = "22",
}
@article{Pitt-Francis_et_al_2006,
title = "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",
author = "J. Pitt-Francis and D. Chen and M. A. Slaymaker and A. C. Simpson and J. M. Brady and I. van Leeuwen and R. Reddington and P. Quirke and D. J. Gavaghan",
year = "2006",
journal = "Computational & Mathematical Methods in Medicine",
number = "2&3",
pages = "177--188",
volume = "7",
}
@article{Jirotka_et_al_2006,
title = "Collaboration and trust in healthcare innovation: the eDiaMoND case study",
author = "M. Jirotka and M. Procter and R. Hartswood and C. Slack and A. C. Simpson and C. Coopmans and C. Hinds and A. Voss",
year = "2006",
journal = "Computer Supported Cooperative Work",
pages = "369--398",
volume = "14",
}
@inproceedings{Slaymaker_et_al_2006,
title = "A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care",
author = "M. A. Slaymaker and A. C. Simpson and J. M. Brady and D. J. Gavaghan and F. Reddington and P. Quirke",
year = "2006",
booktitle = "Proceedings of the {IEEE} Symposium on Computer Based Medical Systems",
publisher = "{IEEE} Computer Society Press",
}
@inproceedings{Simpson_et_al_2006,
title = "On tracker attacks in health grids",
author = "A. C. Simpson and D. J. Power and M. A. Slaymaker",
year = "2006",
booktitle = "Proceedings of the Annual ACM Symposium on Applied Computing (SAC '06)",
publisher = "ACM Press",
}
@inproceedings{Simpson_2006,
title = "Logic, damned logic, and statistics",
author = "A. C. Simpson",
year = "2006",
booktitle = "Proceedings of Teaching Formal Methods 2006",
}
@inproceedings{Momtahan_and_Simpson_2006,
title = "Switched lightpaths for e-health applications: a feasibility study",
author = "L. Momtahan and A. C. Simpson",
year = "2006",
booktitle = "Proceedings of the {IEEE} Symposium on Computer Based Medical Systems",
publisher = "{IEEE} Computer Society Press",
}
@inproceedings{Lloyd_and_Simpson_2006,
title = "The utilisation of clinical data in research health grids: {eDiaMoND} as a case study",
author = "S. Lloyd and A. C. Simpson",
year = "2006",
booktitle = "Proceedings of {HealthCare} 2006",
}
@inproceedings{Katzarova_and_Simpson_2006,
title = "Delegation in a distributed healthcare context: a survey of current approaches",
author = "M. Katzarova and A. C. Simpson",
year = "2006",
booktitle = "Proceedings of the 9th Information Security Conference 2006",
publisher = "Springer-Verlag Lecture Notes in Computer Science",
}
@inproceedings{Geddes_et_al_2006,
title = "The challenges of developing a collaborative data and compute grid for Neurosciences",
author = "J. Geddes and C. Mackay and S. Lloyd and A. C. Simpson and D. J. Power and D. Russell and M. Katzarova and M. Rossor and N. Fox and J. Fletcher and D. Hill and K. McLeish and J. V. Hajnal and S. Lawrie and D. Job and A. McIntosh and J. Wardlaw and P. Sandercocka and J. Palmer and D. Perry and R. Procter and J. Ure and P. Bath and G. Watson",
year = "2006",
booktitle = "Proceedings of the {IEEE} Symposium on Computer Based Medical Systems",
publisher = "{IEEE} Computer Society Press",
}
@inproceedings{Creager_and_Simpson_2006b,
title = "A fully generic, graph-based approach to data transformation discovery",
author = "D. Creager and A. C. Simpson",
year = "2006",
booktitle = "Proceedings of {GMC} ({Graph Computation Models}) 2006",
}
@inproceedings{Creager_and_Simpson_2006a,
title = "Towards a fully generic theory of data",
author = "D. Creager and A. C. Simpson",
year = "2006",
booktitle = "Proceedings of {ICFEM} 2006",
pages = "304--323",
publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 4260",
}
@article{Gavaghan_et_al_2005,
title = "Towards a Grid Infrastructure to support integrative approaches to biological research",
author = "D. J. Gavaghan and A. C. Simpson and S. Lloyd and D. F. Mac Randal and D. R. S. Boyd",
year = "2005",
journal = "Philosophical Transactions of the Royal Society: Mathematical, Physical and Engineering Science",
month = "August",
number = "1883",
pages = "1829--1841",
volume = "363",
}
@inproceedings{Simpson_et_al_2005b,
title = "Towards fine-grained access control in health grids",
author = "A. C. Simpson and D. J. Power and M. A. Slaymaker and E. A. Politou",
year = "2005",
booktitle = "Proceedings of the Ottawa Workshop on New Challenges in Access Control",
month = "April",
}
@inproceedings{Power_et_al_2005b,
title = "Protecting Sensitive Patient Data via Query Modification",
author = "D. J. Power and M. A. Slaymaker and E. A. Politou and A. C. Simpson",
year = "2005",
booktitle = "Proceedings of the 20th ACM Symposium on Applied Computing",
month = "March",
pages = "224-230",
}
@article{Lloyd_et_al_2005b,
title = "Integrative Biology: exploiting e-Science to combat fatal diseases",
author = "S. Lloyd and A. C. Simpson and L. Sastry and D. J. Gavaghan and D. R.S. Boyd",
year = "2005",
journal = "{ERCIM} News",
month = "January",
volume = "60",
}
@article{Slaymaker_et_al_2005,
title = "Security Aspects of Grid-enabled Digital Mammography",
author = "M. A. Slaymaker and E. A. Politou and D. J. Power and S. Lloyd and A. C. Simpson",
year = "2005",
journal = "Methods of Information in Medicine",
number = "2",
pages = "207--210",
volume = "44",
}
@article{Power_et_al_2005a,
title = "Towards secure Grid-enabled healthcare",
author = "D. J. Power and E. A. Politou and M. A. Slaymaker and A. C. Simpson",
year = "2005",
journal = "Software: Practice and Experience",
number = "9",
pages = "857--871",
volume = "35",
}
@article{Lloyd_et_al_2005a,
title = "Digital mammography: a world without film?",
author = "S. Lloyd and M. Jirotka and A. C. Simpson and R. P. Highnam and D. J. Gavaghan and D. Watson and J. M. Brady",
year = "2005",
journal = "Methods of Information in Medicine",
number = "2",
pages = "168--169",
volume = "44",
}
@inproceedings{Simpson_et_al_2005a,
title = "{GIMI}: Generic Infrastructure for Medical Informatics",
author = "A. C. Simpson and D. J. Power and M. A. Slaymaker and E. A. Politou",
year = "2005",
booktitle = "Proceedings of the 18th {IEEE} Symposium on Computer-Based Medical Systems",
pages = "564--566",
}
@inproceedings{Power_et_al_2005c,
title = "On deducibility and anonymisation in medical databases",
author = "D. J. Power and M. A. Slaymaker and A. C. Simpson",
year = "2005",
booktitle = "Proceedings of Secure Data Management 2005",
editor = "Jonker, W. and Petkovic, M.",
pages = "170--184",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "3674",
}
@inproceedings{Power_et_al_2005f,
title = "A secure wrapper for {OGSA-DAI}",
author = "D. J. Power and M. A. Slaymaker and E. A. Politou and A. C. Simpson",
year = "2005",
booktitle = "Proceedings of the European Grid Conference, 2005",
pages = "485--494",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "3470",
}
@inproceedings{Power_et_al_2005e,
title = "On {XACML}, role-based access control, and health grids",
author = "D. J. Power and M. A. Slaymaker and E. A. Politou and A. C. Simpson",
year = "2005",
booktitle = "Proceedings of the 2005 UK e-Science All Hands Meeting",
}
@inproceedings{Momtahan_and_Simpson_2005,
title = "Exploitation of switched lightpaths for e-health",
author = "L. Momtahan and A. C. Simpson",
year = "2005",
booktitle = "Proceedings of the 2005 UK e-Science All Hands Meeting",
}
@inproceedings{Mac_Randal_et_al_2005,
title = "The Integrative Biology Infrastructure",
author = "D. Mac Randal and L. Sastry and D. Hanlon and D. J. Gavaghan and S. Lloyd and A. C. Simpson",
year = "2005",
booktitle = "Proceedings of the 2005 UK e-Science All Hands Meeting",
}
@inproceedings{Lloyd_and_Simpson_2005,
title = "Project management in multi-disciplinary collaborative research",
author = "S. Lloyd and A. C. Simpson",
year = "2005",
booktitle = "Proceedings of {IPCC} 2005, Limerick",
}
@inproceedings{Kinti_et_al_2005,
title = "Managing collaborative expertise: issues and challenges",
author = "I. Kinti and S. Lloyd and A. C. Simpson and G. Hayward",
year = "2005",
booktitle = "Proceedings of {OKLC} 2005, Boston, MA",
}
@inproceedings{Geddes_et_al_2005b,
title = "{NeuroGrid}: collaborative neuroscience via grid computing",
author = "J. Geddes and S. Lloyd and A. C. Simpson and M. Rossor and N. Fox and D. Hill and J. Hajnal and S. Lawrie and A. McIntosh and E. Johnstone and J. Wardlaw and D. Perry and R. Procter and P. Bath and E. Bullimore",
year = "2005",
booktitle = "Proceedings of the 2005 UK e-Science All Hands Meeting",
}
@inproceedings{Geddes_et_al_2005a,
title = "{NeuroGrid}: using grid technology to advance neuroscience",
author = "J. Geddes and S. Lloyd and A. C. Simpson and M. Rossor and N. Fox and D. Hill and J. Hajnal and S. Lawrie and A. McIntosh and E. Johnstone and J. Wardlaw and D. Perry and R. Procter and P. Bath and E. Bullimore",
year = "2005",
booktitle = "Proceedings of the 18th {IEEE} Symposium on Computer-Based Medical Systems",
pages = "570--573",
}
@inproceedings{Dovey_et_al_2005,
title = "{VRE} for the {Integrative Biology} research consortium",
author = "M. J. Dovey and M. Mascord and D. J. Gavaghan and S. Lloyd and A. C. Simpson and G. Williams and D. Mac Randal",
year = "2005",
booktitle = "Proceedings of the 2005 UK e-Science All Hands Meeting",
}
@inproceedings{Slaymaker_et_al_2004c,
title = "A vision for secure grid-enabled healthcare",
author = "M. A. Slaymaker and D. J Power and E. A. Politou and A. C. Simpson",
year = "2004",
booktitle = "Workshop on Grid Security Practice and Experience",
month = "June",
publisher = "Technical Report YCS-2004-380, University of York",
}
@inproceedings{Stainforth_et_al_2004,
title = "Security principles for public-resource modeling research",
author = "D .A. Stainforth and A. P. Martin and A. C. Simpson and C. A. Christensen and J. Kettleborough and T. Aina and M. R. Allen",
year = "2004",
booktitle = "Proceedings of the {IEEE} International Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2004)",
pages = "319--324",
}
@inproceedings{Slaymaker_et_al_2004b,
title = "eDiaMoND: risk analysis",
author = "M. A. Slaymaker and E. A. Politou and D. J. Power and S. Lloyd and A. C. Simpson",
year = "2004",
booktitle = "Proceedings of HealthGrid 2004, Claremont, France",
}
@inproceedings{Slaymaker_et_al_2004a,
title = "Security aspects of grid-based digital mammography",
author = "M. A. Slaymaker and E. A. Politou and D. J. Power and S. Lloyd and A. C. Simpson",
year = "2004",
booktitle = "Proceedings of HealthGrid 2004, Claremont, France",
}
@inproceedings{Slaymaker_et_al_2004d,
title = "e-health security issues: the {eDiaMoND} perspective",
author = "M. A. Slaymaker and E. A. Politou and D. J. Power and S. Lloyd",
year = "2004",
booktitle = "Proceedings of the 2004 UK e-Science All Hands Meeting",
}
@inproceedings{Power_et_al_2004,
title = "An Approach to the Storage of {DICOM} files for {Grid}-Enabled Medical Imaging Databases",
author = "D. J. Power and E. A. Politou and M. A. Slaymaker and S. Harris and A. C. Simpson",
year = "2004",
booktitle = "Proceedings of the 19th ACM Symposium on Applied Computing",
pages = "272--279",
}
@inproceedings{Lloyd_et_al_2004b,
title = "eDiaMoND: challenges for the e-scientist in the e-health domain",
author = "S. Lloyd and A. C. Simpson and D. J. Gavaghan and J. M. Brady",
year = "2004",
booktitle = "Proceedings of the 2004 UK e-Science All Hands Meeting",
}
@inproceedings{Lloyd_et_al_2004a,
title = "Digital mammography: a world without film?",
author = "S. Lloyd and M. Jirotka and A. C. Simpson and R. P. Highnam and D. J. Gavaghan and D. Watson and J. M. Brady",
year = "2004",
booktitle = "Proceedings of HealthGrid 2004, Claremont, France",
}
@inproceedings{Gavaghan_et_al_2004,
title = "{Integrative Biology}: exploiting {e-Science} to combat fatal diseases",
author = "D.J. Gavaghan and S. Lloyd and D. R. S. Boyd and P. W. Jeffreys and A. C. Simpson and D. F. Mac Randal and L. Sastry and K. Kleese van Dam",
year = "2004",
booktitle = "Proceedings of the 2004 UK e-Science All Hands Meeting",
}
@inproceedings{Davies_et_al_2004,
title = "Teaching Formal Methods in Context",
author = "J. W. Davies and A. C. Simpson and A. P. Martin",
year = "2004",
booktitle = "Proceedings of CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004",
editor = "Dean, C.~N. and Boute, R.~F.",
pages = "186--202",
publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 3294",
}
@inproceedings{Brady_et_al_2004,
title = "{eDiaMoND}: the {UK}'s national digital mammography database",
author = "J. M. Brady and F. Gilbert and S. Lloyd and M. Jirotka and D. J. Gavaghan and A. C. Simpson and R. P. Highnam and T. Bowles and D. Schottlander and D. McCabe and D. Watson and B. Collins and J. Williams and A. Knox and M. Oevers and P. Taylor",
year = "2004",
booktitle = "Proceedings of {IWDM} 2004",
}
@inbook{Brady_et_al_2003a,
title = "{eDiaMoND}: A Grid-enabled federated database of annotated mammograms",
author = "J. M. Brady and D. J. Gavaghan and A. C. Simpson and M. Mulet-Parada and R. P. Highnam",
year = "2003",
booktitle = "Grid Computing: Making the Global Infrastructure a Reality",
editor = "Berman, F. and Fox, G.~C. and and Hey, A.~J.~G.",
pages = "923--943",
publisher = "Wiley Series",
}
@inproceedings{Simpson_et_al_2003,
title = "On the supervision and assessment of part-time postgraduate software engineering projects",
author = "A C. Simpson and A. P. Martin and J. Gibbons and J. W. Davies and S. W. M. McKeever",
year = "2003",
booktitle = "Proceedings of the 25th International Conference on Software Engineering (ICSE), Portland, Oregon, 3--10 May, 2003",
pages = "628--633",
publisher = "{IEEE} Computer Society Press",
}
@inproceedings{Simpson_and_Martin_2003,
title = "Supplementing the understanding of {Z}: a formal approach to database design",
author = "A. C. Simpson and A. P. Martin",
year = "2003",
booktitle = "Proceedings of the BCS Teaching Formal Methods workshop",
publisher = "BCS",
}
@inproceedings{Power_et_al_2003,
title = "An approach to the storage of {DICOM} files for grid-enabled medical imaging databases",
author = "D. .J. Power and E. A. Politou and M. A. Slaymaker and S. Harris and A. C. Simpson",
year = "2003",
booktitle = "Proceedings of the 2003 UK e-Science All Hands Meeting",
}
@inproceedings{Martin_and_Simpson_2003,
title = "Generalizing the {Z} Schema Calculus: Database Schemas and Beyond",
author = "A. P. Martin and A. C. Simpson",
year = "2003",
booktitle = "Proceedings of APSEC, 2003",
}
@inproceedings{Brady_et_al_2003b,
title = "Grid computing for digital mammography",
author = "J. M. Brady and D. J. Gavaghan and R. P. Highnam and A. Knox and S. Lloyd and A. C. Simpson and D. Watson",
year = "2003",
booktitle = "Proceedings of the 2003 UK e-Science All Hands Meeting",
}
@book{Simpson_2002,
title = "Discrete Mathematics by Example",
author = "A. C. Simpson",
year = "2002",
publisher = "McGraw-Hill",
}
@inproceedings{Stainforth_et_al_2002a,
title = "Climate\emph{prediction}.net: design principles for public resource modelling research",
author = "D. Stainforth and J. Kettleborough and A. P. Martin and A. C. Simpson and R. Gillis and A. Akkas and R. Gault and M. Collins and D. J. Gavaghan and M. R. Allen",
year = "2002",
booktitle = "Proc. 14th IASTED conference on parallel and distributed computing systems.",
}
@inproceedings{Stainforth_et_al_2002b,
title = "climate\emph{prediction}.com: security and design planning",
author = "D. Stainforth and J. A. Kettleborough and A. P. Martin and A. C. Simpson and A. P. Martin and R. Gillis and A. Akkas and R. Gault and M. Collins and D. J. Gavaghan and M. Allen",
year = "2002",
booktitle = "Proceedings of the 2002 UK e-Science All Hands Meeting",
}
@inproceedings{Brady_et_al_2002,
title = "{eDiamond}: Digital Mammography",
author = "J. M. Brady and D. J. Gavaghan and R. P. Highnam and M. Mulet-Parada and A. C. Simpson",
year = "2002",
booktitle = "Proceedings of the 2002 UK e-Science All Hands Conference",
}
@inproceedings{Simpson_et_al_1999,
title = "{BSP} in {CSP}: Easy as {ABC}",
author = "A. C. Simpson and J. M. D. Hill Hill and S. R. Donaldson",
year = "1999",
booktitle = "Proceedings of Fourth International Workshop on Formal Methods for Parallel Programming: Theory and Applications, San Juan, Puerto Rico, April 1999",
pages = "1299--1313",
publisher = "Springer-Verlag Lecture Notes in Computer Science",
}
@techreport{Simpson_1999,
title = "Towards the mechanical verification of moving block signalling systems",
author = "A. C. Simpson",
year = "1999",
institution = "School of Computing and Mathematical Sciences, Oxford Brookes University",
number = "CMS-TR-99-06",
}
@inproceedings{Simpson_et_al_1998a,
title = "Safety through Security",
author = "A. C. Simpson and J. C. P. Woodcock and J. W. Davies",
year = "1998",
booktitle = "Proceedings of the Ninth International Workshop on Software Specification and Design",
pages = "18--24",
publisher = "{IEEE} Computer Society Press",
}
@inproceedings{Simpson_et_al_1998b,
title = "Security management via {Z} and {CSP}",
author = "A. C. Simpson and J. W. Davies and J. C. P. Woodcock",
year = "1998",
booktitle = "Proceedings of Formal Methods Pacific '98, Canberra, Australia, 29 September -- 2 October, 1998",
pages = "334--351",
publisher = "Springer Series in Discrete Mathematics and Theoretical Computer Science",
}
@inproceedings{Simpson_1998,
title = "Model Checking for Interlocking Safety",
author = "A. C. Simpson",
year = "1998",
booktitle = "Proceedings of the Second {FMERail} Seminar, 15--16 October 1998, London, United Kingdom",
}
@inproceedings{Simpson_et_al_1997,
title = "The Mechanical Verification of {S}olid {S}tate {I}nterlocking Geographic Data",
author = "A. C. Simpson and J. C. P. Woodcock and J. W. Davies",
year = "1997",
booktitle = "Proceedings of Formal Methods Pacific, Wellington, New Zealand, 9--11 July",
editor = "Groves, L. and Reeves, S.",
pages = "223--242",
publisher = "Springer-Verlag",
}
@inproceedings{Burn-Thornton_et_al_1996b,
title = "A Novel Data Mining Tool for ATM Networks",
author = "K. E. Burn-Thornton and D. M. Cattrall and A. C. Simpson",
year = "1996",
booktitle = "Proceedings of IEE conference on Data Mining",
}
@inproceedings{Burn-Thornton_et_al_1996a,
title = "Polymorphic Functions for Data Mining in an ATM Network",
author = "K. E. Burn-Thornton and D. M. Cattrall and A. C. Simpson",
year = "1996",
booktitle = "Proceedings of the 4th IFIP conference on ATM",
}
@phdthesis{Simpson_1996,
title = "Safety through Security",
author = "Andrew Simpson",
year = "1996",
school = "Oxford University Computing Laboratory",
}
@inproceedings{Simpson_1995b,
title = "The Application of Formal Methods to the Development of an {A}{T}{P} ({A}utomatic {T}rain {P}rotection) System",
author = "A. C. Simpson",
year = "1995",
booktitle = "Colloquium on Communication Networks in Transportation",
publisher = "IEE",
}
@inproceedings{Simpson_1995a,
title = "Railway Signalling as a case study in Safety through Determinism",
author = "A. C. Simpson",
year = "1995",
booktitle = "Proceedings of Aspect '95",
publisher = "IRSE",
}
@inproceedings{Simpson_1994,
title = "A Formal Specification of an {A}utomatic {T}rain {P}rotection System",
author = "Andrew Simpson",
year = "1994",
booktitle = "FME '94: Industrial Benefits of Formal Methods. Proceedings of Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 1994",
editor = "Naftalin, M. and Denvir, T. and Bertran, M.",
pages = "602--617",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "873",
}