Items where authors include "North, S."

Article

Taylor, R., Foster, M. and 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). pp. 949-972. ISSN 1433-2779

Alsubai, S. and North, S. orcid.org/0000-0002-8478-8960 (2020) Solving the intractable problem: optimal performance for worst case scenarios in XML twig pattern matching. IEEE Access, 8. pp. 192569-192586. ISSN 2169-3536

Derrick, J., North, S. and Simons, A.J.H. (2011) Z2SAL: a translation-based model checker for Z. Formal Aspects of Computing, 23 (1). pp. 43-71. ISSN 0934-5043

Proceedings Paper

Clegg, B., North, S. orcid.org/0000-0002-8478-8960, McMinn, P. orcid.org/0000-0001-9137-7433 et al. (1 more author) (2019) Simulating student mistakes to evaluate the fairness of automated grading. In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET). 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET), 25-31 May 2019, Montreal, QC, Canada. IEEE , pp. 121-125. ISBN 9781728110011

Farooqi, N. and North, S. (2014) Time cost evaluation of trust based access control for XML databases. In: 2014 9th International Conference for Internet Technology and Secured Transactions, ICITST 2014. 2014 9th International Conference for Internet Technology and Secured Transactions (ICITST), 08-10 Dec 2014, London, UK. IEEE , pp. 324-326. ISBN 9781908320391

Derrick, J., North, S. and Simons, A.J.H. (2008) Z2SAL-building a model checker for Z. In: Borger, E., Butler, M., Bowen, J.P. and Boca, P., (eds.) Abstract State Machines, B and Z, Proceedings of. ABZ 2008, September 16-18, 2008, London, UK. Springer , 280 - 293. ISBN 978-3-540-87602-1

Derrick, J., North, S. orcid.org/0000-0002-8478-8960 and Simons, T. (2006) Issues in implementing a model checker for Z. In: Liu, Z. and He, J., (eds.) Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. 8th International Conference on Formal Engineering Methods, ICFEM 2006, 01-03 Nov 2006, Macao, China. Lecture Notes in Computer Science, LNPSE 4260 . Springer Berlin Heidelberg , pp. 678-696. ISBN 9783540474609

Preprint

Derrick, J., North, S. orcid.org/0000-0002-8478-8960 and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2011) Building a refinement checker for Z. [Preprint] (Submitted)