Dr Siobhán North
Recent Publications


Taylor, Ramsay; Foster, Michael; North, Siobhán

"An Automated Framework for Verifying or Refuting Trace Properties of Extended Finite State Machines"

To appear in International Journal on Software Tools for Technology Transfer (Accepted 23 June 2022)


Alsubai, Shtwai; North, Siobhán

"Solving the Intractable Problem: Optimal Performance for Worst Case Scenarios in XML Twig Pattern Matching"

IEEE Access, vol. 8, pp. 192569-192586, 2020, doi: 10.1109/ACCESS.2020.3033008.


Michael Foster, Achim D Brucker, Ramsay G Taylor,  Siobhán North and John  Derrick

"Incorporating Data into EFSM Inference"

International Conference on Software Engineering and Formal Methods 2019 pp257-272 Springer ISBN: 978-3-030-30446-1


B Clegg, S North, P McMinn, G Fraser

"Simulating student mistakes to evaluate the fairness of automated grading"

International Conference on Software Engineering: Software Engineering Education and Training 2019 pp121-125 IEEE Press DOI: 10.1109/ICSE-SEET.2019.00021


Alsubai, Shtwai; North, Siobhán;

"TwigStackPrime: A Novel Twig Join Algorithm Based on Prime Numbers"

Lecture Notes in Business Information Processing, vol 322. 2018 Springer pp1--20 ISBN : 978-3-319-93527-0


Al-khazraji, Samer; North, Siobhán;

"A relevance comparison between interval and prefix labelling schemes"

2017 International Conference on Engineering and Technology (ICET) 2017 IEEE


Al-khazraji, Samer; North, Siobhán;

"The emergence computation of overflow in dynamic XML tree based on prefix and interval labelling schemes"

2017 International Conference on Engineering and Technology (ICET) 2017 IEEE


Shtwai Alsubai and Siobhán North

"A Prime Number Approach to Matching an XML Twig Pattern including Parent-Child Edges"

Proceedings of the 13th International Conference on Web Information Systems and Technologies - (Volume 1) Porto, Portugal, 2017. pp 204-211 ISBN: 978-989-758-246-2 DOI: 10.5220/0006225602040211


Hanaa Al Zadjali and Siobhán North

"XML Labels Compression using Prefix-encodings"

Proceedings of the 12th International Conference on Web Information Systems and Technologies - (Volume 1) Rome, Italy, 2016. pp 69-75 ISBN: 978-989-758-186-1 DOI:10.5220/0005755500690075


Norah Farooqi and Siobhán North

"Time cost evaluation of trust based access control for XML databases"

Proceedings 2014 9th International Conference for Internet Technology and Secured Transactions, ICITST 2014 IEEE pp 324-326


Norah Farooqi and Siobhán North

"Performance Evaluation of Trust Based Access Control for XML Databases"

Journal of Internet Technology and Secured Transaction, Vol. 2 No. 1/2, 2013, pp147 - 154, ISSN 2046-3723, DOI: 10.20533/jitst.2046.3723.2013.0020


Mohammed Al-Badawi; Haider Ali Ramadhan; Siobhan North; Barry Eaglestorne

"A performance evaluation of a new bitmap-based XML processing approach over RDBMS"

International Journal of Web Engineering and Technology (IJWET), Vol. 7, No. 2, 2012


Norah Farooqi and Siobhán North

"Evaluation of Practical Trust Based Access Control for XML Databases"

7th International Conference for Internet Technology and Secured Transactions (ICITST), London, UK, 2012. IEEE Xplore, pp. 336-340


Norah Farooqi and Siobhán North

"Logging in XML Databases: XLog File for Trust Based Access Control"

World Congress on Internet Security (WorldCIS-2012). Ontario, Canada IEEE Xplore, pp. 174-175


Norah Farooqi and Siobhán North

"A Performance Evaluation of Logging in XML Databases Using an Xlog File for Trust Based Access Control"

International Journal of Intelligent Computing Research (IJICR), Volume 3, Issues 3/4, Sep/Dec 2012, pp. 337-341, ISSN 2042 4655 (Online).


Norah Farooqi and Siobhán North

"Trust-Based Access Control for XML Databases"

IEEE 6th International Conference on Internet Technology and Secured Transactions December 2011. IEEE catalog number: CFP1181I-CDR ISBN: 978-1-908320-00-1


John Derrick, Siobhán North and Anthony J. H. Simons

"Z2SAL: a translation-based model checker for Z"

Formal Aspects of Computing Volume 23, Number 1, 43-71, DOI: 10.1007/s00165-009-0126-7.  January 2011


Mohammed Al-Badawi, Siobhán North, Barry Eaglestone

"The 3D XML Benchmark"

WEBIST 2010 - Proceedings of the 6th International Conference on Web Information Systems and Technology, March 2010


Al-Badawi, M., Eaglestone, B., North, S.

"PACD: A Bitmap-Based Framework for Processing XML Data"

Proceedings of the 5th International Conference on Web Information Systems and Technologies (WEBIST 2009), Lisboa, Protugal, March 23-26 2009.
Editors Filipe, J; Cordeiro, J.  pp 66-71. WOS:000267048800010


Derrick, J; North, S; Simons, AJH

"Z2SAL-Building a Model Checker for Z"

Proceedings of 1st International Conference of Abstract State Machines, B and Z, London, England, 16-18 September 2008.
Editors Borger, E; Butler, M; Bowen, JP; Boca, P. pp 208-293. WOS:00026011830002


Yasser Abdel Kader, Barry Eaglestone, Siobhán North

"An Analysis of Relational Storage Strategies for Partially Structured XML"

Proceedings of the 4th International Conference on Web Information Systems and Technologies, Funchal, Portugal, May 4-7 2008.
Editors Cordeiro, J; Filipe, J; Hammoudi, S.  pp 165-170. WOS:000259260900024


M.Al-Badawi, S.North and B.Eaglestone

" Indexing XML Databases: Classifications, Problems Identification and a New Approach"

Department of Computer Science Research Memoranda CS - 07 - 15, University of Sheffield;  2007


J. DERRICK, S. NORTH and A. SIMONS.

"Issues in implementing a model checker for Z"

In Z. Liu and J. He, editors, International Conference on Formal Engineering Methods (ICFEM 2006), volume 4260 of Lecture Notes in Computer Science, pages 678-696. Springer, November 2006.


A. BARAVALLE, S. CHAMBERS, M. HOLCOMBE, S. NORTH

"Open Source Software and Desktops in the Public Administrations: the UK perspective."

Proceedings of 2nd International Conference on Web Information Systems and Technologies (WEBIST 2006) Setubal, Portugal, April 11-13 2006
pp 39-44. WOS:000242043700011


A. BARAVALLE, S. CHAMBERS, M. HOLCOMBE, S. NORTH.

"The open source Challenge for the Public Administrations in the UK"

Proceedings of The Second Open Source World Conference, Malaga (Spain), February 2006.


M ABDULKHAIR and S D NORTH

“Web Legibility and Cross-Cultural Comparisons”,

Proceedings of HCI International 2005 by Lawrence Erlbaum Associates Inc, July 2005.


M ABDULKHAIR and S D NORTH

"A Fuzzy Model to Measure Colour Contrast as an aspect of Web Usability"

Human - Computer Interaction: Theory and Practice Volume 1 of Proceedings of HCI International, 10 International Conference on Human Computer Interaction.   Editors J Jacko, C Stephanidis.   Published by Lawrence Erlbaum Assoc. ISBN 0-8-58-4930-0 July 2003.  pp733-737



Dr Siobhán North | The Department of Computer Science | The University of Sheffield