ºù«Ӱҵ

Books

• Derrick J & Boiten E (2018) . Springer International Publishing.
• Derrick J, Vain J & IFIP WG (2007) . Springer-Verlag New York Inc.
• Boiten E, Derrick J & Smith G (2004) . Springer.
• Derrick J & Boiten E (2001) . Springer London.
• Derrick J & Boiten E (2001) Refinement in Z and Object-Z. Springer Verlag.
• Ben-Dov Y & Hodgson CJ (1997) . Elsevier.

Edited books

• Bowman H & Derrick J (Ed.) (2001) Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge Univ Press.

Journal articles

• Derrick J, Doherty S, Dongol B, Schellhorn G & Wehrheim H (2021) . Formal Aspects of Computing.
• Winter K, Smith G & Derrick J (2019) . Science of Computer Programming.
• Derrick J, Doherty S, Dongol B, Schellhorn G, Travkin O & Wehrheim H (2017) . Formal Aspects of Computing, 30(5), 597-625.
• Walkinshaw N, Taylor R & Derrick J (2016) . Empirical Software Engineering, 21(3), 811-853.
• Dongol B & Derrick J (2015) . Science of Computer Programming, 111, 214-247.
• Dongol B & Derrick J (2015) . ACM Computing Surveys, 48(2), 1-43.
• Schellhorn G, Derrick J & Wehrheim H (2014) . ACM Transactions on Computational Logic, 15(4), 1-37.
• Derrick J, Smith G, Groves L & Dongol B (2014) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8855.
• Dongol B, Derrick J & Smith G (2014) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8687, 151-168.
• Boiten EA, Derrick J & Reeves S (2014) . Formal Aspects of Computing, 1-1.
• Derrick J, Dongol B, Schellhorn G, Tofan B, Travkin O & Wehrheim H (2014) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8442 LNCS, 200-214.
• Dongol B, Derrick J & Hayes IJ (2013) . Science of Computer Programming.
• Schellhorn G, Wehrheim H & Derrick J (2012) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7358 LNCS, 243-259.
• Derrick J & Boiten E (2012) . Formal Aspects of Computing, 1-26.
• Derrick J & Gnesi S (2012) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7316 LNCS.
• Derrick J & Boiten E (2011) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6722 LNCS, 121-137.
• Derrick J & Smith G (2011) Temporal-logic property preservation under Z refinement. Formal Aspects of Computing, 1-24.
• Derrick J, Schellhorn G & Wehrheim H (2011) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6664 LNCS, 323-337.
• Boiten E, Derrick J & Schellhorn G (2011) . Science of Computer Programming, 76(9), 737-738.
• Derrick J, Schellhorn G & Wehrheim H (2011) . ACM Transactions on Programming Languages and Systems, 33(1).
• Derderian K, Hierons RM, Harman M & Guo Q (2010) . AUTOMAT SOFTW ENG, 17(1), 33-56.
• Boiten E & Derrick J (2010) . SCI COMPUT PROGRAM, 75(12), 1262-1269.
• Derrick J & Wehrheim H (2010) . SCI COMPUT PROGRAM, 75(3), 192-210.
• Guo Q, Derrick J, Benac Earle C & Fredlund LA (2010) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6303 LNCS, 23-38.
• Guo Q & Derrick J (2010) Formally based tool support for model checking Erlang applications. International Journal on Software Tools for Technology Transfer, 1-22.
• Walkinshaw N & Derrick J (2010) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6286 LNCS, 272-289.
• Derrick J, Walkinshaw N, Arts T, Benac Earle C, Cesarini F, Fredlund LA, Gulias V, Hughes J & Thompson S (2010) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6286 LNCS, 250-271.
• Boiten E, Butler M, Derrick J & Smith G (2010) . FORM ASP COMPUT, 22(1), 1-1.
• Aichernig BK, Boiten E, Butler M, Derrick J & Groves L (2009) . FORM ASP COMPUT, 21(1-2), 1-1.
• Boiten EA, Derrick J & Reeves S (2009) Preface.. Electron. Notes Theor. Comput. Sci., 259, 1-1.
• Derrick J & Boiten E (2009) . Electronic Notes in Theoretical Computer Science, 259(C), 21-34.
• Aichernig BK, Boiten E, Butler M, Derrick J & Groves L (2009) . Formal Aspects of Computing, 21(1-2), 1.
• Derrick J, North S & Simons AJH (2009) Z2SAL: a translation-based model checker for Z. Formal Aspects of Computing, 1-29.
• Hierons RM, Bogdanov K, Bowen JP, Cleaveland R, Derrick J, Dick J, Gheorghe M, Harman M, Kapoor K, Krause P , Luttgen G et al (2009) . ACM COMPUT SURV, 41(2).
• Boiten EA, Derrick J & Schellhorn G (2008) Preface.. Electron. Notes Theor. Comput. Sci., 214, 1-1.
• Boiten EA, Derrick J & Smith G (2008) Preface.. Electron. Notes Theor. Comput. Sci., 201, 1-1.
• Derrick J & Boiten E (2008) . Electronic Notes in Theoretical Computer Science, 214(C), 255-276.
• Derrick J & Smith G (2008) . Electronic Notes in Theoretical Computer Science, 201(C), 155-175.
• Derrick J & Wehrheim H (2007) . ACTA INFORM, 44(1), 41-71.
• Aichernig BK, Boiten EA, Derrick J & Groves L (2007) Preface.. Electron. Notes Theor. Comput. Sci., 187, 1-1.
• Derrick J & Boiten E (2007) . Electronic Notes in Theoretical Computer Science, 187, 35-53.
• Derrick J, Harman M & Hierons RM (2006) Guest Editorial.. Formal Asp. Comput., 18, 1-2.
• Banach R & Derrick J (2006) . Proceedings - 4th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2006, 60-69.
• Koh SCL & Gunasekaran A (2006) Editorial. International Journal of Business Performance Management, 8(1), 1-4.
• Bolognesi T & Derrick J (2005) . Software and Systems Modeling, 4(3), 234-235.
• Boiten EA, Derrick J & Smith G (2005) Guest Editorial Integrated Formal Methods.. Formal Asp. Comput., 17, 389-389.
• Derrick J & Boiten EA (2005) Preface.. Electron. Notes Theor. Comput. Sci., 137, 1-3.
• Smith G & Derrick J (2005) . Electronic Notes in Theoretical Computer Science, 137(2), 205-224.
• Earle CB, Fredlund LA & Derrick J (2005) . Erlang'05 - Proceedings of the ACM SIGPLAN 2005 Erlang Workshop, 26-34.
• Arts T, Earle CB & Derrick J (2004) Development of a verified Erlang program for resource locking.. Int. J. Softw. Tools Technol. Transf., 5, 205-220.
• Derrick J (2004) Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002.. J. Funct. Program., 14, 597-598.
• Boiten E & Derrick J (2003) Relational framework for the integration of specifications. Journal of Integrated Design and Process Science, 7(3), 39-48.
• Derrick J & Smith G (2003) . Formal Aspects of Computing, 15(1), 1-27.
• Derrick J & Boiten E (2003) . Formal Aspects of Computing, 15(2-3), 182-214.
• Bryans J, Bowman H & Derrick J (2003) . ACM Transactions on Computational Logic, 4(4), 452-492.
• Bordbar B, Derrick J & Waters G (2002) Using UML to specify QoS constraints in ODP. COMPUT NETW, 40(2), 279-304.
• Bowman H, Steen MWA, Boiten EA & Derrick J (2002) A formal framework for viewpoint consistency. FORM METHOD SYST DES, 21(2), 111-166.
• Taylor C, Boiten EA & Derrick J (2002) ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z.. IEE Proc. Softw., 149, 57-63.
• Boiten E & Derrick J (2002) . Electronic Notes in Theoretical Computer Science, 70(3), 94-131.
• Derrick J, Boiten E, Woodcock J & Von Wright J (2002) . Electronic Notes in Theoretical Computer Science, 70(3), 331-332.
• Derrick J & Boiten E (2002) . Formal Aspects of Computing, 13(2), 111-127.
• Smith G & Derrick J (2001) Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP. FORM METHOD SYST DES, 18(3), 249-284.
• Bowman H, Bryans JW & Derrick J (2001) Analysis of a multimedia stream using stochastic process algebra. COMPUT J, 44(4), 230-245.
• Hierons R & Derrick J (2000) Editorial: Special issue on specification-based testing. SOFTW TEST VERIF BEH, 10(4), 201-202.
• Derrick J (2000) A single complete refinement rule for Z. J LOGIC COMPUT, 10(5), 663-675.
• Boiten E, Bowman H, Derrick J, Linington P & Steen M (2000) Viewpoint consistency in ODP. COMPUT NETW, 34(3), 503-537.
• Steen MWA & Derrick J (2000) ODP enterprise viewpoint specification. COMP STAND INTER, 22(3), 165-189.
• Bowman H, Derrick J & Brinksma E (2000) Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997. IEEE T SOFTWARE ENG, 26(7), 577-578.
• Bryans JW, Bowman H & Derrick J (2000) Stochastic Model Checking for Multimedia. CoRR, cs.MM/0002004.
• Derrick J (2000) Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review).. Softw. Test. Verification Reliab., 10, 195-195.
• Derrick J & Boiten E (1999) Calculating upward and downward simulations of state-based specifications. INFORM SOFTWARE TECH, 41(13), 917-923.
• Boiten E, Derrick J, Bowman H & Steen M (1999) Constructive consistency checking for partial specification in Z. SCI COMPUT PROGRAM, 35(1), 29-75.
• Derrick J, Boiten E, Bowman H & Steen M (1999) Viewpoints and consistency: translating LOTOS to Object-z. COMP STAND INTER, 21(3), 251-272.
• Bowman H, Boiten EA, Derrick J & Steen MWA (1999) Strategies for consistency checking based on unification. SCI COMPUT PROGRAM, 33(3), 261-298.
• Derrick J & Boiten E (1999) . Software Testing Verification and Reliability, 9(1), 27-50.
• Bolognesi T & Derrick J (1998) . IEE Proceedings: Software, 145(2-3), 61-69.
• Derrick J, Boiten E, Bowman H & Steen M (1998) . Formal Aspects of Computing, 10(2), 125-159.
• Bowman H, Derrick J, Linington P & Steen M (1996) Cross-viewpoint consistency in open distributed processing. SOFTWARE ENG J, 11(1), 44-57.
• BOWMAN H, DERRICK J, LININGTON P & STEEN M (1995) FDTS FOR ODP. COMP STAND INTER, 17(5-6), 457-479.
• Calais JP, Derrick J & Sabbagh G (1974) Meeting of the Association for Symbolic Logic: Orleans, France, 1972.. J. Symb. Log., 39, 371-389.
• Lob MH, Drake FR & Derrick J (1968) Meeting of the Association for Symbolic Logic Leeds 1967.. J. Symb. Log., 33, 490-490.
• Bila E, Derrick J, Doherty S, Dongol B, Schellhorn G & Wehrheim H () . Logical Methods in Computer Science, Volume 18, Issue 3.
• Derrick J, Dongol B & Reeves S () . Electronic Proceedings in Theoretical Computer Science, 282.
• Boiten EA, Derrick J & Reeves S () . Electronic Proceedings in Theoretical Computer Science, 209.
• Dongol B & Derrick J () . Electronic Proceedings in Theoretical Computer Science, 115, 15-35.
• Boiten E, Derrick J & Reeves S () . Electronic Proceedings in Theoretical Computer Science, 115.
• Boiten EA & Derrick J () . Computer Standards and Interfaces.
• Derrick J, Boiten E & Reeves S () . Electronic Proceedings in Theoretical Computer Science, 55.

Chapters

• Bodenmüller S, Derrick J, Dongol B, Schellhorn G & Wehrheim H (2024) , Lecture Notes in Computer Science (pp. 26-47). Springer Nature Switzerland
• Boiten E & Derrick J (2020) , From Astrophysics to Unconventional Computation (pp. 195-206). Springer International Publishing
• Derrick J, Doherty S, Dongol B, Schellhorn G & Wehrheim H (2019) , Lecture Notes in Computer Science (pp. 179-195). Springer International Publishing
• Foster M, Brucker AD, Taylor RG, North S & Derrick J (2019) , Software Engineering and Formal Methods (pp. 257-272). Springer International Publishing
• Foster M, Taylor RG, Brucker AD & Derrick J (2018) , Formal Methods and Software Engineering (pp. 373-387). Springer International Publishing
• Derrick J, Smith G, Groves L & Dongol B (2017) , NASA Monographs in Systems and Software Engineering (pp. 61-91). Springer International Publishing
• Derrick J & Boiten E (2016) Relational concurrent refinement - Partial and total frameworks, From Action Systems to Distributed Systems: The Refinement Approach (pp. 143-154).
• Derrick J & Boiten E (1998) , ZUM ’98: The Z Formal Specification Notation (pp. 265-283). Springer Berlin Heidelberg
• Derrick J, Boiten EA, Bowman H & Steen MWA (1997) , IFIP Advances in Information and Communication Technology (pp. 399-406). Springer US
• Bowman H, Boiten EA, Derrick J & Steen MWA (1997) , IFIP Advances in Information and Communication Technology (pp. 189-204). Springer US
• Bowman H, Briscoe-Smith C, Derrick J & Strulo B (1997) , IFIP Advances in Information and Communication Technology (pp. 335-351). Springer US
• Linington PF, Derrick J & Bowman H (1996) , Testing of Communicating Systems (pp. 93-114). Springer US
• Bowman H, Derrick J & Steen M (1995) , Open Distributed Processing (pp. 399-412). Springer US
• Derrick J, Bowman H & Steen M (1995) , Open Distributed Processing (pp. 413-424). Springer US

Conference proceedings papers

• Foster M, Derrick J & Walkinshaw N (2022) . Testing Software and Systems (pp 37-54). London, UK (virtual), 10 November 2021 - 11 November 2021.
• Derrick J, Doherty S, Dongol B, Schellhorn G & Wehrheim H (2021) . 35th International Symposium on Distributed Computing (DISC 2021), Vol. 209 (pp 55:1-55:4). Freiburg, Germany, 4 October 2021 - 8 October 2021.
• Bila E, Doherty S, Dongol B, Derrick J, Schellhorn G & Wehrheim H (2020) (pp 39-58)
• Doherty S, Dongol B, Wehrheim H & Derrick J (2019) . Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming (pp 355-365)
• Doherty S, Dongol B, Wehrheim H & Derrick J (2018) . Leibniz International Proceedings in Informatics, LIPIcs, Vol. 121
• Winter K, Smith G & Derrick J (2018) . 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE) (pp 100-107), 29 August 2018 - 31 August 2018.
• Doherty S, Dongol B, Wehrheim H & Derrick J (2018) . Integrated Formal Methods, Vol. 11023 LNCS (pp 110-129), 5 September 2018 - 7 September 2018.
• Abid S, Balaban M, Bibal A, Bisson G, Boulanger F, Bouquet F, Chechik M, Chen H, Cheng CH, De Lara J , Derrick J et al (2018) MoDeVVa 2018 15 ^th workshop on model-driven engineering, verification and validation. CEUR Workshop Proceedings, Vol. 2245 (pp 553-554)
• Derrick J, Dongol B & Reeves S (2018) Preface. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE(282)
• Derrick J & Smith G (2017) . Lecture Notes in Computer Science (pp 108-123), 19 June 2017 - 22 June 2017.
• Doherty S, Dongol B, Derrick J, Schellhorn G & Wehrheim H (2017) . Leibniz International Proceedings in Informatics, LIPIcs, Vol. 70 (pp 35.1-35.17), 13 December 2016 - 16 December 2016.
• Doherty S & Derrick J (2016) . Software Engineering and Formal Methods. SEFM 2016. Lecture Notes in Computer Science, Vol. 9763 (pp 45-60)
• Smith G & Derrick J (2016) . Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16, 4 April 2016 - 8 April 2016.
• Taylor R, Tuosto E, Walkinshaw N & Derrick J (2016) . 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), 17 February 2016 - 19 February 2016.
• Taylor R & Derrick J (2015) (pp 178-193)
• Taylor R & Derrick J (2015) . Proceedings of the 14th ACM SIGPLAN Workshop on Erlang - Erlang 2015, 4 September 2015 - 4 September 2015.
• Dongol B, Derrick J, Groves L & Smith G (2015) . Leibniz International Proceedings in Informatics, LIPIcs, Vol. 37 (pp 470-494)
• Derrick J & Smith G (2015) (pp 178-194)
• Derrick J, Dongol B, Schellhorn G, Travkin O & Wehrheim H (2015) (pp 161-177)
• Smith G, Derrick J & Dongol B (2015) (pp 364-383)
• Siregar MU, Derrick J, North SD & Simons AJH (2014) . Proceedings - ICACSIS 2014: 2014 International Conference on Advanced Computer Science and Information Systems (pp 225-231). Jakarta, Indonesia, 18 October 2014 - 19 October 2014.
• Lamela Seijas P, Thompson S, Taylor R, Bogdanov K & Derrick J (2014) . Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang (pp 73-74), 5 September 2014 - 5 September 2014.
• Derrick J, Dongol B, Schellhorn G, Tofan B, Travkin O & Wehrheim H (2014) (pp 200-214)
• Derrick J, Smith G & Dongol B (2014) . Integrated Formal Methods. IFM: International Conference on Integrated Formal Methods, Vol. 8739 (pp 341-356)
• Dongol B & Derrick J (2013) . Electronic Communications of the EASST, Vol. 66
• Walkinshaw N, Taylor R & Derrick J (2013) . 2013 20th Working Conference on Reverse Engineering (WCRE), 14 October 2013 - 17 October 2013.
• Dongol B, Travkin O, Derrick J & Wehrheim H (2013) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8049 LNCS (pp 177-194)
• Taylor R, Bogdanov K & Derrick J (2013) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7940 LNCS (pp 253-267)
• Taylor R, Hall M, Bogdanov K & Derrick J (2012) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7641 LNCS (pp 184-199)
• (2012) Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. IFM, Vol. 7321
• (2011) Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.. Refine@FM, Vol. 55
• Walkinshaw N, Bogdanov K, Derrick J & Paris J (2010) Increasing Functional Coverage by Inductive Testing: A Case Study.. ICTSS, Vol. 6435 (pp 126-141)
• Boiten E, Derrick J & Schellhorn G (2009) . FORMAL ASPECTS OF COMPUTING, Vol. 21(1-2) (pp 65-102)
• Walkinshaw N, Derrick J & Guo Q (2009) Iterative Refinement of Reverse-Engineered Models by Model-Based Testing.. FM, Vol. 5850 (pp 305-320)
• Boitlen E & Derrick J (2009) Modelling Divergence in Relational Concurrent Refinement. INTEGRATED FORMAL METHODS, PROCEEDINGS, Vol. 5423 (pp 183-199)
• Guo Q, Derrick J & Walkinshaw N (2009) Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. TESTING OF SOFTWARE AND COMMUNICATION SYSTEMS, PROCEEDINGS, Vol. 5826 (pp 81-96)
• Derrick J, Schellhorn G & Wehrheim H (2008) Mechanizing a correctness proof for a lock-free concurrent stack. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, Vol. 5051 (pp 78-95)
• Derrick J, North S & Simons AJH (2008) Z2SAL-Building a Model Checker for Z. ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, Vol. 5238 (pp 280-293)
• Guo Q, Derrick J & Hoch C (2008) Verifying Erlang telecommunication systems with the process algebra mu CRL. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008, Vol. 5048 (pp 201-217)
• (2007) Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. FORTE, Vol. 4574
• Guo Q & Derrick J (2007) Verification of Timed Erlang/OTP Components Using the Process Algebra mu CRL. ERLANG'07: PROCEEDINGS OF THE 2007 SIGPLAN ERLANG WORKSHOP (pp 55-64)
• Derrick J, Schellhorn G & Wehrheim H (2007) Proving linearizability via non-atomic refinement. Integrated Formal Methods, Proceedings, Vol. 4591 (pp 195-214)
• Smith G & Derrick J (2006) . FORMAL ASPECTS OF COMPUTING, Vol. 18(3) (pp 264-287)
• Derrick J, North S & Simons T (2006) Issues in implementing a model checker for Z. Formal Methods and Software Engineering, Proceedings, Vol. 4260 (pp 678-696)
• Derrick J & Wehrheim H (2006) Model transformations incorporating multiple views. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, Vol. 4019 (pp 111-126)
• Derrick J & Wehrheim H (2005) Non-atomic refinement in Z and CSP. ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, Vol. 3455 (pp 24-44)
• Boiten EA & Derrick J (2005) Formal program development with approximations. ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, Vol. 3455 (pp 374-392)
• (2004) Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. IFM, Vol. 2999
• Derrick J & Smith G (2004) Linear temporal logic and Z refinement. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, Vol. 3116 (pp 117-131)
• Derrick J & Boiten E (2003) Recent advances in refinement. ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS, Vol. 2589 (pp 33-56)
• Derrick J & Wehrheim H (2003) Using coupled simulations in non-atomic refinement. ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, Vol. 2651 (pp 127-147)
• Derrick J (2003) Timed CSP and Object-Z. ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, Vol. 2651 (pp 300-318)
• Akehurst D, Derrick J & Waters AG (2003) Design and verification of distributed multi-media systems. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, Vol. 2884 (pp 276-292)
• Akehurst DH, Derrick J & Waters AG (2003) Addressing computational viewpoint design. SEVENTH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS (pp 147-158)
• Akehurst DH, Derrick J & Waters AG (2003) Design and Verification of Distributed Multi-media Systems.. FMOODS, Vol. 2884 (pp 176-292)
• Miarka R, Derrick J & Boiten EA (2002) Handling Inconsistencies in Z Using Quasi-Classical Logic.. ZB, Vol. 2272 (pp 204-225)
• Arts T, Earle CB & Derrick J (2002) Verifying Erlang Code: A Resource Locker Case-Study.. FME, Vol. 2391 (pp 184-203)
• Taylor C, Boiten EA & Derrick J (2002) Interpreting ODP Viewpoint Specification: Observations from a Case Study.. FMOODS, Vol. 209 (pp 61-76)
• Smith G & Derrick J (2002) Abstract Specification in Object-Z and CSP.. ICFEM, Vol. 2495 (pp 108-119)
• Bordbar B, Derrick J & Waters G (2002) A UML approach to the design of open distributed systems. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, Vol. 2495 (pp 561-572)
• Cole J, Derrick J, Milosevic Z & Raymond K (2001) Author obliged to submit paper before 4 July: Policies in an enterprise specification. POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, Vol. 1995 (pp 1-17)
• Miarka R, Boiten EA & Derrick J (2000) Guards, Preconditions, and Refinement in Z.. ZB, Vol. 1878 (pp 286-303)
• Boiten E & Derrick J (2000) Liberating data refinement. MATHEMATICS OF PROGRAM CONSTRUCTION, Vol. 1837 (pp 144-166)
• Derrick J & Boiten E (2000) Refinement of objects and operations in Object-Z. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, Vol. 49 (pp 257-277)
• Taylor C, Derrick J & Boiten E (2000) A case study in partial specification: Consistency and refinement for object-Z. ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS (pp 177-185)
• Derrick J & Smith G (2000) Structural refinement in Object-Z/CSP. INTEGRATED FORMAL METHODS, PROCEEDINGS, Vol. 1945 (pp 194-213)
• Bryans J, Blair L, Bowman H & Derrick J (2000) Specification and analysis of automata-based designs. INTEGRATED FORMAL METHODS, PROCEEDINGS, Vol. 1945 (pp 176-193)
• Derrick J & Boiten E (1999) Non-atomic refinement in Z. FM'99-FORMAL METHODS, VOL II, Vol. 1709 (pp 1477-1496)
• Steen MWA & Derrick J (1999) . Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366), 30 September 1999 - 30 September 1999.
• Derrick J & Boiten EA (1999) Specifying Component and Context Specification Using Promotion.. IFM (pp 293-312)
• Bowman H & Derrick J (1999) A Junction between State Based and Behavioural Specification (Invited Talk).. FMOODS, Vol. 139 (pp 213-239)
• Bryans JW & Derrick J (1999) Stochastic Specification and Verification.. IWFM
• Steen M, Derrick J, Boiten E & Bowman H (1999) Consistency of partial process specifications. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, Vol. 1548 (pp 248-262)
• Derrick J & Boiten E (1998) Testing refinements by refining tests. ZUM '98: THE Z FORMAL SPECIFICATION NOTATION, Vol. 1493 (pp 265-283)
• Boiten E & Derrick J (1998) . Electronic Workshops in Computing
• Boiten E, Derrick J, Bowman H & Steen M (1997) . Electronic Workshops in Computing
• Steen M, Bowman H, Derrick J & Boiten EA (1997) Disjunction of LOTOS Specifications.. FORTE, Vol. 107 (pp 177-192)
• Boiten EA, Bowman H, Derrick J & Steen M (1997) Viewpoint Consistency in Z and LOTOS: A Case Study.. FME, Vol. 1313 (pp 644-664)
• Derrick J, Boiten EA, Bowman H & Steen M (1997) Weak Refinement in Z.. ZUM, Vol. 1212 (pp 369-388)
• Smith G & Derrick J (1997) . ICFEM (pp 293-303)
• Bowman H & Derrick J (1997) Extending LOTOS with time: A true concurrency perspective. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, Vol. 1231 (pp 383-399)
• Fernandes GPA & Derrick J (1997) Formal specification and testing of a management architecture. INTEGRATED NETWORK MANAGEMENT V (pp 473-484)
• Boiten E, Bowman H, Derrick J & Steen M (1996) . Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -, 16 October 1996 - 18 October 1996.
• Boiten EA, Derrick J, Bowman H & Steen M (1996) Consistency and Refinement for Partial Specification in Z.. FME, Vol. 1051 (pp 287-306)
• Derrick J, Bowman H, Boiten EA & Steen M (1996) Comparing LOTOS and Z Refinement Relations.. FORTE, Vol. 69 (pp 501-516)
• Derrick J, Linington PF & Thompson SJ (1995) Formal description techniques for object management.. Integrated Network Management, Vol. 11 (pp 641-653)
• Steen M, Bowman H & Derrick J (1995) Composition of LOTOS specifications.. PSTV, Vol. 38 (pp 87-102)
• Bowman H, Derrick J & Steen M (1995) Viewpoints and Objects.. ZUM, Vol. 967 (pp 449-468)
• Bowman H & Derrick J (1995) Modelling distributed systems using Z.. SAC (pp 147-151)
• Bowman H & Derrick J (1995) A True Concurrency Semantics for Quality of Service Specification and Validation.. MMNET (pp 173-182)
• Bowman H, Derrick J & Jones RE (1994) Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract).. PODC (pp 394-394)
• Bowman H & Derrick J (1994) Consistency and Conformance in ODP (Abstract).. PODC (pp 388-388)
• () , Vol. 209
• () , Vol. 115
• Bowman H & Derrick J () . Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)

Reports

• Dongol B & Derrick J () Proving linearisability via coarse-grained abstraction

Posters

• Siregar MU & Derrick J Using Abstraction in Model Checking Z Specifications. University of ºù«Ӱҵ Engineering Symposium.

Other

• Derrick J () .

Preprints

• Derrick J, Dongol B & Reeves S (2018) Proceedings 18th Refinement Workshop, arXiv.
• Dongol B & Derrick J (2013) Data refinement for true concurrency, arXiv.
• Derrick J, Boiten E & Reeves S (2013) Proceedings 16th International Refinement Workshop, arXiv.
• Derrick J, North S & Simons AJH (2011) , Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011..
• Derrick J, Boiten E & Reeves S (2011) Proceedings 15th International Refinement Workshop, arXiv.
• () .