Siobhán North

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 7

Top Topics

Ancestor Descendant

Top Venues

Int. J. Softw. Tools Technol. Transf.

WEBIST (Revised Selected Papers)

Publications

Ramsay G. Taylor, Michael Foster, Siobhán North
An automated framework for verifying or refuting trace properties of extended finite state machines. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Shtwai Alsubai, Siobhán North
Solving the Intractable Problem: Optimal Performance for Worst Case Scenarios in XML Twig Pattern Matching. IEEE Access 8 (2020)
Benjamin S. Clegg, Siobhán North, Phil McMinn, Gordon Fraser
Simulating student mistakes to evaluate the fairness of automated grading. ICSE (SEET) (2019)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick
Incorporating Data into EFSM Inference. SEFM (2019)
Shtwai Alsubai, Siobhán North
TwigStackPrime: A Novel Twig Join Algorithm Based on Prime Numbers. WEBIST (Revised Selected Papers) (2017)
Shtwai Alsubai, Siobhán North
A Prime Number Approach to Matching an XML Twig Pattern including Parent-Child Edges. WEBIST (2017)
Hanaa Al Zadjali, Siobhán North
XML Labels Compression using Prefix-encodings. WEBIST (1) (2016)
Norah S. Farooqi, Siobhán North
Time cost evaluation of trust based access control for XML databases. ICITST (2014)
Norah Farooqi, Siobhán North
Evaluation of practical trust based access control for XML databases. ICITST (2012)
Mohammed Al-Badawi, Haider Ali Ramadhan, Siobhán North, Barry Eaglestone
A performance evaluation of a new bitmap-based XML processing approach over RDBMS. Int. J. Web Eng. Technol. 7 (2) (2012)
Norah Farooqi, Siobhán North
Logging in XML databases: Xlog file for trust based access control. WorldCIS (2012)
John Derrick, Siobhán North, Anthony J. H. Simons
Building a refinement checker for Z Refine@FM (2011)
Norah Farooqi, Siobhán North
Trust-based access control for XML databases. ICITST (2011)
John Derrick, Siobhán North, Anthony J. H. Simons
Z2SAL: a translation-based model checker for Z. Formal Aspects Comput. 23 (1) (2011)
Mohammed Al-Badawi, Siobhán North, Barry Eaglestone
The 3D XML Benchmark. WEBIST (1) (2010)
Mohammed Al-Badawi, Barry Eaglestone, Siobhán North
PACD: A Bitmap-based Framework for Processing XML Data. WEBIST (2009)
Yasser Abdel Kader, Barry Eaglestone, Siobhán North
An Analysis of Relational Storage Strategies for Partially Structured XML. WEBIST (1) (2008)
John Derrick, Siobhán North, Anthony J. H. Simons
Z2SAL - Building a Model Checker for Z. ABZ (2008)
Andres Baravalle, Sarah Chambers, Siobhán North, Mike Holcombe
Open Source Software in the Desktop: The Perspective of the Public Administrations in UK. WEBIST (2) (2006)
John Derrick, Siobhán North, Tony Simons
Issues in Implementing a Model Checker for Z. ICFEM (2006)
Xiao Mang Shou, Siobhán North
An Integrated Approach to Handling Collaborative Diagram Databases on the WWW. BNCOD (2002)