Dr Siobhán North

About

Dr Siobhán North is a Senior Lecturer in Computer Science. She has a first degree in Mathematics and a PhD in Computer Science from the University of Sheffield. As well as her teaching role she is the Faculty of Engineering's Assistant Director of Education (Quality Assurance).

Selected publications

• Eaglestone B, North S & Poulovassilis A (2002) Foreword.
• Petrie J, Loban A, Turton E, Derebecka J, North S, Herbert E & Hind D (2024) “Reality is frequently inaccurate” A case study examining the whens and whys of post-live database changes in a UK clinical trials unit *Douglas Adams. Contemporary Clinical Trials, 142. View this article in WRRO
• Taylor R, Foster M & North S (2022) An automated framework for verifying or refuting trace properties of extended finite state machines. International Journal on Software Tools for Technology Transfer, 24(6), 949-972. View this article in WRRO
• Alsubai S & North S (2020) Solving the Intractable Problem: Optimal Performance for Worst Case Scenarios in XML Twig Pattern Matching. IEEE Access, 8, 192569-192586.
• Farooqi N & North S (2012) Evaluation of practical trust based access control for XML databases. 2012 International Conference for Internet Technology and Secured Transactions Icitst 2012, 336-340.
• Farooqi N & North S (2012) Logging in XML databases: Xlog file for trust based access control. World Congress on Internet Security Worldcis 2012, 174-175.
• Al-Badawi M, Ramadhan HA, North S & Eaglestorne B (2012) A performance evaluation of a new bitmap-based XML processing approach over RDBMS. International Journal of Web Engineering and Technology, 7(2), 143-172.
• Farooqi N & North S (2011) Trust-based access control for XML databases. 2011 International Conference for Internet Technology and Secured Transactions Icitst 2011, 764-765.
• Al-Badawi M, North S & Eaglestone B (2010) The 3D XML benchmark. Webist 2010 Proceedings of the 6th International Conference on Web Information Systems and Technology, 1, 13-20.
• Derrick J, North S & Simons AJH (2009) Z2SAL: a translation-based model checker for Z. Formal Aspects of Computing, 1-29.