Jeremy Dick

2009
13	EE	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	EE	Jeremy Dick: A Requirements Guide For All (REGAL): An INCOSE Initiative. RE 2006: 264
2005
11	EE	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	EE	Jeremy Dick: Design Traceability. IEEE Software 22(6): 14-16 (2005)
1997
9	EE	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