Siobhán North

According to our database, Siobhán North authored at least 21 papers between 2002 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

An automated framework for verifying or refuting trace properties of extended finite state machines.

Ramsay G. Taylor, Michael Foster, Siobhán North

Int. J. Softw. Tools Technol. Transf., 2022

2020

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

Shtwai Alsubai, Siobhán North

IEEE Access, 2020

2019

Incorporating Data into EFSM Inference.

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

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Simulating student mistakes to evaluate the fairness of automated grading.

Benjamin S. Clegg, Siobhán North, Phil McMinn, Gordon Fraser

Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019

2017

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

Shtwai Alsubai, Siobhán North

Proceedings of the Web Information Systems and Technologies, 2017

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

Shtwai Alsubai, Siobhán North

Proceedings of the 13th International Conference on Web Information Systems and Technologies, 2017

2016

XML Labels Compression using Prefix-encodings.

Hanaa Al Zadjali, Siobhán North

Proceedings of the 12th International Conference on Web Information Systems and Technologies, 2016

2014

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

Norah S. Farooqi, Siobhán North

Proceedings of the 9th International Conference for Internet Technology and Secured Transactions, 2014

2012

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

Mohammed Al-Badawi, Haider Ali Ramadhan, Siobhán North, Barry Eaglestone

Int. J. Web Eng. Technol., 2012

Logging in XML databases: Xlog file for trust based access control.

Norah Farooqi, Siobhán North

Proceedings of the 2012 World Congress on Internet Security, 2012

Evaluation of practical trust based access control for XML databases.

Norah Farooqi, Siobhán North

Proceedings of the 7th International Conference for Internet Technology and Secured Transactions, 2012

2011

Z2SAL: a translation-based model checker for Z.

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

Formal Aspects Comput., 2011

Building a refinement checker for Z

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

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Trust-based access control for XML databases.

Norah Farooqi, Siobhán North

Proceedings of the 6th International Conference for Internet Technology and Secured Transactions, 2011

2010

The 3D XML Benchmark.

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

Proceedings of the WEBIST 2010, 2010

2009

PACD: A Bitmap-based Framework for Processing XML Data.

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

Proceedings of the WEBIST 2009, 2009

2008

An Analysis of Relational Storage Strategies for Partially Structured XML.

Yasser Abdel Kader, Barry Eaglestone, Siobhán North

Proceedings of the WEBIST 2008, 2008

Z2SAL - Building a Model Checker for Z.

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

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2006

Open Source Software in the Desktop: The Perspective of the Public Administrations in UK.

Andres Baravalle, Sarah Chambers, Siobhán North, Mike Holcombe

Proceedings of the WEBIST 2006, 2006

Issues in Implementing a Model Checker for Z.

John Derrick, Siobhán North, Tony Simons

Proceedings of the Formal Methods and Software Engineering, 2006

2002

An Integrated Approach to Handling Collaborative Diagram Databases on the WWW.

Xiao Mang Shou, Siobhán North

Proceedings of the Advances in Databases, 19th British National Conference on Databases, 2002