Items where authors include "Derrick, J."

Article

Derrick, J., Doherty, S., Dongol, B. et al. (2 more authors) (2021) Verifying correctness of persistent concurrent data structures: a sound and complete method. Formal Aspects of Computing, 33 (4-5). pp. 547-573. ISSN 0934-5043

Winter, K., Smith, G. and Derrick, J. (2019) Modelling concurrent objects running on the TSO and ARMv8 memory models. Science of Computer Programming, 184. 102308. ISSN 0167-6423

Derrick, J., Doherty, S., Dongol, B. et al. (3 more authors) (2017) Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects of Computing, 30 (5). pp. 597-625. ISSN 0934-5043

Dongol, B. and Derrick, J. (2015) Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. Science of Computer Programming, 111. pp. 214-247. ISSN 0167-6423

Walkinshaw, N., Taylor, R. and Derrick, J. (2015) Inferring extended finite state machine models from software executions. Empirical Software Engineering. ISSN 1382-3256

Schellhorn, G., Derrick, J. and Wehrheim, H. (2014) A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. ACM Transactions on Computational Logic, 15 (4). 31. ISSN 1529-3785

Dongol, B., Derrick, J. and Smith, G. (2014) Reasoning Algebraically About Refinement on TSO Architectures. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 8687. pp. 151-168. ISSN 0302-9743

Derrick, J., Smith, G., Groves, L. et al. (1 more author) (2014) Using coarse-grained abstractions to verify linearizability on TSO architectures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8855. pp. 1-16. ISSN 0302-9743

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

Boiten, E. and Derrick, J. (2010) Incompleteness of relational simulations in the blocking paradigm. Science of Computer Programming, 75 (12). pp. 1262-1269. ISSN 0167-6423

Hierons, R.M., Bogdanov, K., Bowen, J.P. et al. (12 more authors) (2009) Using formal specifications to support testing. ACM Computing Surveys, 41 (2). ISSN 0360-0300

Proceedings Paper

Foster, M. orcid.org/0000-0001-8233-9873, Derrick, J. and Walkinshaw, N. (2022) Reverse-engineering EFSMs with data dependencies. In: Testing Software and Systems. ICTSS 2021 : The 33rd IFIP International Conference on Testing Software and Systems, 10-11 Nov 2021, Virtual conference. Lecture Notes in Computer Science . Springer Nature , pp. 37-54. ISBN 9783031046728

Derrick, J., Doherty, S., Dongol, B. et al. (2 more authors) (2021) Brief announcement: On strong observational refinement and forward simulation. In: 35th International Symposium on Distributed Computing (DISC 2021). 35th International Symposium on Distributed Computing (DISC 2021), 04-08 Oct 2021, Freiburg, Germany. Leibniz International Proceedings in Informatics (LIPIcs), 209 . Schloss Dagstuhl , 55:1-55:4. ISBN 9783959772105

Doherty, S., Dongol, B., Wehrheim, H. et al. (1 more author) (2018) Making linearizability compositional for partially ordered executions. In: Furia, C. and Winter, K., (eds.) Integrated Formal Methods. IFM 2018, 05-07 Sep 2018, Maynooth, Ireland. Lecture Notes in Computer Science, 11023 . Springer Verlag , pp. 110-129. ISBN 9783319989372

Derrick, J. and Smith, G. (2017) An observational approach to defining linearizability on weak memory models. In: Bouajjani, A. and Silva , A., (eds.) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2017. 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 19-22 Jun 2017, Neuchâtel, Switzerland. Lecture Notes in Computer Science (10321). Springer, Cham , pp. 108-123. ISBN 9783319602240

Doherty, S., Dongol, B., Derrick, J. et al. (2 more authors) (2017) Proving opacity of a pessimistic STM. In: Fatourou , P., Jiménez, E. and Pedone, F., (eds.) Leibniz International Proceedings in Informatics. 20th International Conference on Principles of Distributed Systems (OPODIS 2016), December 13-16, 2016, Madrid, Spain. Dagstuhl Publishing , Germany , 35.1-35.17. ISBN 9783959770316

Doherty, S. and Derrick, J. (2016) Linearizability and Causality. In: Software Engineering and Formal Methods. 14th International Conference, SEFM 2016, 04-08 Jul 2016, Vienna, Austria. Lecture Notes in Computer Science, 9763 . Springer , pp. 45-60. ISBN 978-3-319-41590-1

Smith, G. and Derrick, J. (2016) Invariant generation for linearizability proofs. In: Proceedings of the ACM Symposium on Applied Computing. 31st Annual ACM Symposium on Applied Computing, 04/04/2016 - 08/04/2016, Pisa, Italy. http://doi.org/10.1145/2851613.2851837 . ACM , pp. 1694-1699. ISBN 9781450337397

Siregar, M.U., Derrick, J., North, S.D. orcid.org/0000-0002-8478-8960 et al. (1 more author) (2014) Experiences using Z2SAL. In: Proceedings - ICACSIS 2014: International Conference on Advanced Computer Science and Information Systems. International Conference on Advanced Computer Science and Information Systems, 18-19 Oct 2014, Jakarta, Indonesia. IEEE , pp. 225-231. ISBN 9781479980758

Siregar, M. U. and Derrick, J. (2014) Using Abstraction in Model Checking Z Specifications. In: The University of Sheffield Engineering Symposium Conference Proceedings Vol. 1. USES 2014 - The University of Sheffield Engineering Symposium, 24 June 2014, The Octagon Centre, University of Sheffield. .

Derrick, J., Smith, G. and Dongol, B. (2014) Verifying Linearizability on TSO Architectures. In: Integrated Formal Methods. IFM: International Conference on Integrated Formal Methods. iFM 2014: The 11th International Conference on Integrated Formal Methods, 09/09/2014-11/09/2014, Bertinoro, Italy. Lecture Notes in Computer Science , 8739 . Springer Verlag , pp. 341-356. ISBN 978-3-319-10180-4

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)