John A. Clark

John Andrew Clark

	2009
55		Sion Ll Rhys, Simon M. Poulding, John A. Clark: Using automated search to generate test data for matlab. GECCO 2009: 1697-1704
54		Julio C. Hernandez-Castro, Juan E. Tapiador, Pedro Peris-Lopez, John A. Clark, El-Ghazali Talbi: Metaheuristic traceability attack against SLMAP, an RFID lightweight authentication protocol. IPDPS 2009: 1-5
53		Siraj A. Shaikh, Howard Chivers, Philip Nobles, John A. Clark, Hao Chen: A Deployment Value Model for Intrusion Detection Sensors. ISA 2009: 250-259
52		Sevil Sen, John Andrew Clark: A grammatical evolution approach to intrusion detection on mobile ad hoc networks. WISEC 2009: 95-102
	2008
51		Yow Tzu Lim, Pau-Chen Cheng, Pankaj Rohatgi, John Andrew Clark: MLS security policy evolution with genetic programming. GECCO 2008: 1571-1578
50		David Robert White, John A. Clark, Jeremy Jacob, Simon M. Poulding: Searching for resource-efficient programs: low-power pseudorandom number generators. GECCO 2008: 1775-1782
49		Xun Dong, John A. Clark, Jeremy L. Jacob: Threat Modelling in User Performed Authentication. ICICS 2008: 49-64
48		Yow Tzu Lim, Pau-Chen Cheng, John Andrew Clark, Pankaj Rohatgi: Policy evolution with Genetic Programming: A comparison of three approaches. IEEE Congress on Evolutionary Computation 2008: 1792-1800
47		Sevil Sen, John A. Clark: Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks. PRICAI 2008: 1053-1058
46		Andrea Arcuri, David Robert White, John A. Clark, Xin Yao: Multi-objective Improvement of Software Using Co-evolution and Smart Seeding. SEAL 2008: 61-70
45		Yow Tzu Lim, Pau-Chen Cheng, John Andrew Clark, Pankaj Rohatgi: Policy Evolution with Grammatical Evolution. SEAL 2008: 71-80
44		Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob: The certification of the Mondex electronic purse to ITSEC Level E6. Formal Asp. Comput. 20(1): 5-19 (2008)
43		Yuan Zhan, John A. Clark: A search-based framework for automatic testing of MATLAB/Simulink models. Journal of Systems and Software 81(2): 262-285 (2008)
	2007
42		Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark: An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. HASE 2007: 53-62
41		Juan M. Estévez-Tapiador, Julio César Hernández Castro, John A. Clark: Heuristic search for non-linear cryptanalytic approximations. IEEE Congress on Evolutionary Computation 2007: 3561-3568
40		Juan M. Estévez-Tapiador, John A. Clark, Julio César Hernández Castro: Non-linear Cryptanalysis Revisited: Heuristic Search for Approximations to S-Boxes. IMA Int. Conf. 2007: 99-117
	2006
39		John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings Springer 2006
38		Hao Chen, John A. Clark, Jeremy Jacob: Human competitive security protocols synthesis. GECCO 2006: 1855-1856
37		Yuan Zhan, John A. Clark: The state problem for test generation in Simulink. GECCO 2006: 1941-1948
36		Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark: Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006
35		Paul Massey, John A. Clark, Susan Stepney: Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming. Evolutionary Computation 14(1): 21-40 (2006)
34		Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Thomas R. Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge: Journeys in non-classical computation II: initial journeys and waypoints. IJPEDS 21(2): 97-125 (2006)
	2005
33		Yuan Zhan, John A. Clark: Search-based mutation testing for Simulink models. GECCO 2005: 1061-1068
32		Paul Massey, John A. Clark, Susan Stepney: Evolution of a human-competitive quantum fourier transform algorithm using genetic programming. GECCO 2005: 1657-1663
31		Yang Liu, John A. Clark, Susan Stepney: "Devices Are People Too" Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example. SPC 2005: 31-45
30		Hao Chen, John A. Clark, Jeremy L. Jacob: Synthesising Efficient and Effective Security Protocols. Electr. Notes Theor. Comput. Sci. 125(1): 25-41 (2005)
29		John A. Clark, Susan Stepney, Howard Chivers: Breaking the Model: Finalisation and a Taxonomy of Security Attacks. Electr. Notes Theor. Comput. Sci. 137(2): 225-242 (2005)
28		John A. Clark, Jeremy L. Jacob, Susan Stepney: The Design of S-Boxes by Simulated Annealing. New Generation Comput. 23(3): (2005)
27		Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Tom Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge: Journeys in non-classical computation I: A grand challenge for computing research. Parallel Algorithms Appl. 20(1): 5-19 (2005)
	2004
26		Pantelimon Stanica, Subhamoy Maitra, John A. Clark: Results on Rotation Symmetric Bent and Correlation Immune Boolean Functions. FSE 2004: 161-177
25		Yuan Zhan, John A. Clark: Search Based Automatic Test-Data Generation at an Architectural Level. GECCO (2) 2004: 1413-1424
24		Paul Massey, John A. Clark, Susan Stepney: Evolving Quantum Circuits and Programs Through Genetic Programming. GECCO (2) 2004: 569-580
23		Mark Harman, John A. Clark: Metrics Are Fitness Functions Too. IEEE METRICS 2004: 58-69
22		Thitima Srivatanakul, John A. Clark, Fiona Polack: Effective Security Requirements Analysis: HAZOP and Use Cases. ISC 2004: 416-427
21		Howard Chivers, John A. Clark: Smart dust, friend or foe?--Replacing identity with configuration trust. Computer Networks 46(5): 723-740 (2004)
20		John A. Clark, Mark Harman, Robert M. Hierons: Editorial: Software testing in the United Kingdom. Softw. Test., Verif. Reliab. 14(3): 165-166 (2004)
	2003
19		Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack: Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340-
18		Matthew Russell, John A. Clark, Susan Stepney: Using Ants to Attack a Classical Cipher. GECCO 2003: 146-147
17		John A. Clark, Jeremy L. Jacob, Susan Stepney: Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It. GECCO 2003: 2022-2033
16		Susan Stepney, John A. Clark, Colin G. Johnson, Derek Partridge, Robert E. Smith: Artificial Immune Systems and the Grand Challenge for Non-classical Computation. ICARIS 2003: 204-216
15		Howard Chivers, John A. Clark, Susan Stepney: Smart Devices and Software Agents: The Basics of Good Behaviour. SPC 2003: 39-52
14		John A. Clark, José Javier Dolado, Mark Harman, Robert M. Hierons, Bryan F. Jones, M. Lumkin, Brian S. Mitchell, Spiros Mancoridis, K. Rees, Marc Roper, Martin J. Shepperd: Formulating software engineering as a search problem. IEE Proceedings - Software 150(3): 161-175 (2003)
	2002
13		Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause: FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104
12		John A. Clark, Jeremy L. Jacob: Fault Injection and a Timing Channel on an Analysis Technique. EUROCRYPT 2002: 181-196
11		John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan: Evolving Boolean Functions Satisfying Multiple Criteria. INDOCRYPT 2002: 246-259
	2001
10		John A. Clark, Jeremy L. Jacob: Protocols are programs too: the meta-heuristic search for security protocols. Information & Software Technology 43(14): 891-904 (2001)
9		Sun-Woo Kim, John A. Clark, John A. McDermid: Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw. Test., Verif. Reliab. 11(3): 207-225 (2001)
	2000
8		John A. Clark, Jeremy Jacob: Two-Stage Optimisation in the Design of Boolean Functions. ACISP 2000: 242-254
7		John A. Clark, Jeremy L. Jacob: Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. IEEE Symposium on Security and Privacy 2000: 82-95
6		Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid: Automated test-data generation for exception conditions. Softw., Pract. Exper. 30(1): 61-79 (2000)
	1999
5		Darren L. Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel J. Tracey: CONVERSE: A change-oriented process for engine controllers. IEE Proceedings - Software 146(3): 130-136 (1999)
	1998
4		Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid: An Automated Framework for Structural Test-Data Generation. ASE 1998: 285-288
3		John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine: Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM 1998: 76-
2		Nigel Tracey, John A. Clark, Keith Mander: Automated Program Flaw Finding Using Simulated Annealing. ISSTA 1998: 73-81
	1995
1		John A. Clark, Jeremy Jacob: On the Security of Recent Protocols. Inf. Process. Lett. 56(3): 151-155 (1995)

Coauthor Index

1	Andrew Adamatzky (Andy Adamatzky)	[27] [34]
2	Thomas R. Addis	[34]
3	Tom Addis	[27]
4	Andrea Arcuri	[46]
5	Iain Bate (I. J. Bate)	[42]
6	Kirill Bogdanov	[13]
7	Jonathan P. Bowen	[13]
8	Samuel L. Braunstein	[27] [34]
9	Phillip J. Brooke	[39]
10	Simon Burton	[3]
11	Darren L. Buttle	[5]
12	Julio César Hernández Castro	[40] [41]
13	Hao Chen	[30] [38] [53]
14	Pau-Chen Cheng	[45] [48] [51]
15	Howard Chivers	[15] [21] [29] [53]
16	David Cooper	[44]
17	José Javier Dolado	[14]
18	Xun Dong	[49]
19	Paul Emberson	[42]
20	Andy Galloway	[3]
21	Mark Harman	[13] [14] [20] [23]
22	Julio C. Hernandez-Castro	[54]
23	Robert M. Hierons	[13] [14] [20]
24	Jeremy L. Jacob (Jeremy Jacob)	[1] [7] [8] [10] [11] [12] [17] [28] [30] [38] [44] [49] [50]
25	Colin G. Johnson	[16] [27] [34]
26	Bryan F. Jones	[14]
27	Tim Kelly (Tim P. Kelly)	[36]
28	Sun-Woo Kim	[9]
29	Paul Krause	[13]
30	Yow Tzu Lim	[45] [48] [51]
31	Yang Liu	[31]
32	M. Lumkin	[14]
33	Subhamoy Maitra	[11] [26]
34	Spiros Mancoridis	[14]
35	Keith Mander	[2] [4] [6]
36	Paul Massey	[24] [32] [35]
37	John A. McDermid	[3] [4] [5] [6] [9]
38	William Millan	[11]
39	Robin Milner	[27] [34]
40	Brian S. Mitchell	[14]
41	Philip Nobles	[53]
42	Richard F. Paige	[39]
43	Derek Partridge	[16] [27] [34]
44	Pedro Peris-Lopez	[54]
45	Fiona Polack	[19] [22] [36] [39]
46	Simon M. Poulding	[42] [50] [55]
47	K. Rees	[14]
48	Sion Ll Rhys	[55]
49	Pankaj Rohatgi	[45] [48] [51]
50	Marc Roper	[14]
51	Matthew Russell	[18]
52	Sevil Sen	[47] [52]
53	Siraj A. Shaikh	[53]
54	Martin J. Shepperd	[14]
55	Robert Elliott Smith (Robert E. Smith)	[16] [27] [34]
56	Thitima Srivatanakul	[19] [22] [36]
57	Pantelimon Stanica	[26]
58	Alan Stephenson	[5]
59	Susan Stepney	[11] [15] [16] [17] [18] [19] [24] [27] [28] [29] [31] [32] [34] [35] [44]
60	El-Ghazali Talbi	[54]
61	Juan E. Tapiador (Juan M. Estévez-Tapiador)	[40] [41] [54]
62	Jonathan Timmis (Jon Timmis)	[27] [34]
63	Ian Toyn	[3]
64	Nigel Tracey	[2] [3] [4] [6]
65	Nigel J. Tracey	[5]
66	Andrew M. Tyrrell (Andy M. Tyrrell)	[27] [34]
67	Samuel H. Valentine	[3]
68	Peter H. Welch	[27] [34]
69	David Robert White	[46] [50]
70	Jim Woodcock (J. C. P. Woodcock)	[44]
71	Xin Yao	[46]
72	Yuan Zhan	[25] [33] [37] [43]

Colors in the list of coauthors