Software Engineering: Publications

A Tool for Checking ANSI−C Programs

Edmund Clarke‚ Daniel Kroening and Flavio Lerda

In Kurt Jensen and Andreas Podelski, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). Vol. 2988 of Lecture Notes in Computer Science. Pages 168–176. Springer. 2004.

Details about A Tool for Checking ANSI−C Programs | BibTeX data for A Tool for Checking ANSI−C Programs

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.

Details about A fully generic‚ graph−based approach to data transformation discovery | BibTeX data for A fully generic‚ graph−based approach to data transformation discovery

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.

Details about A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries | BibTeX data for A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries

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.

Details about A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries | BibTeX data for A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries

A metadata approach for clinical data management in translational genomics studies in breast cancer

James D Brenton Irene Papatheodorou Charles Crichton Lorna Morris Peter Maccallum Molecular Taxonomy of Breast Cancer International Consortium METABRIC Group Jim Davies and Carlos Caldas

Vol. 2. 2009.

Details about A metadata approach for clinical data management in translational genomics studies in breast cancer | BibTeX data for A metadata approach for clinical data management in translational genomics studies in breast cancer | DOI (10.1186/1755-8794-2-66)

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.

Details about A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care | BibTeX data for A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care

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.

Details about A secure wrapper for OGSA−DAI | BibTeX data for A secure wrapper for OGSA−DAI

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.

Details about A vision for secure grid−enabled healthcare | BibTeX data for A vision for secure grid−enabled healthcare

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.

Details about Accessing and aggregating legacy data sources for healthcare research‚ delivery and training | BibTeX data for Accessing and aggregating legacy data sources for healthcare research‚ delivery and training

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.

Details about An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases | BibTeX data for An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases

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.

Details about An approach to the storage of DICOM files for grid−enabled medical imaging databases | BibTeX data for An approach to the storage of DICOM files for grid−enabled medical imaging databases

Basic Strategies for Molecular Docking with Scoring Functions

Gwyn Skone‚ Stephen Cameron and Irina Voiculescu

In German Conference on Bioinformatics. September, 2008.

Details about Basic Strategies for Molecular Docking with Scoring Functions | BibTeX data for Basic Strategies for Molecular Docking with Scoring Functions

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.

Details about Climateprediction.net: design principles for public resource modelling research | BibTeX data for Climateprediction.net: design principles for public resource modelling research

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.

Details about Collaboration and trust in healthcare innovation: the eDiaMoND case study | BibTeX data for Collaboration and trust in healthcare innovation: the eDiaMoND case study

Coordinated Search with a Swarm of UAVs

Sonia Waharte‚ Niki Trigoni and Simon J. Julier

In Sixth Annual IEEE Communications Society Conference on Sensor‚ Mesh and Ad Hoc Communications and Networks (SECON). 2009.

Details about Coordinated Search with a Swarm of UAVs | BibTeX data for Coordinated Search with a Swarm of UAVs | Download  (pdf) of Coordinated Search with a Swarm of UAVs

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.

Details about Delegation in a distributed healthcare context: a survey of current approaches | BibTeX data for Delegation in a distributed healthcare context: a survey of current approaches

Demo abstract : Dynamic node placement for multi−hop localization in cluttered environments

Muzammil Hussain and Niki Trigoni

In 8th Annual IEEE Communications Society Conference on Sensor‚ Mesh and Ad Hoc Communications and Networks (SECON). 2011.

Details about Demo abstract : Dynamic node placement for multi−hop localization in cluttered environments | BibTeX data for Demo abstract : Dynamic node placement for multi−hop localization in cluttered environments | Download  (pdf) of Demo abstract : Dynamic node placement for multi−hop localization in cluttered environments

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.

Details about Designing for e−health: recurring scenarios in developing grid−based medical imaging systems | BibTeX data for Designing for e−health: recurring scenarios in developing grid−based medical imaging systems

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.

Details about Developing collaborative technology for neuro−science | BibTeX data for Developing collaborative technology for neuro−science

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.

Details about Digital mammography: a world without film? | BibTeX data for Digital mammography: a world without film?

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.

Details about Digital mammography: a world without film? | BibTeX data for Digital mammography: a world without film?

Engineering Agile Big−Data Systems

Kevin Feeney‚ Jim Davies‚ James Welch‚ Sebastian Hellmann‚ Christian Dirschl‚ Andreas Koller‚ Pieter Francois and Arkadiusz Marciniak

2018.

Details about Engineering Agile Big−Data Systems | BibTeX data for Engineering Agile Big−Data Systems | Link to Engineering Agile Big−Data Systems

Engineering Attestable Services (short paper)

John Lyle and Andrew Martin

In Ahmad−Reza Acquisti Alessandro; Smith Sean W.; Sadeghi, editor, Proceedings of the 3rd International Conference on Trust and Trustworthy Computing. Pages 257–264. Springer. June, 2010.

Details about Engineering Attestable Services (short paper) | BibTeX data for Engineering Attestable Services (short paper) | Download  (pdf) of Engineering Attestable Services (short paper) | DOI (10.1007/978-3-642-13869-0) | Link to Engineering Attestable Services (short paper)

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.

Details about Exploitation of switched lightpaths for e−health | BibTeX data for Exploitation of switched lightpaths for e−health

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.

Details about Exploitation of switched lightpaths for e−health: Constraints and challenges | BibTeX data for Exploitation of switched lightpaths for e−health: Constraints and challenges

Form Follows Function: Model−Driven Engineering for Clinical Trials

Jim Davies‚ Jeremy Gibbons‚ Radu Calinescu‚ Charles Crichton‚ Steve Harris and Andrew Tsui

In International Symposium on Foundations of Health Information Engineering and Systems. Vol. 7151 of LNCS. Pages 21−38. Springer. August, 2011.

Details about Form Follows Function: Model−Driven Engineering for Clinical Trials | BibTeX data for Form Follows Function: Model−Driven Engineering for Clinical Trials | DOI (10.1007/978-3-642-32355-3_2) | Download (pdf) of Form Follows Function: Model−Driven Engineering for Clinical Trials

Formal model−driven engineering of critical information systems

Jim Davies‚ David Milward‚ Chen−Wei Wang and James Welch

In Science of Computer Programming. Vol. 103. Pages 88 − 113. 2015.

Details about Formal model−driven engineering of critical information systems | BibTeX data for Formal model−driven engineering of critical information systems | DOI (10.1016/j.scico.2014.11.004)

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.

Details about Grid computing for digital mammography | BibTeX data for Grid computing for digital mammography

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.

Details about Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling | BibTeX data for Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling

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.

Details about Integrative Biology: exploiting e−Science to combat fatal diseases | BibTeX data for Integrative Biology: exploiting e−Science to combat fatal diseases

Logic‚ damned logic‚ and statistics

A. C. Simpson

In Proceedings of Teaching Formal Methods 2006. 2006.

Details about Logic‚ damned logic‚ and statistics | BibTeX data for Logic‚ damned logic‚ and statistics

Machine Learning and Software Engineering in Health Informatics

David A. Clifton‚ Jeremy Gibbons‚ Jim Davies and Lionel Tarassenko

May, 2012.

Details about Machine Learning and Software Engineering in Health Informatics | BibTeX data for Machine Learning and Software Engineering in Health Informatics | DOI (10.1109/RAISE.2012.6227968) | Download (pdf) of Machine Learning and Software Engineering in Health Informatics

Managing application whitelists in trusted distributed systems

Jun Ho Huh‚ John Lyle‚ Cornelius Namiluko and Andrew Martin

In Future Generation Computer Systems. Vol. In Press‚ Accepted Manuscript. 2010.

Details about Managing application whitelists in trusted distributed systems | BibTeX data for Managing application whitelists in trusted distributed systems | DOI (DOI: 10.1016/j.future.2010.08.014) | Link to Managing application whitelists in trusted distributed systems

Managing collaborative expertise: issues and challenges

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

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

Details about Managing collaborative expertise: issues and challenges | BibTeX data for Managing collaborative expertise: issues and challenges

Model−Driven Support for a Vaccine Study in Kathmandu

Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Jane Metz‚ Andrew J. Pollard and Matthew Snape

In Microsoft eScience Workshop. October, 2009.

Details about Model−Driven Support for a Vaccine Study in Kathmandu | BibTeX data for Model−Driven Support for a Vaccine Study in Kathmandu | Download (pdf) of Model−Driven Support for a Vaccine Study in Kathmandu

Model−driven Engineering of Information Systems: 10 years and 1000 versions

Jim Davies‚ Jeremy Gibbons‚ James Welch and Edward Crichton

In Science of Computer Programming. Vol. 89B. Pages 88−104. September, 2014.

Details about Model−driven Engineering of Information Systems: 10 years and 1000 versions | BibTeX data for Model−driven Engineering of Information Systems: 10 years and 1000 versions | DOI (10.1016/j.scico.2013.02.002)

Model−driven architectural risk analysis using architectural and contextualised attack patterns

Shamal Faily‚ John Lyle‚ Cornelius Namiluko‚ Andrea Atzeni and Cesare Cameroni

In Proceedings of the Workshop on Model−Driven Security. Pages 3:1–3:6. ACM. 2012.

Details about Model−driven architectural risk analysis using architectural and contextualised attack patterns | BibTeX data for Model−driven architectural risk analysis using architectural and contextualised attack patterns | Download  (pdf) of Model−driven architectural risk analysis using architectural and contextualised attack patterns

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.

Details about 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 | BibTeX data for 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

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.

Details about On deducibility and anonymisation in medical databases | BibTeX data for On deducibility and anonymisation in medical databases

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.

Details about On formal descriptions of synchronization requirements in multimedia systems | BibTeX data for On formal descriptions of synchronization requirements in multimedia systems

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.

Details about On formalising and normalising role−based access control systems | BibTeX data for On formalising and normalising role−based access control systems | DOI (doi:10.1093/comjnl/bxn016)

On the Feasibility of Remote Attestation for Web Services

John Lyle and Andrew Martin

In SecureCom09: Proceedings of the International Symposium on Secure Computing. Pages 283−288. IEEE. 2009.

Details about On the Feasibility of Remote Attestation for Web Services | BibTeX data for On the Feasibility of Remote Attestation for Web Services | Download PublicationFile of On the Feasibility of Remote Attestation for Web Services | Download feasibility-ieee.pdf of On the Feasibility of Remote Attestation for Web Services | Link to On the Feasibility of Remote Attestation for Web Services

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.

Details about On the development of secure service−oriented architectures to support medical research | BibTeX data for On the development of secure service−oriented architectures to support medical research

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.

Details about On the facilitation of fine−grained access to distributed healthcare data | BibTeX data for On the facilitation of fine−grained access to distributed healthcare data

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.

Details about On the need for user−defined fine−grained access control policies for social networking applications | BibTeX data for On the need for user−defined fine−grained access control policies for social networking applications

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.

Details about On the secure sharing of legacy data | BibTeX data for On the secure sharing of legacy data

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.

Details about On the supervision and assessment of part−time postgraduate software engineering projects | BibTeX data for On the supervision and assessment of part−time postgraduate software engineering projects

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.

Details about On tracker attacks in health grids | BibTeX data for On tracker attacks in health grids

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.

Details about On XACML‚ role−based access control‚ and health grids | BibTeX data for On XACML‚ role−based access control‚ and health grids

Predicate Abstraction of ANSI–C Programs using SAT

Edmund Clarke‚ Daniel Kroening‚ Natasha Sharygina and Karen Yorav

In Formal Methods in System Design (FMSD). Vol. 25. Pages 105–127. 2004.

Details about Predicate Abstraction of ANSI–C Programs using SAT | BibTeX data for Predicate Abstraction of ANSI–C Programs using SAT

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.

Details about Protecting Sensitive Patient Data via Query Modification | BibTeX data for Protecting Sensitive Patient Data via Query Modification

Provenance as a Security Control

Andrew Martin‚ John Lyle and Cornelius Namiluko

In Proceedings of TaPP'12: the 4th USENIX Workshop on the Theory and Practice of Provenance. USENIX. 2012.

Details about Provenance as a Security Control | BibTeX data for Provenance as a Security Control | Link to Provenance as a Security Control

Requirements Sensemaking using Concept Maps

Shamal Faily‚ John Lyle‚ Andre Paul‚ Andrea Atzeni‚ Dieter Blomme‚ Heiko Desruelle and Krishna Bangalore

In HCSE'2012: Proceedings of the 4th International Conference on Human−Centered Software Engineering. Pages 217–232. Springer. 2012.

Details about Requirements Sensemaking using Concept Maps | BibTeX data for Requirements Sensemaking using Concept Maps | Download  (pdf) of Requirements Sensemaking using Concept Maps

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.

Details about Securing web services for deployment in health grids | BibTeX data for Securing web services for deployment in health grids

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.

Details about Security Aspects of Grid−enabled Digital Mammography | BibTeX data for Security Aspects of Grid−enabled Digital Mammography

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.

Details about Security aspects of grid−based digital mammography | BibTeX data for Security aspects of grid−based digital mammography

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.

Details about Security principles for public−resource modeling research | BibTeX data for Security principles for public−resource modeling research

Security risk assessment in Internet of Things systems

Jason R. C. Nurse; Sadie Creese; David De Roure

In IEEE IT Professional (IT Pro). Vol. 19. No. 5. Pages 20–26. 2017.

Details about Security risk assessment in Internet of Things systems | BibTeX data for Security risk assessment in Internet of Things systems | Download  (pdf) of Security risk assessment in Internet of Things systems | DOI (10.1109/MITP.2017.3680959) | Link to Security risk assessment in Internet of Things systems

Semantic Frameworks: Meanings in the Architecture

Jim Davies and Jeremy Gibbons

In Distributed Computing and Internet Technology. Vol. 5966 of LNCS. Pages 40−54. 2010.

Details about Semantic Frameworks: Meanings in the Architecture | BibTeX data for Semantic Frameworks: Meanings in the Architecture | DOI (10.1007/978-3-642-11659-9_4)

Semantic Technologies in Electronic Government

Steve Harris‚ Jeremy Gibbons‚ Jim Davies‚ Andrew Tsui and Charles Crichton

In Tomasz Janowski and Teresa Pardo, editors, ICEGOV 2008. Pages 45 – 51. Cairo. December, 2008. ACM Press.

Details about Semantic Technologies in Electronic Government | BibTeX data for Semantic Technologies in Electronic Government | DOI (10.1145/1509096.1509108) | Download (pdf) of Semantic Technologies in Electronic Government

Software Project Management for Combined Software and Data Engineering

Seyyed M. Shah‚ James Welch‚ Jim Davies and Jeremy Gibbons

In Zaigham Mahmood, editor, Software Project Management for Distributed Computing: Life−Cycle Methods for Developing Scalable and Reliable Tools. Pages 367−385. Springer International Publishing. 2017.

Details about Software Project Management for Combined Software and Data Engineering | BibTeX data for Software Project Management for Combined Software and Data Engineering | DOI (10.1007/978-3-319-54325-3_15) | Download (pdf) of Software Project Management for Combined Software and Data Engineering

Stratagems for Effective Function Evaluation in Computational Chemistry

G.S. Skone

PhD Thesis 2010.

Details about Stratagems for Effective Function Evaluation in Computational Chemistry | BibTeX data for Stratagems for Effective Function Evaluation in Computational Chemistry | Download  (pdf) of Stratagems for Effective Function Evaluation in Computational Chemistry

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.

Details about Supplementing the understanding of Z: a formal approach to database design | BibTeX data for Supplementing the understanding of Z: a formal approach to database design

Teaching Formal Methods

Details about Teaching Formal Methods | BibTeX data for Teaching Formal Methods | DOI (10.1007/978-3-642-04912-5) | Download (pdf) of Teaching Formal Methods

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.

Details about Teaching Formal Methods in Context | BibTeX data for Teaching Formal Methods in Context

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.

Details about The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography | BibTeX data for The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography

The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials

Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Charles Crichton

In Science of Computer Programming. Vol. 89B. Pages 126−143. September, 2014.

Details about The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials | BibTeX data for The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials | DOI (10.1016/j.scico.2013.02.010) | Download (pdf) of The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials

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.

Details about The Integrative Biology Infrastructure | BibTeX data for The Integrative Biology Infrastructure

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.

Details about The challenges of developing a collaborative data and compute grid for Neurosciences | BibTeX data for The challenges of developing a collaborative data and compute grid for Neurosciences

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.

Details about The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training | BibTeX data for The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training

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.

Details about The utilisation of clinical data in research health grids: eDiaMoND as a case study | BibTeX data for The utilisation of clinical data in research health grids: eDiaMoND as a case study

ToARist: An Augmented Reality Tourism App created through User−Centred Design

Meredydd Williams‚ Kelvin Yao and Jason R. C. Nurse

In 31st British Human Computer Interaction Conference (BHCI). BCS. 2017.

Details about ToARist: An Augmented Reality Tourism App created through User−Centred Design | BibTeX data for ToARist: An Augmented Reality Tourism App created through User−Centred Design | Download  (pdf) of ToARist: An Augmented Reality Tourism App created through User−Centred Design | Download (pdf) of ToARist: An Augmented Reality Tourism App created through User−Centred Design

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.

Details about Towards a Grid Infrastructure to support integrative approaches to biological research | BibTeX data for Towards a Grid Infrastructure to support integrative approaches to biological research

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.

Details about Towards a fully generic theory of data | BibTeX data for Towards a fully generic theory of data

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.

Details about Towards build−time interoperability of workflow definition languages | BibTeX data for Towards build−time interoperability of workflow definition languages

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.

Details about Towards fine−grained access control in health grids | BibTeX data for Towards fine−grained access control in health grids

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.

Details about Towards secure Grid−enabled healthcare | BibTeX data for Towards secure Grid−enabled healthcare

Trustable Remote Verification of Web Services

John Lyle

In Liqun Chen‚ Chris J. Mitchell and Andrew Martin, editors, TRUST. Pages 153−168. Springer. April, 2009.

Details about Trustable Remote Verification of Web Services | BibTeX data for Trustable Remote Verification of Web Services | Download  (pdf) of Trustable Remote Verification of Web Services | Link to Trustable Remote Verification of Web Services

Trusted Computing and Provenance: Better Together

John Lyle and Andrew Martin

In Proceedings of the 2nd Workshop on the Theory and Practice of Provenance. Usenix. 2010.

Details about Trusted Computing and Provenance: Better Together | BibTeX data for Trusted Computing and Provenance: Better Together | Download  (pdf) of Trusted Computing and Provenance: Better Together | Download (pdf) of Trusted Computing and Provenance: Better Together

Trustworthy Log Reconciliation for Distributed Virtual Organisations

Jun Ho Huh and John Lyle

In Liqun Chen‚ Chris J. Mitchell and Andrew Martin, editors, Trust '09: Proceedings of the 2nd International Conference on Trusted Computing. Pages 169−182. Berlin‚ Heidelberg. April, 2009. Springer−Verlag.

Details about Trustworthy Log Reconciliation for Distributed Virtual Organisations | BibTeX data for Trustworthy Log Reconciliation for Distributed Virtual Organisations | DOI (10.1007/978-3-642-00587-9_11)

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.

Details about Using CSP to model the synchronization process of variable length codes | BibTeX data for Using CSP to model the synchronization process of variable length codes

Verification of Boolean Programs with Unbounded Thread Creation

Byron Cook‚ Daniel Kroening and Natasha Sharygina

In Theoretical Computer Science (TCS). Vol. 388. Pages 227–242. 2007.

Details about Verification of Boolean Programs with Unbounded Thread Creation | BibTeX data for Verification of Boolean Programs with Unbounded Thread Creation

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.

Details about climateprediction.com: security and design planning | BibTeX data for climateprediction.com: security and design planning

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.

Details about e−health security issues: the eDiaMoND perspective | BibTeX data for e−health security issues: the eDiaMoND perspective

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.

Details about GIMI: Generic Infrastructure for Medical Informatics | BibTeX data for GIMI: Generic Infrastructure for Medical Informatics

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.

Details about GIMI: The past‚ the present‚ and the future | BibTeX data for GIMI: The past‚ the present‚ and the future

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.

Details about Integrative Biology: exploiting e−Science to combat fatal diseases | BibTeX data for Integrative Biology: exploiting e−Science to combat fatal diseases

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.

Details about NeuroGrid: collaborative neuroscience via grid computing | BibTeX data for NeuroGrid: collaborative neuroscience via grid computing

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.

Details about NeuroGrid: using grid technology to advance neuroscience | BibTeX data for NeuroGrid: using grid technology to advance neuroscience

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.

Details about VRE for the Integrative Biology research consortium | BibTeX data for VRE for the Integrative Biology research consortium

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.

Details about eDiaMoND: challenges for the e−scientist in the e−health domain | BibTeX data for eDiaMoND: challenges for the e−scientist in the e−health domain

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.

Details about eDiaMoND: risk analysis | BibTeX data for eDiaMoND: risk analysis

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.

Details about eDiaMoND: the UK's national digital mammography database | BibTeX data for eDiaMoND: the UK's national digital mammography database

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.

Details about eDiamond: Digital Mammography | BibTeX data for eDiamond: Digital Mammography