Jeremy Dick

	2009
13		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)
	2006
12		Jeremy Dick: A Requirements Guide For All (REGAL): An INCOSE Initiative. RE 2006: 264
	2005
11		Gauthier Fanmuy, Frederique Populus, Jean Rene, Jeremy Dick, Sjaak Brinkkemper, Matthias Weber, Philippe Baron: Are Requirements Engineering best practices the same for all industries?. RE 2005: 448
10		Jeremy Dick: Design Traceability. IEEE Software 22(6): 14-16 (2005)
	1997
9		Jeremy Dick, Eoin Woods: Lessons learned from rigorous system software development. Information & Software Technology 39(8): 551-560 (1997)
8		Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods: Making the Most of Formal Specification Through Animation, Testing and Proof. Sci. Comput. Program. 29(1-2): 53-78 (1997)
	1996
7		Juan Bicarregui, Jeremy Dick, Eoin Woods: Quantitative Analysis of an Application of Formal Methods. FME 1996: 60-73
6		Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen: Applying the B Technologies on CICS. FME 1996: 74-84
5		Jeremy Dick, Jérôme Loubersac: A Visual Approach to VDM. SOFSEM 1996: 275-284
	1993
4		Jeremy Dick, Alain Faivre: Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. FME 1993: 268-284
	1991
3		Jeremy Dick, Jérôme Loubersac: Integrating Structured and Formal Methods: A Visual Approach to VDM. ESEC 1991: 37-59
2		Jeremy Dick, Jérôme Loubersac: The Visual Presentation of VDM Specifications. VDM Europe (1) 1991: 670-671
	1990
1		Jeremy Dick, John Kalmus, Ursula Martin: Automating the Knuth Bendix Ordering. Acta Inf. 28(2): 95-119 (1990)

Coauthor Index

1	Philippe Baron	[11]
2	Juan Bicarregui	[7] [8]
3	Kirill Bogdanov	[13]
4	Jonathan P. Bowen	[13]
5	Sjaak Brinkkemper	[11]
6	Rance Cleaveland	[13]
7	John Derrick	[13]
8	Alain Faivre	[4]
9	Gauthier Fanmuy	[11]
10	Marian Gheorghe	[13]
11	Mark Harman	[13]
12	Robert M. Hierons	[13]
13	Jonathan Hoare	[6]
14	John Kalmus	[1]
15	Kalpesh Kapoor	[13]
16	Paul Krause	[13]
17	Jérôme Loubersac	[2] [3] [5]
18	Gerald Lüttgen	[13]
19	Ursula Martin	[1]
20	Brian Matthews	[8]
21	David Neilson	[6]
22	Frederique Populus	[11]
23	Jean Rene	[11]
24	Anthony J. H. Simons	[13]
25	Ib Holm Sørensen	[6]
26	Sergiy A. Vilkomir	[13]
27	Matthias Weber	[11]
28	Eoin Woods	[7] [8] [9]
29	Martin R. Woodward	[13]
30	Hussein Zedan (Hussein S. M. Zedan)	[13]

Colors in the list of coauthors