Siobhán North

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