John Derrick

	2009
99		Neil Walkinshaw, John Derrick, Qiang Guo: Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. FM 2009: 305-320
98		Eerke A. Boiten, John Derrick: Modelling Divergence in Relational Concurrent Refinement. IFM 2009: 183-199
97		Qiang Guo, John Derrick, Neil Walkinshaw: Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. TestCom/FATES 2009: 81-96
96		Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan: Using formal specifications to support testing. ACM Comput. Surv. 41(2): (2009)
95		Eerke A. Boiten, John Derrick, Steve Reeves: Preface. Electr. Notes Theor. Comput. Sci. 259: 1 (2009)
94		John Derrick, Eerke A. Boiten: Relational Concurrent Refinement: Automata. Electr. Notes Theor. Comput. Sci. 259: 21-34 (2009)
93		Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Relational concurrent refinement part II: Internal operations and outputs. Formal Asp. Comput. 21(1-2): 65-102 (2009)
	2008
92		John Derrick, Siobhán North, Anthony J. H. Simons: Z2SAL - Building a Model Checker for Z. ABZ 2008: 280-293
91		John Derrick, Gerhard Schellhorn, Heike Wehrheim: Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. FMOODS 2008: 78-95
90		Qiang Guo, John Derrick, Csaba Hoch: Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. FORTE 2008: 201-217
89		Eerke A. Boiten, John Derrick, Graeme Smith: Preface. Electr. Notes Theor. Comput. Sci. 201: 1 (2008)
88		John Derrick, Graeme Smith: Using Model Checking to Automatically Find Retrieve Relations. Electr. Notes Theor. Comput. Sci. 201: 155-175 (2008)
87		Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Preface. Electr. Notes Theor. Comput. Sci. 214: 1 (2008)
86		John Derrick, Eerke A. Boiten: More Relational Concurrent Refinement: Traces and Partial Relations. Electr. Notes Theor. Comput. Sci. 214: 255-276 (2008)
	2007
85		John Derrick, Jüri Vain: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings Springer 2007
84		Qiang Guo, John Derrick: Verification of timed Erlang/OTP components using the process algebra mucrl. Erlang Workshop 2007: 55-64
83		John Derrick, Gerhard Schellhorn, Heike Wehrheim: Proving Linearizability Via Non-atomic Refinement. IFM 2007: 195-214
82		John Derrick, Heike Wehrheim: On using data abstractions for model checking refinements. Acta Inf. 44(1): 41-71 (2007)
81		Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves: Preface. Electr. Notes Theor. Comput. Sci. 187: 1 (2007)
80		John Derrick, Eerke A. Boiten: Relational Concurrent Refinement with Internal Operations. Electr. Notes Theor. Comput. Sci. 187: 35-53 (2007)
	2006
79		John Derrick, Heike Wehrheim: Model Transformations Incorporating Multiple Views. AMAST 2006: 111-126
78		John Derrick, Siobhán North, Tony Simons: Issues in Implementing a Model Checker for Z. ICFEM 2006: 678-696
77		Richard Banach, John Derrick: Filtering Retrenchments into Refinements. SEFM 2006: 60-69
76		John Derrick, Mark Harman, Robert M. Hierons: Guest Editorial. Formal Asp. Comput. 18(1): 1-2 (2006)
75		Graeme Smith, John Derrick: Verifying data refinements using a model checker. Formal Asp. Comput. 18(3): 264-287 (2006)
	2005
74		Clara Benac Earle, Lars-Åke Fredlund, John Derrick: Verifying fault-tolerant Erlang programs. Erlang Workshop 2005: 26-34
73		John Derrick, Heike Wehrheim: Non-atomic Refinement in Z and CSP. ZB 2005: 24-44
72		Eerke A. Boiten, John Derrick: Formal Program Development with Approximations. ZB 2005: 374-392
71		John Derrick, Eerke A. Boiten: Preface. Electr. Notes Theor. Comput. Sci. 137(2): 1-3 (2005)
70		Graeme Smith, John Derrick: Model Checking Downward Simulations. Electr. Notes Theor. Comput. Sci. 137(2): 205-224 (2005)
69		Eerke A. Boiten, John Derrick, Graeme Smith: Guest Editorial Integrated Formal Methods. Formal Asp. Comput. 17(4): 389-389 (2005)
68		Tommaso Bolognesi, John Derrick: Introduction. Software and System Modeling 4(3): 234-235 (2005)
	2004
67		Eerke A. Boiten, John Derrick, Graeme Smith: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings Springer 2004
66		John Derrick, Graeme Smith: Linear Temporal Logic and Z Refinement. AMAST 2004: 117-131
65		John Derrick: Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002. J. Funct. Program. 14(5): 597-598 (2004)
64		Thomas Arts, Clara Benac Earle, John Derrick: Development of a verified Erlang program for resource locking. STTT 5(2-3): 205-220 (2004)
	2003
63		John Derrick, Eerke A. Boiten: Recent Advances in Refinement. Abstract State Machines 2003: 33-56
62		David H. Akehurst, John Derrick, A. Gill Waters: Addressing Computational Viewpoint Design. EDOC 2003: 147-158
61		David H. Akehurst, John Derrick, A. Gill Waters: Design and Verification of Distributed Multi-media Systems. FMOODS 2003: 176-292
60		John Derrick, Heike Wehrheim: Using Coupled Simulations in Non-atomic Refinement. ZB 2003: 127-147
59		John Derrick: Timed CSP and Object-Z. ZB 2003: 300-318
58		Jeremy Bryans, Howard Bowman, John Derrick: Model checking stochastic automata. ACM Trans. Comput. Log. 4(4): 452-492 (2003)
57		John Derrick, Graeme Smith: Structural Refinement of Systems Specified in Object-Z and CSP. Formal Asp. Comput. 15(1): 1-27 (2003)
56		John Derrick, Eerke A. Boiten: Relational Concurrent Refinement. Formal Asp. Comput. 15(2-3): 182-214 (2003)
	2002
55		Thomas Arts, Clara Benac Earle, John Derrick: Verifying Erlang Code: A Resource Locker Case-Study. FME 2002: 184-203
54		Chris J. Taylor, Eerke A. Boiten, John Derrick: Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS 2002: 61-76
53		Graeme Smith, John Derrick: Abstract Specification in Object-Z and CSP. ICFEM 2002: 108-119
52		Behzad Bordbar, John Derrick, A. Gill Waters: A UML Approach to the Design of Open Distributed Systems. ICFEM 2002: 561-572
51		Ralph Miarka, John Derrick, Eerke A. Boiten: Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB 2002: 204-225
50		Behzad Bordbar, John Derrick, A. Gill Waters: Using UML to specify QoS constraints in ODP. Computer Networks 40(2): 279-304 (2002)
49		John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright: Preface. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
48		Eerke A. Boiten, John Derrick: Unifying concurrent and relational refinement. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
47		John Derrick, Eerke A. Boiten: Combining Component Specifications in Object-Z and CSP. Formal Asp. Comput. 13(2): 111-127 (2002)
46		Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick: A Formal Framework for Viewpoint Consistency. Formal Methods in System Design 21(2): 111-166 (2002)
45		Chris J. Taylor, Eerke A. Boiten, John Derrick: ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proceedings - Software 149(2): 57-63 (2002)
	2001
44		James B. Cole, John Derrick, Zoran Milosevic, Kerry Raymond: Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification. POLICY 2001: 1-17
43		Howard Bowman, Jeremy Bryans, John Derrick: Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. 44(4): 230-245 (2001)
42		Graeme Smith, John Derrick: Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. Formal Methods in System Design 18(3): 249-284 (2001)
	2000
41		John Derrick, Eerke A. Boiten: Refinement of objects and operations in Object-Z. FMOODS 2000: 257-
40		Chris J. Taylor, John Derrick, Eerke A. Boiten: A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM 2000: 177-
39		Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick: Specification and Analysis of Automata-Based Designs. IFM 2000: 176-193
38		John Derrick, Graeme Smith: Structural Refinement in Object-Z/CSP. IFM 2000: 194-213
37		Eerke A. Boiten, John Derrick: Liberating Data Refinement. MPC 2000: 144-166
36		Ralph Miarka, Eerke A. Boiten, John Derrick: Guards, Preconditions, and Refinement in Z. ZB 2000: 286-303
35		Jeremy Bryans, Howard Bowman, John Derrick: Stochastic Model Checking for Multimedia CoRR cs.MM/0002004: (2000)
34		Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen: Viewpoint consistency in ODP. Computer Networks 34(3): 503-537 (2000)
33		Howard Bowman, John Derrick, Ed Brinksma: Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Trans. Software Eng. 26(7): 577-578 (2000)
32		John Derrick: A single complete refinement rule for Z. J. Log. Comput. 10(5): 663-675 (2000)
31		John Derrick: Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review). Softw. Test., Verif. Reliab. 10(3): 195 (2000)
30		Robert M. Hierons, John Derrick: Editorial: special issue on specification-based testing. Softw. Test., Verif. Reliab. 10(4): 201-202 (2000)
	1999
29		Howard Bowman, John Derrick: A Junction between State Based and Behavioural Specification (Invited Talk). FMOODS 1999: 213-239
28		John Derrick, Eerke A. Boiten: Specifying Component and Context Specification Using Promotion. IFM 1999: 293-312
27		Jeremy Bryans, John Derrick: Stochastic Specification and Verification. IWFM 1999
26		John Derrick, Eerke A. Boiten: Non-atomic Refinement in Z. World Congress on Formal Methods 1999: 1477-1496
25		John Derrick, Eerke A. Boiten: Calculating upward and downward simulations of state-based specifications. Information & Software Technology 41(13): 917-923 (1999)
24		Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen: Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999)
23		Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. 35(1): 29-75 (1999)
22		John Derrick, Eerke A. Boiten: Testing Refinements of State-based Formal Specifications. Softw. Test., Verif. Reliab. 9(1): 27-50 (1999)
	1998
21		Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman: Consistency of Partial Process Specifications. AMAST 1998: 248-262
20		John Derrick, Eerke A. Boiten: Testing Refinements by Refining Tests. ZUM 1998: 265-283
19		John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Specifying and Refining Internal Operations in Z. Formal Asp. Comput. 10(2): 125-159 (1998)
18		Tommaso Bolognesi, John Derrick: Constraint-oriented style for object-oriented formal specification. IEE Proceedings - Software 145(2-3): 61-70 (1998)
	1997
17		Howard Bowman, John Derrick: Extending LOTOS with Time: A True Concurrency Perspective. ARTS 1997: 383-399
16		Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen: Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664
15		Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten: Disjunction of LOTOS Specifications. FORTE 1997: 177-192
14		Graeme Smith, John Derrick: Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. ICFEM 1997: 293-
13		G. P. A. Fernandes, John Derrick: Formal Specification and Testing of a Management Architecture. Integrated Network Management 1997: 473-484
12		John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Weak Refinement in Z. ZUM 1997: 369-388
	1996
11		Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306
10		John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen: Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516
	1995
9		John Derrick, Peter F. Linington, S. J. Thompson: Formal description techniques for object management. Integrated Network Management 1995: 641-653
8		Howard Bowman, John Derrick: A True Concurrency Semantics for Quality of Service Specification and Validation. MMNET 1995: 173-182
7		Maarten Steen, Howard Bowman, John Derrick: Composition of LOTOS specifications. PSTV 1995: 87-102
6		Howard Bowman, John Derrick: Modelling distributed systems using Z. SAC 1995: 147-151
5		Howard Bowman, John Derrick, Maarten Steen: Viewpoints and Objects. ZUM 1995: 449-468
	1994
4		Howard Bowman, John Derrick: Consistency and Conformance in ODP (Abstract). PODC 1994: 388
3		Howard Bowman, John Derrick, Richard E. Jones: Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). PODC 1994: 394
	1974
2		J. P. Calais, John Derrick, Gabriel Sabbagh: Meeting of the Association for Symbolic Logic: Orleans, France, 1972. J. Symb. Log. 39(2): 371-389 (1974)
	1968
1		M. H. Lob, F. R. Drake, John Derrick: Meeting of the Association for Symbolic Logic Leeds 1967. J. Symb. Log. 33(3): 490 (1968)

Coauthor Index

1	Bernhard K. Aichernig	[81]
2	David H. Akehurst	[61] [62]
3	Thomas Arts	[55] [64]
4	Richard Banach	[77]
5	Lynne Blair	[39]
6	Kirill Bogdanov	[96]
7	Eerke A. Boiten	[10] [11] [12] [15] [16] [19] [20] [21] [22] [23] [24] [25] [26] [28] [34] [36] [37] [40] [41] [45] [46] [47] [48] [49] [51] [54] [56] [63] [67] [69] [71] [72] [80] [81] [86] [87] [89] [93] [94] [95] [98]
8	Tommaso Bolognesi	[18] [68]
9	Behzad Bordbar	[50] [52]
10	Jonathan P. Bowen	[96]
11	Howard Bowman	[3] [4] [5] [6] [7] [8] [10] [11] [12] [15] [16] [17] [19] [21] [23] [24] [29] [33] [34] [35] [39] [43] [46] [58]
12	Ed Brinksma	[33]
13	Jeremy Bryans	[27] [35] [39] [43] [58]
14	J. P. Calais	[2]
15	Rance Cleaveland	[96]
16	James B. Cole	[44]
17	Jeremy Dick	[96]
18	F. R. Drake	[1]
19	Clara Benac Earle	[55] [64] [74]
20	G. P. A. Fernandes	[13]
21	Lars-Åke Fredlund (Lars-åke Fredlund)	[74]
22	Marian Gheorghe	[96]
23	Lindsay Groves	[81]
24	Qiang Guo	[84] [90] [97] [99]
25	Mark Harman	[76] [96]
26	Robert M. Hierons	[30] [76] [96]
27	Csaba Hoch	[90]
28	Richard E. Jones	[3]
29	Kalpesh Kapoor	[96]
30	Paul Krause	[96]
31	Peter F. Linington	[9] [34]
32	M. H. Lob	[1]
33	Gerald Lüttgen	[96]
34	Ralph Miarka	[36] [51]
35	Zoran Milosevic	[44]
36	Siobhán North	[78] [92]
37	Kerry Raymond	[44]
38	Steve Reeves	[95]
39	Gabriel Sabbagh	[2]
40	Gerhard Schellhorn	[83] [87] [91] [93]
41	Anthony J. H. Simons	[92] [96]
42	Tony Simons	[78]
43	Graeme Smith	[14] [38] [42] [53] [57] [66] [67] [69] [70] [75] [88] [89]
44	Maarten Steen	[5] [7] [10] [11] [12] [15] [16] [19] [21] [23] [24] [34] [46]
45	Chris J. Taylor	[40] [45] [54]
46	S. J. Thompson	[9]
47	Jüri Vain	[85]
48	Sergiy A. Vilkomir	[96]
49	Neil Walkinshaw	[97] [99]
50	A. Gill Waters	[50] [52] [61] [62]
51	Heike Wehrheim	[60] [73] [79] [82] [83] [91]
52	Jim Woodcock (J. C. P. Woodcock)	[49]
53	Martin R. Woodward	[96]
54	Joakim von Wright	[49]
55	Hussein Zedan (Hussein S. M. Zedan)	[96]

Colors in the list of coauthors