Andrew Simpson : Publications
Books
-
[1]
Discrete Mathematics by Example
A. C. Simpson
McGraw−Hill. 2002.
Details about Discrete Mathematics by Example | BibTeX data for Discrete Mathematics by Example
Book chapters
-
[1]
Towards a formal framework for workflow interoperability
S. D. Induruwa Fernando and A. C. Simpson
In Proceedings of WS−FM (Web Services and Formal Methods) 2008. Vol. 5387 of Lecture Notes in Computer Science. Pages 158–174. Springer. 2008.
Details about Towards a formal framework for workflow interoperability | BibTeX data for Towards a formal framework for workflow interoperability
-
[2]
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
-
[3]
eDiaMoND: A Grid−enabled federated database of annotated mammograms
J. M. Brady‚ D. J. Gavaghan‚ A. C. Simpson‚ M. Mulet−Parada and R. P. Highnam
In F. Berman‚ G. C. Fox and A. J. G. Hey, editors, Grid Computing: Making the Global Infrastructure a Reality. Pages 923–943. Wiley Series. 2003.
Details about eDiaMoND: A Grid−enabled federated database of annotated mammograms | BibTeX data for eDiaMoND: A Grid−enabled federated database of annotated mammograms
-
[4]
Safety through Security
A. C. Simpson‚ J. C. P. Woodcock and J. W. Davies
In Proceedings of the 9th International Workshop on Software Specification and Design. Pages 18–24. IEEE Computer Society Press. 1998.
Details about Safety through Security | BibTeX data for Safety through Security
-
[5]
The Mechanical Verification of Solid State Interlocking Geographic Data
A. C. Simpson‚ J. C. P. Woodcock and J. W. Davies
In L. Groves and S. Reeves, editors, Proceedings of Formal Methods Pacific‚ Wellington‚ New Zealand‚ 9–11 July. Pages 223–242. Springer. 1997.
Details about The Mechanical Verification of Solid State Interlocking Geographic Data | BibTeX data for The Mechanical Verification of Solid State Interlocking Geographic Data
-
[6]
The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
A. C. Simpson
In Proceedings of the 1995 IEE Colloquium on Communication Networks in Transportation. IEE. 1995.
Details about The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System | BibTeX data for The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
-
[7]
A Formal Specification of an Automatic Train Protection System
A. C. Simpson
In M. Naftalin‚ T. Denvir and M. Bertran, editors, Proceedings of the 2nd International Symposium of Formal Methods Europe (FME 1994). Vol. 873 of Lecture Notes in Computer Science. Pages 602–617. Springer. 1994.
Details about A Formal Specification of an Automatic Train Protection System | BibTeX data for A Formal Specification of an Automatic Train Protection System
Journal papers
-
[1]
A model−based approach to support privacy compliance
Majed Alshammari and Andrew Simpson
In Information and Computer Security. 2018.
Details about A model−based approach to support privacy compliance | BibTeX data for A model−based approach to support privacy compliance
-
[2]
LEFT — a web−based tool for the remote measurement and estimation of ecological value across global landscape
Long P. R.‚ Benz D.‚ M. Macias−Fauria‚ Seddon A. W. R.‚ Holland P. W. A.‚ Martin A. C.‚ R. Hagemann‚ T. K. Frost‚ A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker and K. J. Willis
In Methods in Ecology and Evolution. 2017.
Details about LEFT — a web−based tool for the remote measurement and estimation of ecological value across global landscape | BibTeX data for LEFT — a web−based tool for the remote measurement and estimation of ecological value across global landscape
-
[3]
Risk and the Small−Scale Cyber Security Decision Making Dialogue — a UK Case Study
Emma Osborn and Andrew Simpson
2017.
Details about Risk and the Small−Scale Cyber Security Decision Making Dialogue — a UK Case Study | BibTeX data for Risk and the Small−Scale Cyber Security Decision Making Dialogue — a UK Case Study
-
[4]
Policy measures and cyber insurance: A framework
Daniel Woods and Andrew Simpson
In Journal of Cyber Policy. 2017.
Details about Policy measures and cyber insurance: A framework | BibTeX data for Policy measures and cyber insurance: A framework
-
[5]
AdSelector: A privacy−preserving advertisement selection mechanism for mobile devices
Y. Liu and A. C. Simpson
In The Computer Journal‚ Volume 60‚ Issue 8‚ Pages 1251–1270. 2017.
Details about AdSelector: A privacy−preserving advertisement selection mechanism for mobile devices | BibTeX data for AdSelector: A privacy−preserving advertisement selection mechanism for mobile devices
-
[6]
Policy‚ Statistics‚ and Questions: Reflections on UK Cyber Security Disclosures
Chad Heitzenrater and Andrew Simpson
In Journal of Cyber Security. 2016.
Details about Policy‚ Statistics‚ and Questions: Reflections on UK Cyber Security Disclosures | BibTeX data for Policy‚ Statistics‚ and Questions: Reflections on UK Cyber Security Disclosures | DOI (10.1093/cybsec/tyw008)
-
[7]
Privacy−preserving targeted mobile advertising: Requirements‚ design‚ and a prototype implementation
Y. Liu and A. C. Simpson
In Software: Practice and Experience. Vol. 46. No. 12. Pages 1657−1684. 2016.
Details about Privacy−preserving targeted mobile advertising: Requirements‚ design‚ and a prototype implementation | BibTeX data for Privacy−preserving targeted mobile advertising: Requirements‚ design‚ and a prototype implementation
-
[8]
On safety and security requirements in emerging ubiquitous computing models
Emma Osborn and Andrew Simpson
In Accepted for publication in The Computer Journal. 2016.
Details about On safety and security requirements in emerging ubiquitous computing models | BibTeX data for On safety and security requirements in emerging ubiquitous computing models
-
[9]
On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks
J. Jacobs and A. C. Simpson
In International Journal on Software and Systems Modeling. 2016.
Details about On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks | BibTeX data for On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks
-
[10]
Formal Relational Database Design: An Exercise in Extending the Formal Template Language
N. Wu and A. C. Simpson
In Formal Aspects of Computing. Vol. 26. No. 6. Pages 1231–1269. 2014.
Details about Formal Relational Database Design: An Exercise in Extending the Formal Template Language | BibTeX data for Formal Relational Database Design: An Exercise in Extending the Formal Template Language
-
[11]
A Process Algebraic Approach to Decomposition of Communicating SysML Blocks
J. Jacobs and A. C. Simpson
In International Journal of Modeling and Optimization. Vol. 3. No. 2. Pages 153–157. 2013.
Details about A Process Algebraic Approach to Decomposition of Communicating SysML Blocks | BibTeX data for A Process Algebraic Approach to Decomposition of Communicating SysML Blocks | Download (pdf) of A Process Algebraic Approach to Decomposition of Communicating SysML Blocks
-
[12]
On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data
Mark Slaymaker‚ James Osborne‚ Andrew Simpson and David Gavaghan
In Systems and Synthetic Biology. Vol. 6. No. 1–2. Pages 35–49. 2012.
Details about On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data | BibTeX data for On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data | DOI (10.1007/s11693-012-9095-x)
-
[13]
On privacy and public data: A study of data.gov.uk
A. C. Simpson
In Journal of Privacy & Confidentiality. Vol. 3. No. 1. Pages 51–65. 2011.
Details about On privacy and public data: A study of data.gov.uk | BibTeX data for On privacy and public data: A study of data.gov.uk
-
[14]
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
-
[15]
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)
-
[16]
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
-
[17]
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
-
[18]
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
-
[19]
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
-
[20]
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
-
[21]
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
-
[22]
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
-
[23]
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
-
[24]
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
-
[25]
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
-
[26]
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
-
[27]
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?
-
[28]
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
Conference papers
-
[1]
Characterising 0−Day Exploit Brokers
Matthias Dellago‚ Daniel Woods and Andrew Simpson
In Proceedings of WEIS 2022. 2022.
Details about Characterising 0−Day Exploit Brokers | BibTeX data for Characterising 0−Day Exploit Brokers
-
[2]
Non−obvious Costs of Cyber Security Breaches: Changes in Systematic Risk
Dennis Malliouris and Andrew Simpson
In WEIS 2020. 2020.
Details about Non−obvious Costs of Cyber Security Breaches: Changes in Systematic Risk | BibTeX data for Non−obvious Costs of Cyber Security Breaches: Changes in Systematic Risk
-
[3]
An Empirical Study of Bug Bounty Programs
Thomas Walshe and Andrew Simpson
In Proceedings of the 2nd IEEE Workshop on Intelligent Bug Fixing (IBF 2020). 2020.
Details about An Empirical Study of Bug Bounty Programs | BibTeX data for An Empirical Study of Bug Bounty Programs
-
[4]
Connected Vehicles: A Privacy Analysis
Mark Quinlan‚ Jun Zhao and Andrew Simpson
In Proceedings of the 8th International Symposium on Security and Privacy on Internet of Things (SPIoT 2018). 2019.
Details about Connected Vehicles: A Privacy Analysis | BibTeX data for Connected Vehicles: A Privacy Analysis | Link to Connected Vehicles: A Privacy Analysis
-
[5]
Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling−focussed approach
Andrew Simpson
In Proceedings of FMTea 2019. 2019.
Details about Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling−focussed approach | BibTeX data for Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling−focussed approach
-
[6]
On the trade−off between privacy and utility in mobile services: A qualitative study
Yang Liu and Andrew Simpson
In Proceedings of the 1st Workshop on Security‚ Privacy‚ Organizations‚ and Systems Engineering (SPOSE 2019). 2019.
Details about On the trade−off between privacy and utility in mobile services: A qualitative study | BibTeX data for On the trade−off between privacy and utility in mobile services: A qualitative study
-
[7]
Cyber Threat Information Sharing: Perceived Benefits and Barriers
Adam Zibak and Andrew Simpson
In Proceedings of CyberTim 2019. 2019.
Details about Cyber Threat Information Sharing: Perceived Benefits and Barriers | BibTeX data for Cyber Threat Information Sharing: Perceived Benefits and Barriers
-
[8]
Towards Better Understanding of Cyber Security Information Sharing
A. Zibak and A. C. Simpson
In CyberSA 2019. 2019.
Details about Towards Better Understanding of Cyber Security Information Sharing | BibTeX data for Towards Better Understanding of Cyber Security Information Sharing
-
[9]
The stock market impact of information security investments: The case of security standards
D. Malliouris and A. C. Simpson
In WEIS 2019. 2019.
Details about The stock market impact of information security investments: The case of security standards | BibTeX data for The stock market impact of information security investments: The case of security standards
-
[10]
The County Fair Cyber Loss Distribution: Drawing Inferences from Insurance Prices
D. Woods‚ T. Moore and A. C. Simpson
In WEIS 2019. 2019.
Details about The County Fair Cyber Loss Distribution: Drawing Inferences from Insurance Prices | BibTeX data for The County Fair Cyber Loss Distribution: Drawing Inferences from Insurance Prices
-
[11]
Privacy Architectural Strategies: An Approach for Achieving Various Levels of Privacy Protection
Majed Alshammari and Andrew Simpson
In Proceedings of the 2018 Workshop on Privacy in the Electronic Society. 2018.
Details about Privacy Architectural Strategies: An Approach for Achieving Various Levels of Privacy Protection | BibTeX data for Privacy Architectural Strategies: An Approach for Achieving Various Levels of Privacy Protection
-
[12]
Cyber−warranties as a quality signal for information security products
Daniel Woods and Andrew Simpson
In Proceedings of GameSec 2018. 2018.
Details about Cyber−warranties as a quality signal for information security products | BibTeX data for Cyber−warranties as a quality signal for information security products
-
[13]
Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Analysis
Majed Alshammari and Andrew Simpson
In Proceedings of the 13th DPM International Workshop on Data Privacy Management (DPM 2018). 2018.
Details about Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Analysis | BibTeX data for Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Analysis
-
[14]
Rethinking the Proposition of Privacy Engineering
Aaron Ceross and Andrew Simpson
In Proceedings of NSPW 2018. 2018.
Details about Rethinking the Proposition of Privacy Engineering | BibTeX data for Rethinking the Proposition of Privacy Engineering
-
[15]
Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Assessment
M. Alshammari and A. C. Simpson
In Proceedings of TrustBus 2018. 2018.
Details about Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Assessment | BibTeX data for Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Assessment
-
[16]
Towards Integrating Insurance Data into Information Security Investment Decision Making
Daniel Woods and Andrew Simpson
In Proceedings of the 2018 International Workshop on Cyber Insurance and Risk Controls. 2018.
Details about Towards Integrating Insurance Data into Information Security Investment Decision Making | BibTeX data for Towards Integrating Insurance Data into Information Security Investment Decision Making
-
[17]
Can We Evaluate the Impact of Cyber Security Information Sharing?
Adam Zibak and Andrew Simpson
In Proceedings of Cyber SA 2018. 2018.
Details about Can We Evaluate the Impact of Cyber Security Information Sharing? | BibTeX data for Can We Evaluate the Impact of Cyber Security Information Sharing?
-
[18]
Monte Carlo methods to investigate how aggregated cyber insurance claims data impacts security investments
Daniel Woods and Andrew Simpson
In Proceedings of the 17th Annual Workshop on the Economics of Information Security (WEIS 2018). 2018.
Details about Monte Carlo methods to investigate how aggregated cyber insurance claims data impacts security investments | BibTeX data for Monte Carlo methods to investigate how aggregated cyber insurance claims data impacts security investments
-
[19]