Skip to main content

Software Engineering: Publications

Click here to download all publications in a single bibtex file

@book{aligned,
  title = "Engineering Agile Big-Data Systems",
  author = "Kevin Feeney and Jim Davies and James Welch and Sebastian Hellmann and Christian Dirschl and Andreas Koller and Pieter Francois and Arkadiusz Marciniak",
  year = "2018",
  editor = "Kevin Feeney and Jim Davies and James Welch and Sebastian Hellmann and Christian Dirschl and Andreas Koller and Pieter Francois and Arkadiusz Marciniak",
  isbn = "9788770220163",
  url = "https://www.riverpublishers.com/research_details.php?book_id=659",
}
@inbook{lifecycle,
  title = "Software Project Management for Combined Software and Data Engineering",
  author = "Seyyed M. Shah and James Welch and Jim Davies and Jeremy Gibbons",
  year = "2017",
  booktitle = "Software Project Management for Distributed Computing: Life-Cycle Methods for Developing Scalable and Reliable Tools",
  editor = "Zaigham Mahmood",
  isbn = "978-3-319-54324-6",
  pages = "367-385",
  publisher = "Springer International Publishing",
  url = "https://sshah.co.uk/files/combined-software-data-engineering-shah-17.pdf",
  doi = "10.1007/978-3-319-54325-3_15",
}
@article{2017-itpro-ncd,
  title = "Security risk assessment in Internet of Things systems",
  author = "Jason R. C. Nurse; Sadie Creese; David De Roure",
  year = "2017",
  journal = "IEEE IT Professional (IT Pro)",
  number = "5",
  pages = "20--26",
  publisher = "IEEE",
  url = "https://www.computer.org/it-professional/",
  volume = "19",
  doi = "10.1109/MITP.2017.3680959",
}
@conference{2017-bhci-wyn,
  title = "ToARist: An Augmented Reality Tourism App created through User-Centred Design",
  author = "Williams, Meredydd and Yao, Kelvin and Nurse, Jason R. C.",
  year = "2017",
  booktitle = "31st British Human Computer Interaction Conference (BHCI)",
  publisher = "BCS",
  url = "http://hci2017.bcs.org/wp-content/uploads/13.pdf",
}
@article{DAVIES201588,
  title = "Formal model-driven engineering of critical information systems",
  author = "Jim Davies and David Milward and Chen-Wei Wang and James Welch",
  year = "2015",
  issn = "0167-6423",
  journal = "Science of Computer Programming",
  keywords = "Model-driven engineering, Formal methods, Critical systems, Information systems, Data migration",
  pages = "88 - 113",
  volume = "103",
  doi = "10.1016/j.scico.2014.11.004",
}
@article{cancergrid,
  title = "The CancerGrid Experience: Metadata-Based Model-Driven Engineering for Clinical Trials",
  author = "Jim Davies and Jeremy Gibbons and Steve Harris and Charles Crichton",
  year = "2014",
  journal = "Science of Computer Programming",
  month = "September",
  pages = "126-143",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/cancergrid.pdf",
  volume = "89B",
  doi = "10.1016/j.scico.2013.02.010",
}
@article{boosterExperience,
  title = "Model-driven Engineering of Information Systems: 10 years and 1000 versions",
  author = "Jim Davies and Jeremy Gibbons and James Welch and Edward Crichton",
  year = "2014",
  journal = "Science of Computer Programming",
  month = "September",
  pages = "88-104",
  volume = "89B",
  doi = "10.1016/j.scico.2013.02.002",
}
@unpublished{ml-se-hi,
  title = "Machine Learning and Software Engineering in Health Informatics",
  author = "David A. Clifton and Jeremy Gibbons and Jim Davies and Lionel Tarassenko",
  year = "2012",
  booktitle = "Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE'12)",
  month = "May",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ml-se-hi.pdf",
  doi = "10.1109/RAISE.2012.6227968",
}
@inproceedings{falyhcse12,
  title = "Requirements Sensemaking using Concept Maps",
  author = "Shamal Faily and John Lyle and Andre Paul and Andrea Atzeni and Dieter Blomme and Heiko Desruelle and Krishna Bangalore",
  year = "2012",
  booktitle = "HCSE'2012: Proceedings of the 4th International Conference on Human-Centered Software Engineering",
  pages = "217--232",
  publisher = "Springer",
}
@inproceedings{tapp12-provenance-security,
  title = "Provenance as a Security Control",
  author = "Andrew Martin and John Lyle and Cornelius Namiluko",
  year = "2012",
  booktitle = "Proceedings of TaPP'12: the 4th USENIX Workshop on the Theory and Practice of Provenance",
  publisher = "USENIX",
  url = "https://www.usenix.org/conference/tapp12/provenance-security-control",
}
@inproceedings{failymdsec2012,
  title = "Model-driven architectural risk analysis using architectural and contextualised attack patterns",
  author = "Shamal Faily and John Lyle and Cornelius Namiluko and Andrea Atzeni and Cesare Cameroni",
  year = "2012",
  booktitle = "Proceedings of the Workshop on Model-Driven Security",
  pages = "3:1--3:6",
  publisher = "ACM",
}
@inproceedings{fff,
  title = "Form Follows Function: Model-Driven Engineering for Clinical Trials",
  author = "Jim Davies and Jeremy Gibbons and Radu Calinescu and Charles Crichton and Steve Harris and Andrew Tsui",
  year = "2011",
  booktitle = "International Symposium on Foundations of Health Information Engineering and Systems",
  month = "August",
  pages = "21-38",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fff.pdf",
  volume = "7151",
  doi = "10.1007/978-3-642-32355-3_2",
}
@inproceedings{secondemo2011,
  title = "Demo abstract : Dynamic node placement for multi-hop localization in cluttered environments",
  author = "Muzammil Hussain and Niki Trigoni",
  year = "2011",
  booktitle = "8th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON)",
}
@inproceedings{lyle-martin-trust2010,
  title = "Engineering Attestable Services (short paper)",
  author = "John Lyle and Andrew Martin",
  year = "2010",
  booktitle = "Proceedings of the 3rd International Conference on Trust and Trustworthy Computing",
  editor = "Acquisti, Alessandro; Smith, Sean W.; Sadeghi, Ahmad-Reza",
  location = "Berlin",
  month = "June",
  pages = "257--264",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.springerlink.com/content/4NG0010448040134",
  doi = "10.1007/978-3-642-13869-0",
}
@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",
}
@article{Huh2010,
  title = "Managing application whitelists in trusted distributed systems",
  author = "Jun Ho Huh and John Lyle and Cornelius Namiluko and Andrew Martin",
  year = "2010",
  issn = "0167-739X",
  journal = "Future Generation Computer Systems",
  keywords = ""Configuration management", "Trusted computing","Trusted grid", "Virtual organisations", "Whitelisting"",
  url = ""http://www.sciencedirect.com/science/article/B6V06-50XCXVD-2/2/6efb0eda0beeb1edcc156190e2f843e8",
  volume = "In Press, Accepted Manuscript",
  doi = "DOI: 10.1016/j.future.2010.08.014",
}
@inproceedings{lyle-tapp10,
  title = "Trusted Computing and Provenance: Better Together",
  author = "John Lyle and Andrew Martin",
  year = "2010",
  booktitle = "Proceedings of the 2nd Workshop on the Theory and Practice of Provenance",
  publisher = "Usenix",
  url = "http://www.usenix.org/events/tapp10/tech/full_papers/lyle.pdf",
}
@inproceedings{Davies&Gibbons2010:Semantic,
  title = "Semantic Frameworks: Meanings in the Architecture",
  author = "Jim Davies and Jeremy Gibbons",
  year = "2010",
  booktitle = "Distributed Computing and Internet Technology",
  pages = "40-54",
  series = "LNCS",
  volume = "5966",
  doi = "10.1007/978-3-642-11659-9_4",
}
@phdthesis{skone-phd,
  title = "Stratagems for Effective Function Evaluation in Computational Chemistry",
  author = "G.S. Skone",
  year = "2010",
}
@inproceedings{DBLP:conf/trust/HuhL09,
  title = "Trustworthy Log Reconciliation for Distributed Virtual Organisations",
  author = "Jun Ho Huh and John Lyle",
  year = "2009",
  address = "Berlin, Heidelberg",
  booktitle = "Trust '09: Proceedings of the 2nd International Conference on Trusted Computing",
  editor = "Liqun Chen and Chris J. Mitchell and Andrew Martin",
  isbn = "978-3-642-00586-2",
  location = "Oxford, UK",
  month = "April",
  pages = "169-182",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  doi = "10.1007/978-3-642-00587-9_11",
}
@inproceedings{DBLP:conf/trust/Lyle09,
  title = "Trustable Remote Verification of Web Services",
  author = "John Lyle",
  year = "2009",
  booktitle = "TRUST",
  editor = "Liqun Chen and Chris J. Mitchell and Andrew Martin",
  isbn = "978-3-642-00586-2",
  location = "Oxford, UK",
  month = "April",
  pages = "153-168",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-00587-9_10",
}
@inproceedings{Davies*2009:Kathmandu,
  title = "Model-Driven Support for a Vaccine Study in Kathmandu",
  author = "Jim Davies and Jeremy Gibbons and Steve Harris and Jane Metz and Andrew J. Pollard and Matthew Snape",
  year = "2009",
  booktitle = "Microsoft eScience Workshop",
  month = "October",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/vaccines.pdf",
}
@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{pcm2009,
  title = "A metadata approach for clinical data management in translational genomics studies in breast cancer",
  author = "Irene Papatheodorou, Charles Crichton, Lorna Morris, Peter Maccallum, Molecular Taxonomy of Breast Cancer International Consortium METABRIC Group, Jim Davies, James D Brenton and Carlos Caldas",
  year = "2009",
  journal = "BMC Medical Genomics",
  volume = "2",
  doi = "10.1186/1755-8794-2-66",
}
@inproceedings{Russell_et_al_2009,
  title = "On the secure sharing of legacy data",
  author = "Russell, D. and Power, D.~J. and Slaymaker, M.~A. and Kouadri Mostefaoui, G.~K. and Ma, X. and Simpson, A.~C.",
  year = "2009",
  booktitle = "Proceedings of the 6th International Conference on IT: Next Generation (ITNG 2009)",
  pages = "1676--1679",
  publisher = "IEEE",
}
@inproceedings{LyleSecureCom09,
  title = "On the Feasibility of Remote Attestation for Web Services",
  author = "John Lyle and Andrew Martin",
  year = "2009",
  booktitle = "SecureCom09: Proceedings of the International Symposium on Secure Computing",
  isbn = "978-0-7695-3823-5",
  pages = "283-288",
  publisher = "IEEE",
  url = "http://doi.ieeecomputersociety.org/10.1109/CSE.2009.213",
}
@conference{waharte_secon09,
  title = "Coordinated Search with a Swarm of UAVs",
  author = "Sonia Waharte and Niki Trigoni and Simon J. Julier",
  year = "2009",
  booktitle = "Sixth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON)",
}
@proceedings{Gibbons&Oliveira2009:Teaching,
  title = "Teaching Formal Methods",
  author = "Jeremy Gibbons and José Nuno Oliveira (eds)",
  year = "2009",
  booktitle = "Teaching Formal Methods",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/tfm2009-preface.pdf",
  volume = "5846",
  doi = "10.1007/978-3-642-04912-5",
}
@inproceedings{skone_08,
  title = "Basic Strategies for Molecular Docking with Scoring Functions",
  author = "Gwyn Skone and Stephen Cameron and Irina Voiculescu",
  year = "2008",
  booktitle = "German Conference on Bioinformatics",
  location = "Dresden",
  month = "September",
}
@inproceedings{ICEGOV2008STEG,
  title = "Semantic Technologies in Electronic Government",
  author = "Steve Harris and Jeremy Gibbons and Jim Davies and Andrew Tsui and Charles Crichton",
  year = "2008",
  address = "Cairo",
  booktitle = "ICEGOV 2008",
  editor = "Tomasz Janowski and Teresa Pardo",
  month = "December",
  pages = "45 -- 51",
  publisher = "ACM Press",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/semantech-egov.pdf",
  doi = "10.1145/1509096.1509108",
}
@article{Simpson_et_al_2008c,
  title = "A healthcare-driven framework for facilitating the secure sharing of data across organisational boundaries",
  author = "Simpson, A.~C. and Power, D.~J. and Russell, D. and Slaymaker, M.~A. and Kouadri-Mostefaoui, G. and Ma, X. and Wilson, G.",
  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 = "Tromans, C. and Brady, J.~M. and Power, D.~J. and Slaymaker, M.~A. and Russell, D. and Simpson, A.~C.",
  year = "2008",
  booktitle = "Proceedings of MICCAI-Grid 2008",
  pages = "43--52",
}
@inproceedings{Simpson_2008,
  title = "On the need for user-defined fine-grained access control policies for social networking applications",
  author = "Simpson, A.~C.",
  year = "2008",
  booktitle = "Proceedings of the 2008 workshop on Security in Opportunistic and SOCial networks (SOSOC 2008)",
  pages = "Article number 1",
  publisher = "ACM",
}
@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{Fong_and_Simpson_2008,
  title = "On formal descriptions of synchronization requirements in multimedia systems",
  author = "Fong, A.~C.~M. and Simpson, A.~C.",
  year = "2008",
  booktitle = "Proceedings of the 5th International Conference on IT: Next Generation (ITNG 2009)",
  pages = "1255-1256",
  publisher = "IEEE",
}
@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",
}
@inproceedings{Simpson_et_al_2008b,
  title = "A healthcare-driven framework for facilitating the secure sharing of data across organisational boundaries",
  author = "Simpson, A.~C. and Power, D.~J. and Russell, D. and Slaymaker, M.~A. and Kouadri-Mostefaoui, G. and Ma, X. and Wilson, G.",
  year = "2008",
  booktitle = "Proceedings of HealthGrid 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 = "Simpson, A.~C. and Power, D.~J. and Russell, D. and Slaymaker, M.~A. and Kouadri Mostefaoui, G. and Wilson, G. and Ma, X.",
  year = "2008",
  booktitle = "Managing Web Services Quality: Measuring Outcomes and Effectiveness",
  editor = "Khan, K.",
  pages = "1--22",
  publisher = "Idea Group",
}
@article{Lloyd_et_al_2007a,
  title = "Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling",
  author = "Lloyd, S. and Gavaghan, D.~J. and Simpson, A.~C. and Mascord, M. Sieunarine, C. and Williams, G. and Pitt-Francis, J. and Boyd, D.~R.~S. and Mac Randal, D. and Sastry, L. and Nagella, S. Weeks, K. and Fowler, R. and Hanlon, D. and Handley, J. and de Fabritis, G.",
  year = "2007",
  journal = "Future Generation Computer Systems",
  month = "March",
  number = "3",
  pages = "457--465",
  volume = "23",
}
@article{cks2007-tcs,
  title = "Verification of {Boolean} Programs with Unbounded Thread Creation",
  author = "Cook, Byron and Kroening, Daniel and Sharygina, Natasha",
  year = "2007",
  journal = "Theoretical Computer Science (TCS)",
  pages = "227--242",
  publisher = "Elsevier",
  volume = "388",
}
@article{Simpson_et_al_2007,
  title = "On the development of secure service-oriented architectures to support medical research",
  author = "Simpson, A.~C. and Power, D.~J. and Slaymaker, M.~A. and Russell, D. and Katzarova, M.",
  year = "2007",
  journal = "International Journal of Healthcare Information Systems and Informatics",
  number = "2",
  pages = "75--89",
  volume = "2",
}
@inproceedings{Induruwa_et_al_2007,
  title = "Towards build-time interoperability of workflow definition languages",
  author = "Induruwa-Fernando, S.~D. and Creager, D.~A. and Simpson, A.~C.",
  year = "2007",
  booktitle = "Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNSAC 2007)",
  pages = "525--532",
  publisher = "IEEE",
}
@inproceedings{Momtahan_and_Simpson_2007,
  title = "Exploitation of switched lightpaths for e-health: Constraints and challenges",
  author = "Momtahan, L. and Simpson, A.~C.",
  year = "2007",
  booktitle = "Lighting the blue touchpaper for UK e-Science: Closing conference of {ESLEA} project",
  publisher = "Proceedings of Science",
}
@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",
}
@article{Fong_and_Simpson_2006,
  title = "Using {CSP} to model the synchronization process of variable length codes",
  author = "Fong, A.~C.~M. and Simpson, A.~C.",
  year = "2006",
  journal = "IEEE Proc. Communications",
  month = "April",
  number = "2",
  pages = "195--200",
  volume = "153",
}
@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 = "Pitt-Francis, J. and Chen, D. and Slaymaker, M.~A. and Simpson, A.~C. and Brady, J.~M. and van Leeuwen, I. and Reddington, F. and Quirke, P. and Gavaghan, D.~J.",
  year = "2006",
  journal = "Computational \& Mathematical Methods in Medicine",
  number = "2\&3",
  pages = "177--188",
  volume = "7",
}
@article{Ure_et_al_2006,
  title = "Designing for e-health: recurring scenarios in developing grid-based medical imaging systems",
  author = "Ure, J. and Geddes, J. and Mackay, C. and Lloyd, S. and Simpson, A.~C. and Power, D.~J. and Russell, D. and Jirotka, M. and Katzarova, M. and Rossor, M. and Fox, N. and Fletcher, J. and Hill, D. and McLeish, K. and Chen, Y. and Hajnal, J.~V. and Lawrie, S. and Job, D. and McIntosh, A. and Wardlaw, J. and Sandercock, P. and Palmer, J. and Perry, D. and Procter, R. and Hartswood, M. and Slack, R. and Voss, A. and Ho, K. and Bath, P. and Clarke, W. and Watson, G.",
  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 = "Power, D.~J. and Politou, E.~A. and Slaymaker, M.~A. and Simpson, A.~C.",
  year = "2006",
  journal = "Future Generation Computer Systems",
  number = "5",
  pages = "547--570",
  volume = "22",
}
@article{Jirotka_et_al_2006,
  title = "Collaboration and trust in healthcare innovation: the eDiaMoND case study",
  author = "Jirotka, M. and Procter, M. and Hartswood, R. and Slack, C. and Simpson, A.~C. and Coopmans, C. and Hinds, C. and Voss, A.",
  year = "2006",
  journal = "Computer Supported Cooperative Work",
  pages = "369--398",
  volume = "14",
}
@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)",
  pages = "209--216",
  publisher = "ACM Press",
}
@inproceedings{Creager_and_Simpson_2006a,
  title = "Towards a fully generic theory of data",
  author = "Creager, D.~A. and Simpson, A.~C.",
  year = "2006",
  booktitle = "Proceedings of the 8th International Conference on Formal Engineering Methods ({ICFEM} 2006)",
  pages = "304--323",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4260",
}
@inproceedings{Lloyd_and_Simpson_2006,
  title = "The utilisation of clinical data in research health grids: {eDiaMoND} as a case study",
  author = "Lloyd, S. and Simpson, A.~C.",
  year = "2006",
  booktitle = "Proceedings of {HealthCare} 2006",
}
@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 19th IEEE Symposium on Computer Based Medical Systems (CBMS 2006)",
  pages = "81--86",
  publisher = "{IEEE} Computer Society Press",
}
@inproceedings{Simpson_2006,
  title = "Logic, damned logic, and statistics",
  author = "Simpson, A.~C.",
  year = "2006",
  booktitle = "Proceedings of Teaching Formal Methods 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",
  pages = "517--529",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4176",
}
@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{Creager_and_Simpson_2006b,
  title = "A fully generic, graph-based approach to data transformation discovery",
  author = "D.~A. Creager and A.~C.~Simpson",
  year = "2006",
  booktitle = "Proceedings of {GMC} ({Graph Computation Models}) 2006",
}
@article{Gavaghan_et_al_2005,
  title = "Towards a Grid Infrastructure to support integrative approaches to biological research",
  author = "Gavaghan, D.~J. and Simpson, A.~C. and Lloyd, S. and Mac Randal, D.~F. and Boyd, D.~R.~S.",
  year = "2005",
  journal = "Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences",
  month = "August",
  number = "1883",
  pages = "1829--1841",
  volume = "363",
}
@inproceedings{Simpson_et_al_2005b,
  title = "Towards fine-grained access control in health grids",
  author = "Simpson, A.~C. and Power, D.~J. and Slaymaker, M.~A. and Politou, E.~A.",
  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 = "Power, D.~J. and Slaymaker, M.~A. and Politou, E.~A. and Simpson, A.~C.",
  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 = "Lloyd, S. and Simpson, A.~C. and Sastry, L. and Gavaghan, D.~J. and Boyd, D.~R.S.",
  year = "2005",
  journal = "{ERCIM} News",
  month = "January",
  volume = "60",
}
@article{Power_et_al_2005a,
  title = "Towards secure Grid-enabled healthcare",
  author = "Power, D.~J. and Politou, E.~A. and Slaymaker, M.~A. and Simpson, A.~C.",
  year = "2005",
  journal = "Software: Practice and Experience",
  number = "9",
  pages = "857--871",
  volume = "35",
}
@article{Slaymaker_et_al_2005,
  title = "Security Aspects of Grid-enabled Digital Mammography",
  author = "Slaymaker, M.~A. and Politou, E.~A. and Power, D.~J. and Lloyd, S. and Simpson, A.~C.",
  year = "2005",
  journal = "Methods of Information in Medicine",
  number = "2",
  pages = "207--210",
  volume = "44",
}
@article{Lloyd_et_al_2005a,
  title = "Digital mammography: a world without film?",
  author = "Lloyd, S. and Jirotka, M. and Simpson, A.~C. and Highnam, R.~P. and Gavaghan, D.~J. and Watson, D. and Brady, J.~M.",
  year = "2005",
  journal = "Methods of Information in Medicine",
  number = "2",
  pages = "168--169",
  volume = "44",
}
@inproceedings{Dovey_et_al_2005,
  title = "{VRE} for the {Integrative Biology} research consortium",
  author = "Dovey, M.~J. and Mascord, M. and Gavaghan, D.~J. and Lloyd, S. and Simpson, A.~C. and Williams, G. and Mac Randal, D.",
  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 = "Geddes, J. and Lloyd, S. and Simpson, A.~C. and Rossor, M. and Fox, N. and Hill, D. and Hajnal, J.~V. and Lawrie, S. and McIntosh, A. and Johnstone, E. and Wardlaw, J. and Perry, D. and Procter, R. and Bath, P. and Bullimore, E.",
  year = "2005",
  booktitle = "Proceedings of the 18th {IEEE} Symposium on Computer-Based Medical Systems",
  pages = "570--573",
  publisher = "IEEE Computer Society Press",
}
@inproceedings{Geddes_et_al_2005b,
  title = "{NeuroGrid}: collaborative neuroscience via grid computing",
  author = "Geddes, J. and Lloyd, S. and Simpson, A.~C. and Rossor, M. and Fox, N. and Hill, D. and Hajnal, J. and Lawrie, S. and McIntosh, A. and Johnstone, E. and Wardlaw, J. and Perry, D. and Procter, R. and Bath, P. and Bullimore, E.",
  year = "2005",
  booktitle = "Proceedings of the 2005 UK e-Science All Hands Meeting",
}
@inproceedings{Simpson_et_al_2005a,
  title = "{GIMI}: Generic Infrastructure for Medical Informatics",
  author = "Simpson, A.~C. and Power, D.~J. and Slaymaker, M.~A. and Politou, E.~A.",
  year = "2005",
  booktitle = "Proceedings of the 18th {IEEE} Symposium on Computer-Based Medical Systems (CBMS 2005)",
  pages = "564--566",
  publisher = "IEEE Computer Society Press",
}
@inproceedings{Mac_Randal_et_al_2005,
  title = "The Integrative Biology Infrastructure",
  author = "Mac Randal, D. and Sastry, L. and Hanlon, D. and Gavaghan, D.~J. and Lloyd, S. and Simpson, A.~C.",
  year = "2005",
  booktitle = "Proceedings of the 2005 UK e-Science All Hands Meeting",
}
@inproceedings{Power_et_al_2005e,
  title = "On {XACML}, role-based access control, and health grids",
  author = "Power, D.~J. and Slaymaker, M.~A. and Politou, E.~A. and Simpson, A.~C.",
  year = "2005",
  booktitle = "Proceedings of the 2005 UK e-Science All Hands Meeting",
}
@inproceedings{Power_et_al_2005c,
  title = "On deducibility and anonymisation in medical databases",
  author = "Power, D.~J. and Slaymaker, M.~A. and Simpson, A.~C.",
  year = "2005",
  booktitle = "Proceedings of Secure Data Management 2005",
  editor = "Jonker, W. and Petkovic, M.",
  pages = "170--184",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3674",
}
@inproceedings{Kinti_et_al_2005,
  title = "Managing collaborative expertise: issues and challenges",
  author = "Kinti, I. and Lloyd, S. and Simpson, A.~C. and Hayward, G.",
  year = "2005",
  booktitle = "Proceedings of {OKLC} 2005, Boston, MA",
}
@inproceedings{Momtahan_and_Simpson_2005,
  title = "Exploitation of switched lightpaths for e-health",
  author = "Momtahan, L. and Simpson, A.~C.",
  year = "2005",
  booktitle = "Proceedings of the 2005 UK e-Science All Hands Meeting",
}
@inproceedings{Power_et_al_2005f,
  title = "A secure wrapper for {OGSA-DAI}",
  author = "Power, D.~J. and Slaymaker, M.~A. and Politou, E.~A. and Simpson, A.~C.",
  year = "2005",
  booktitle = "Proceedings of the European Grid Conference, 2005",
  pages = "485--494",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3470",
}
@inproceedings{Slaymaker_et_al_2004c,
  title = "A vision for secure grid-enabled healthcare",
  author = "Slaymaker, M.~A. and Power, D.~J and Politou, E.~A. and Simpson, A.~C.",
  year = "2004",
  booktitle = "Workshop on Grid Security Practice and Experience",
  month = "June",
  publisher = "Technical Report YCS-2004-380, University of York",
}
@article{cksy2004,
  title = "Predicate Abstraction of {ANSI--C} Programs using {SAT}",
  author = "Clarke, Edmund and Kroening, Daniel and Sharygina, Natasha and Yorav, Karen",
  year = "2004",
  journal = "Formal Methods in System Design (FMSD)",
  month = "September--November",
  pages = "105--127",
  volume = "25",
}
@inproceedings{Brady_et_al_2004,
  title = "{eDiaMoND}: the {UK}'s national digital mammography database",
  author = "Brady, J.~M. and Gilbert, F. and Lloyd, S. and Jirotka, M. and Gavaghan, D.~J. and Simpson, A.~C. and Highnam, R.~P. and Bowles, T. and Schottlander, D. and McCabe, D. and Watson, D. and Collins, B. and Williams, J. and Knox, A. and Oevers, M. and Taylor, P.",
  year = "2004",
  booktitle = "Proceedings of {IWDM} 2004",
}
@inproceedings{Gavaghan_et_al_2004,
  title = "{Integrative Biology}: exploiting {e-Science} to combat fatal diseases",
  author = "Gavaghan, D.J. and Lloyd, S. and Boyd, D.~R.~S. and Jeffreys, P.~W. and Simpson, A.~C. and Mac Randal, D.~F. and Sastry, L. and Kleese van Dam, K.",
  year = "2004",
  booktitle = "Proceedings of the 2004 UK e-Science All Hands Meeting",
}
@inproceedings{Slaymaker_et_al_2004b,
  title = "{eDiaMoND}: risk analysis",
  author = "Slaymaker, M.~A. and Politou, E.~A. and Power, D.~J. and Lloyd, S. and Simpson, A.~C.",
  year = "2004",
  booktitle = "Proceedings of HealthGrid 2004, Claremont, France",
}
@inproceedings{Lloyd_et_al_2004b,
  title = "{eDiaMoND}: challenges for the e-scientist in the e-health domain",
  author = "Lloyd, S. and Simpson, A.~C. and Gavaghan, D.~J. and Brady, J.~M.",
  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 = "Davies, J.~W. and Simpson, A.~C. and Martin, A.~P.",
  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",
  series = "Lecture Notes in Computer Science",
  volume = "3294",
}
@inproceedings{Stainforth_et_al_2004,
  title = "Security principles for public-resource modeling research",
  author = "Stainforth, D.~A. and Martin, A.~P. and Simpson, A.~C. and Christensen, C.~A. and Kettleborough, J. and Aina, T. and Allen, M.~R.",
  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_2004a,
  title = "Security aspects of grid-based digital mammography",
  author = "Slaymaker, M.~A. and Politou, E.~A. and Power, D.~J. and Lloyd, S. and Simpson, A.~C.",
  year = "2004",
  booktitle = "Proceedings of HealthGrid 2004, Claremont, France",
}
@inproceedings{Slaymaker_et_al_2004d,
  title = "e-health security issues: the {eDiaMoND} perspective",
  author = "Slaymaker, M.~A. and Politou, E.~A. and Power, D.~J. and Lloyd, S.",
  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 = "Lloyd, S. and Jirotka, M. and Simpson, A.~C. and Highnam, R.~P. and Gavaghan, D.~J. and Watson, D. and Brady, J.~M.",
  year = "2004",
  booktitle = "Proceedings of HealthGrid 2004, Claremont, France",
}
@inproceedings{Power_et_al_2004,
  title = "An Approach to the Storage of {DICOM} files for {Grid}-Enabled Medical Imaging Databases",
  author = "Power, D.~J. and Politou, E.~A. and Slaymaker, M.~A. and Harris, S. and Simpson, A.~C.",
  year = "2004",
  booktitle = "Proceedings of the 19th ACM Symposium on Applied Computing",
  pages = "272--279",
}
@inproceedings{ckl2004,
  title = "A Tool for Checking {ANSI-C} Programs",
  author = "Clarke, Edmund and Kroening, Daniel and Lerda, Flavio",
  year = "2004",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)",
  editor = "Kurt Jensen and Andreas Podelski",
  isbn = "3-540-21299-X",
  pages = "168--176",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2988",
}
@inproceedings{Simpson_and_Martin_2003,
  title = "Supplementing the understanding of {Z}: a formal approach to database design",
  author = "Simpson, A.~C. and Martin, A.~P.",
  year = "2003",
  booktitle = "Proceedings of the BCS Teaching Formal Methods workshop",
  publisher = "BCS",
}
@inproceedings{Simpson_et_al_2003,
  title = "On the supervision and assessment of part-time postgraduate software engineering projects",
  author = "Simpson, A~C. and Martin, A.~P. and Gibbons, J. and Davies, J.~W. and McKeever, S.~W.",
  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{Brady_et_al_2003b,
  title = "Grid computing for digital mammography",
  author = "Brady, J.~M. and Gavaghan, D.~J. and Highnam, R.~P. and Knox, A. and Lloyd, S. and Simpson, A.~C. and Watson, D.",
  year = "2003",
  booktitle = "Proceedings of the 2003 UK e-Science All Hands Meeting",
}
@inproceedings{Power_et_al_2003,
  title = "An approach to the storage of {DICOM} files for grid-enabled medical imaging databases",
  author = "Power, D.~J. and Politou, E.~A. and Slaymaker, M.~A. and Harris, S. and Simpson, A.~C.",
  year = "2003",
  booktitle = "Proceedings of the 2003 UK e-Science All Hands Meeting",
}
@inproceedings{Brady_et_al_2002,
  title = "{eDiamond}: Digital Mammography",
  author = "Brady, J.~M. and Gavaghan, D.~J. and Highnam, R.~P. and Mulet-Parada, M. and Simpson, A.~C.",
  year = "2002",
  booktitle = "Proceedings of the 2002 UK e-Science All Hands Conference",
}
@inproceedings{Stainforth_et_al_2002a,
  title = "Climate\emph{prediction}.net: design principles for public resource modelling research",
  author = "Stainforth, D. and Kettleborough, J. and Martin, A.~P. and Simpson, A.~C. and Gillis, R. and Akkas, A. and Gault, R. and Collins, M. and Gavaghan, D.~J. and Allen, M.",
  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 = "Stainforth, D. and Kettleborough, J.~A. and Martin, A.~P. and Simpson, A.~C. and Martin, A.~P. and Gillis, R. and Akkas, A. and Gault, R. and Collins, M. and Gavaghan, D.~J. and Allen, M.",
  year = "2002",
  booktitle = "Proceedings of the 2002 UK e-Science All Hands Meeting",
}