¾Ã²Ý¸£Àû

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

• Abid SB, Kosiol J, Mittal R, Ober I, Posse E, Al Lail M, Balaban M, Bandyoapdhyay S, Bezerra J, Boulanger F , Bouquet F et al (2024) Preface to the 21th edition of the Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2024). Proceedings Models 2024 ACM IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion Proceedings, lxviii-lxix.
• Derrick J, Doherty S, Dongol B, Schellhorn G & Wehrheim H (2021) . Formal Aspects of Computing, 33(4-5), 547-573.
• Winter K, Smith G & Derrick J (2019) . Science of Computer Programming, 184, ---.
• Derrick J, Doherty S, Dongol B, Schellhorn G, Travkin O & Wehrheim H (2017) . Formal Aspects of Computing, 30(5), 597-625.
• 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).
• Boiten EA, Derrick J & Reeves S (2014) . Formal Aspects of Computing, 1-1.
• 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, 1-16.
• Dongol B, Derrick J & Smith G (2014) . THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 8687, 151-168.
• 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.
• Derrick J & Boiten E (2012) . Formal Aspects of Computing, 1-26.
• 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 & Gnesi S (2012) . Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 7316 LNCS, V-VI.
• Boiten E, Derrick J & Schellhorn G (2011) . Science of Computer Programming, 76(9), 737-738.
• 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, 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.
• 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) . 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.
• 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.
• 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.
• 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.
• Boiten EA, Derrick J & Reeves S (2009) Preface.. REFINE@FMWeek, 1-1.
• Aichernig BK, Boiten E, Butler M, Derrick J & Groves L (2009) . FORM ASP COMPUT, 21(1-2), 1-1.
• Derrick J & Boiten E (2009) . Electronic Notes in Theoretical Computer Science, 259(C), 21-34.
• 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).
• Aichernig BK, Boiten E, Butler M, Derrick J & Groves L (2009) . Formal Aspects of Computing, 21(1-2), 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.
• Boiten EA, Derrick J & Schellhorn G (2008) Preface.. Refine@FM, 1-1.
• Derrick J & Boiten E (2007) . Electronic Notes in Theoretical Computer Science, 187, 35-53.
• Derrick J & Wehrheim H (2007) . ACTA INFORM, 44(1), 41-71.
• Boiten EA, Derrick J & Smith G (2007) Preface.. REFINE@IFM, 1-1.
• Aichernig BK, Boiten EA, Derrick J & Groves L (2006) Preface.. Refine@ICFEM, 187, 1-1.
• Koh SCL & Gunasekaran A (2006) Editorial. International Journal of Business Performance Management, 8(1), 1-4.
• Banach R & Derrick J (2006) . Proceedings 4th IEEE International Conference on Software Engineering and Formal Methods Sefm 2006, 60-69.
• Derrick J, Harman M & Hierons RM (2006) Guest Editorial.. Formal Aspects Comput., 18, 1-2.
• Derrick J & Boiten EA (2005) Preface.. REFINE, 137, 1-3.
• Boiten EA, Derrick J & Smith G (2005) Guest Editorial Integrated Formal Methods.. Formal Aspects Comput., 17, 389-389.
• Earle CB, Fredlund LA & Derrick J (2005) . Erlang 05 Proceedings of the ACM SIGPLAN 2005 Erlang Workshop, 26-34.
• Smith G & Derrick J (2005) . Electronic Notes in Theoretical Computer Science, 137(2), 205-224.
• Bolognesi T & Derrick J (2005) . Software and Systems Modeling, 4(3), 234-235.
• Derrick J (2004) . J. Funct. Program., 14, 597-598.
• Arts T, Earle CB & Derrick J (2004) . Int. J. Softw. Tools Technol. Transf., 5, 205-220.
• 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.
• Derrick J & Smith G (2003) . Formal Aspects of Computing, 15(1), 1-27.
• Boiten E & Derrick J (2003) . Journal of Integrated Design and Process Science: Transactions of the SDPS, Official Journal of the Society for Design and Process Science, 7(3), 39-48.
• Derrick J & Boiten E (2002) . Formal Aspects of Computing, 13(2), 111-127.
• 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) . 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.
• 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.
• 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.
• 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.
• Steen MWA & Derrick J (2000) ODP enterprise viewpoint specification. COMP STAND INTER, 22(3), 165-189.
• 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.
• Boiten E, Bowman H, Derrick J, Linington P & Steen M (2000) Viewpoint consistency in ODP. COMPUT NETW, 34(3), 503-537.
• Derrick J & Boiten E (1999) Calculating upward and downward simulations of state-based specifications. INFORM SOFTWARE TECH, 41(13), 917-923.
• Derrick J, Boiten E, Bowman H & Steen M (1999) Viewpoints and consistency: translating LOTOS to Object-z. COMP STAND INTER, 21(3), 251-272.
• Derrick J & Boiten E (1999) . Software Testing Verification and Reliability, 9(1), 27-50.
• Bowman H, Boiten EA, Derrick J & Steen MWA (1999) Strategies for consistency checking based on unification. SCI COMPUT PROGRAM, 33(3), 261-298.
• Boiten E, Derrick J, Bowman H & Steen M (1999) Constructive consistency checking for partial specification in Z. SCI COMPUT PROGRAM, 35(1), 29-75.
• 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) . J. Symb. Log., 39, 371-389.
• Lob MH, Drake FR & Derrick J (1968) . 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.
• Walkinshaw N, Taylor R & Derrick J () . Empirical Software Engineering.
• Boiten EA, Derrick J & Reeves S () . Electronic Proceedings in Theoretical Computer Science, 209.
• Boiten E, Derrick J & Reeves S () . Electronic Proceedings in Theoretical Computer Science, 115.
• Dongol B & Derrick J () . EPTCS 115, 2013, pp. 15-35.
• Boiten EA & Derrick J () . Computer Standards and Interfaces.
• Derrick J, Boiten E & Reeves S () . Electronic Proceedings in Theoretical Computer Science, 55.

Book 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) , Emergence, Complexity and Computation (pp. 195-206). Springer International Publishing
• Derrick J, Doherty S, Dongol B, Schellhorn G & Wehrheim H (2019) (pp. 179-195).
• Foster M, Brucker AD, Taylor RG, North S & Derrick J (2019) , Lecture Notes in Computer Science (pp. 257-272). Springer International Publishing
• Foster M, Taylor RG, Brucker AD & Derrick J (2018) , Lecture Notes in Computer Science (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) , Lecture Notes in Computer Science (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

• Foster M, Derrick J & Walkinshaw N (2022) . Testing Software and Systems (pp 37-54). Virtual conference, 10 November 2021 - 10 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) . Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science, Vol. 12136 (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 (pp 110-129). Maynooth, Ireland, 5 September 2018 - 5 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)
• Doherty S, Dongol B, Derrick J, Schellhorn G & Wehrheim H (2017) . Leibniz International Proceedings in Informatics, Vol. 70(35) (pp 35.1-35.17). Germany
• Doherty S & Derrick J (2016) . Software Engineering and Formal Methods, Vol. 9763 (pp 45-60). Vienna, Austria, 4 July 2016 - 4 July 2016.
• Smith G & Derrick J (2016) . Proceedings of the ACM Symposium on Applied Computing (pp 1694-1699). Pisa, Italy
• Taylor R, Tuosto E, Walkinshaw N & Derrick J (2016) . 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) (pp 512-519), 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 (pp 13-18)
• Dongol B, Derrick J, Groves L & Smith G (2015) . Leibniz International Proceedings in Informatics Lipics, Vol. 37 (pp 470-494)
• Smith G, Derrick J & Dongol B (2015) (pp 364-383)
• Derrick J & Smith G (2015) (pp 178-194)
• Derrick J, Dongol B, Schellhorn G, Travkin O & Wehrheim H (2015) (pp 161-177)
• Siregar MU, Derrick J, North SD & Simons AJH (2014) . Proceedings - ICACSIS 2014: International Conference on Advanced Computer Science and Information Systems (pp 225-231). Jakarta, Indonesia, 18 October 2014 - 18 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)
• Walkinshaw N, Taylor R & Derrick J (2013) . 2013 20th Working Conference on Reverse Engineering (WCRE) (pp 301-310), 14 October 2013 - 17 October 2013.
• 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)
• Dongol B & Derrick J (2013) . Electronic Communications of the Easst, Vol. 66
• 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, 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) . Refine@FM, Vol. 55
• Walkinshaw N, Bogdanov K, Derrick J & París J (2010) Increasing Functional Coverage by Inductive Testing: A Case Study.. ICTSS, Vol. 6435 (pp 126-141)
• Walkinshaw N, Derrick J & Guo Q (2009) Iterative Refinement of Reverse-Engineered Models by Model-Based Testing.. FM, Vol. 5850 (pp 305-320)
• 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)
• Boitlen E & Derrick J (2009) Modelling Divergence in Relational Concurrent Refinement. INTEGRATED FORMAL METHODS, PROCEEDINGS, Vol. 5423 (pp 183-199)
• Boiten E, Derrick J & Schellhorn G (2009) . FORMAL ASPECTS OF COMPUTING, Vol. 21(1-2) (pp 65-102)
• 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)
• 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)
• 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)
• (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
• Derrick J, Schellhorn G & Wehrheim H (2007) Proving linearizability via non-atomic refinement. Integrated Formal Methods, Proceedings, Vol. 4591 (pp 195-214)
• 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)
• Smith G & Derrick J (2006) . FORMAL ASPECTS OF COMPUTING, Vol. 18(3) (pp 264-287)
• 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 & 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)
• Derrick J & Boiten E (2003) Recent advances in refinement. ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS, Vol. 2589 (pp 33-56)
• 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)
• 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)
• Arts T, Earle CB & Derrick J (2002) Verifying Erlang Code: A Resource Locker Case-Study.. FME, Vol. 2391 (pp 184-203)
• Miarka R, Derrick J & Boiten EA (2002) Handling Inconsistencies in Z Using Quasi-Classical Logic.. ZB, Vol. 2272 (pp 204-225)
• Taylor C, Boiten EA & Derrick J (2002) Interpreting ODP Viewpoint Specification: Observations from a Case Study.. FMOODS, Vol. 209 (pp 61-76)
• 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)
• 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)
• Miarka R, Boiten EA & Derrick J (2000) Guards, Preconditions, and Refinement in Z.. ZB, Vol. 1878 (pp 286-303)
• 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)
• Boiten E & Derrick J (2000) Liberating data refinement. MATHEMATICS OF PROGRAM CONSTRUCTION, Vol. 1837 (pp 144-166)
• 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 & Boiten E (1999) Non-atomic refinement in Z. FM'99-FORMAL METHODS, VOL II, Vol. 1709 (pp 1477-1496)
• Steen M, Derrick J, Boiten E & Bowman H (1999) Consistency of partial process specifications. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, Vol. 1548 (pp 248-262)
• Steen MWA & Derrick J (1999) . Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366) (pp 84-93), 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
• 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
• Derrick J, Boiten EA, Bowman H & Steen M (1997) Weak Refinement in Z.. ZUM, Vol. 1212 (pp 369-388)
• Boiten EA, Bowman H, Derrick J & Steen M (1997) Viewpoint Consistency in Z and LOTOS: A Case Study.. FME, Vol. 1313 (pp 644-664)
• Bowman H & Derrick J (1997) Extending LOTOS with time: A true concurrency perspective. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, Vol. 1231 (pp 383-399)
• 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)
• Smith G & Derrick J (1997) . ICFEM (pp 293-303)
• Fernandes GPA & Derrick J (1997) Formal specification and testing of a management architecture. INTEGRATED NETWORK MANAGEMENT V (pp 473-484)
• Boiten EA, Derrick J, Bowman H & Steen M (1996) Consistency and Refinement for Partial Specification in Z.. FME, Vol. 1051 (pp 287-306)
• 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 (pp 162-166)
• Derrick J, Bowman H, Boiten EA & Steen M (1996) Comparing LOTOS and Z Refinement Relations.. FORTE, Vol. 69 (pp 501-516)
• Bowman H, Derrick J & Steen M (1995) Viewpoints and Objects.. ZUM, Vol. 967 (pp 449-468)
• Steen M, Bowman H & Derrick J (1995) Composition of LOTOS specifications.. PSTV, Vol. 38 (pp 87-102)
• Derrick J, Linington PF & Thompson SJ (1995) Formal description techniques for object management.. Integrated Network Management, Vol. 11 (pp 641-653)
• 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)
• Derrick J & Smith G () . Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2017(10321) (pp 108-123). Neuchâtel, Switzerland, 19 June 2017 - 19 June 2017.
• () , Vol. 209
• () , Vol. 115
• Bowman H & Derrick J () . Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94) (pp 73-77)

Reports

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

Posters

• Siregar MU & Derrick Using Abstraction in Model Checking Z Specifications.

Other

• Derrick J () .

Preprints

• Derrick J, Dongol B & Reeves S (2018) Proceedings 18th Refinement Workshop, arXiv.
• Dongol B & Derrick J (2013) , arXiv.
• Derrick J, Boiten E & Reeves S (2013) Proceedings 16th International Refinement Workshop, arXiv.
• Derrick J, North S & Simons AJH (2011) Building a refinement checker for Z, 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.
• () .