Susan Stepney

	2009
66		Susan Stepney: Visualising random boolean network dynamics. GECCO 2009: 1781-1782
	2008
65		Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson: The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008 IOS Press 2008
64		Susan Stepney, Samson Abramsky, Andy Adamatzky, Colin G. Johnson, Jon Timmis: Grand Challenge 7: Journeys in Non-Classical Computation. BCS Int. Acad. Conf. 2008: 407-421
63		Kester Clegg, Susan Stepney: Analogue Circuit Control through Gene Expression. EvoWorkshops 2008: 154-163
62		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)
	2007
61		Gemma B. Danks, Susan Stepney, Leo S. D. Caves: Folding Protein-Like Structures with Open L-Systems. ECAL 2007: 1100-1109
60		Andrew Weeks, Susan Stepney, Fiona Polack: Neutral Emergence and Coarse Graining. ECAL 2007: 1131-1140
59		Susan Stepney, Tim Clarke, Peter Young: PLAZZMID: An Evolutionary Agent-Based Architecture Inspired by Bacteria and Bees. ECAL 2007: 1151-1160
58		Kester Clegg, Susan Stepney, Tim Clarke: Evolutionary Search Applied to Reconfigurable Analogue Control. FPL 2007: 593-596
57		Kester Clegg, Susan Stepney, Tim Clarke: Using feedback to regulate gene expression in a developmental control architecture. GECCO 2007: 966-973
56		Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Retrenchment and the Atomicity Pattern. SEFM 2007: 37-46
55		Nuno Amálio, Fiona Polack, Susan Stepney: Frameworks Based on Templates for Rigorous Model-driven Development. Electr. Notes Theor. Comput. Sci. 191: 3-23 (2007)
54		Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney: Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundam. Inform. 77(1-2): 29-69 (2007)
53		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2-3): 301-329 (2007)
	2006
52		Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney: Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings Springer 2006
51		Nuno Amálio, Susan Stepney, Fiona Polack: A Formal Template Language Enabling Metaproof. FM 2006: 252-267
50		Susan Stepney, Fiona Polack, Heather R. Turner: Engineering Emergence. ICECCS 2006: 89-97
49		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA 2006: 82-90
48		Richard Banach, Michael Poppleton, Susan Stepney: Retrenching the Purse: Finite Exception Logs, and Validating the Small. SEW 2006: 234-248
47		Paul Massey, John A. Clark, Susan Stepney: Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming. Evolutionary Computation 14(1): 21-40 (2006)
46		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
45		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenchment and the Mondex Electronic Purse. Abstract State Machines 2005: 41-48
44		Fiona Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes: An Architecture for Modelling Emergence in CA-Like Systems. ECAL 2005: 433-442
43		Margaret Hill, Susan Stepney, Francis Wan: Penrose Life: Ash and Oscillators. ECAL 2005: 471-480
42		Peter Worth, Susan Stepney: Growing Music: Musical Interpretations of L-Systems. EvoWorkshops 2005: 545-550
41		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM 2005: 382-398
40		Paul Massey, John A. Clark, Susan Stepney: Evolution of a human-competitive quantum fourier transform algorithm using genetic programming. GECCO 2005: 1657-1663
39		John Newborough, Susan Stepney: A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs. ICARIS 2005: 43-55
38		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
37		Jemima Rossmorris, Susan Stepney: Requirements as Conjectures: Intuitive DVD Menu Navigation. ZB 2005: 172-186
36		Nuno Amálio, Fiona Polack, Susan Stepney: An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278
35		Susan Stepney: Desert Island Column. Autom. Softw. Eng. 12(1): 139-141 (2005)
34		Fiona Polack, Susan Stepney: Emergent Properties Do Not Refine. Electr. Notes Theor. Comput. Sci. 137(2): 163-181 (2005)
33		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)
32		John A. Clark, Jeremy L. Jacob, Susan Stepney: The Design of S-Boxes by Simulated Annealing. New Generation Comput. 23(3): (2005)
31		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
30		Paul Massey, John A. Clark, Susan Stepney: Evolving Quantum Circuits and Programs Through Genetic Programming. GECCO (2) 2004: 569-580
29		Susan Stepney, Robert E. Smith, Jonathan Timmis, Andrew M. Tyrrell: Towards a Conceptual Framework for Artificial Immune Systems. ICARIS 2004: 53-64
28		Nuno Amálio, Susan Stepney, Fiona Polack: Formal Proof from UML Models. ICFEM 2004: 418-433
27		Susan Stepney: Teaching post-classical computation: (extended abstract). ITiCSE 2004: 3
26		Susan Stepney: Book Review: Evolutionary Electronics: Automatic Design of Electronic Circuits and Systems by Genetic Algorithms. Genetic Programming and Evolvable Machines 5(4): 395-396 (2004)
	2003
25		Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack: Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340-
24		Matthew Russell, John A. Clark, Susan Stepney: Using Ants to Attack a Classical Cipher. GECCO 2003: 146-147
23		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
22		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
21		Howard Chivers, John A. Clark, Susan Stepney: Smart Devices and Software Agents: The Basics of Good Behaviour. SPC 2003: 39-52
20		Susan Stepney, Fiona Polack, Ian Toyn: An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB 2003: 2-19
19		Susan Stepney, Fiona Polack, Ian Toyn: Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB 2003: 20-39
	2002
18		Susan Stepney: Critical Critical Systems. FASec 2002: 62-70
17		John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan: Evolving Boolean Functions Satisfying Multiple Criteria. INDOCRYPT 2002: 246-259
16		Ian Toyn, Susan Stepney: Characters + Mark-up = Z Lexis. ZB 2002: 100-119
15		Susan Stepney, Fiona Polack, Ian Toyn: Refactoring in maintenance and development of Z specifications. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
	2000
14		Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King: Type-Constrained Generics for Z. ZB 2000: 250-263
13		Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King: Typechecking Z. ZB 2000: 264-285
12		Susan Stepney, David Cooper: Formal Methods for Industrial Products. ZB 2000: 374-393
11		David Cooper, Susan Stepney: Segregation with Communication. ZB 2000: 451-470
	1999
10		Fiona Polack, Susan Stepney: Systems Development Using Z Generics. World Congress on Formal Methods 1999: 1048-1067
	1998
9		Susan Stepney: Incremental Development of a High Integrity Compiler: Experience from an Industrial Development. HASE 1998: 142-149
8		Susan Stepney, David Cooper, Jim Woodcock: More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. ZUM 1998: 284-307
	1997
7		David W. J. Stringer-Calvert, Susan Stepney, Ian Wand: Using PVS to Prove a Z Refinement: A Case Study. FME 1997: 573-588
	1995
6		Susan Stepney: Testing as Abstraction. ZUM 1995: 137-151
	1992
5		Susan Stepney, Rosalind Barden, David Cooper: Object Orientation in Z Springer 1992
4		Rosalind Barden, Susan Stepney: Support for Using Z. Z User Workshop 1992: 255-280
	1991
3		Rosalind Barden, Susan Stepney, David Cooper: The Use of Z. Z User Workshop 1991: 99-124
2		Susan Stepney, Dave Whitely, David Cooper, Colin Grant: A Demonstrably Correct Compiler. Formal Asp. Comput. 3(1): 58-101 (1991)
	1987
1		Susan Stepney, Stephen P. Lord: Formal Specification of an Access Control System. Softw., Pract. Exper. 17(9): 575-593 (1987)

Coauthor Index

1	Samson Abramsky	[64]
2	Andrew Adamatzky (Andy Adamatzky)	[31] [46] [64]
3	Thomas R. Addis	[46]
4	Tom Addis	[31]
5	Nuno Amálio	[28] [36] [51] [55]
6	Richard Banach	[41] [45] [48] [49] [53] [54] [56]
7	Rosalind Barden	[3] [4] [5]
8	Fred R. M. Barnes	[44] [65]
9	Samuel L. Braunstein	[31] [46]
10	Jan F. Broenink	[65]
11	Cristian S. Calude (Cristian Calude)	[52]
12	Leo S. D. Caves	[61]
13	Howard Chivers	[21] [33]
14	John A. Clark (John Andrew Clark)	[17] [21] [22] [23] [24] [25] [30] [31] [32] [33] [38] [40] [46] [47] [62]
15	Tim Clarke	[57] [58] [59]
16	Kester Clegg	[57] [58] [63]
17	David Cooper	[2] [3] [5] [8] [11] [12] [62]
18	Gemma B. Danks	[61]
19	Michael J. Dinneen	[52]
20	Colin Grant	[2]
21	Anthony Hall	[56]
22	Margaret Hill	[43]
23	Jeremy L. Jacob (Jeremy Jacob)	[17] [23] [32] [62]
24	Czeslaw Jeske	[41] [45] [49] [53] [54] [56]
25	Colin G. Johnson	[22] [31] [46] [64]
26	Steve King	[13] [14]
27	Yang Liu	[38]
28	Stephen P. Lord	[1]
29	Subhamoy Maitra	[17]
30	Paul Massey	[30] [40] [47]
31	Alistair A. McEwan	[65]
32	William Millan	[17]
33	Robin Milner	[31] [46]
34	John Newborough	[39]
35	Derek Partridge	[22] [31] [46]
36	Gheorghe Paun	[52]
37	Fiona Polack (Fiona A. C. Polack)	[10] [15] [19] [20] [25] [28] [34] [36] [44] [50] [51] [55] [60] [65]
38	Michael Poppleton (M. Poppleton)	[41] [45] [48] [49] [53] [54]
39	Jemima Rossmorris	[37]
40	Grzegorz Rozenberg	[52]
41	Matthew Russell	[24]
42	Adam T. Sampson	[65]
43	Robert Elliott Smith (Robert E. Smith)	[22] [29] [31] [46]
44	Thitima Srivatanakul	[25]
45	Gardiner S. Stiles	[65]
46	David W. J. Stringer-Calvert	[7]
47	Jonathan Timmis (Jon Timmis)	[29] [31] [46] [64]
48	Ian Toyn	[13] [14] [15] [16] [19] [20]
49	Heather R. Turner	[44] [50]
50	Andrew M. Tyrrell (Andy M. Tyrrell)	[29] [31] [46]
51	Samuel H. Valentine	[13] [14]
52	Francis Wan	[43]
53	Ian Wand	[7]
54	Andrew Weeks	[60]
55	Peter H. Welch	[31] [44] [46] [65]
56	Dave Whitely	[2]
57	Jim Woodcock (J. C. P. Woodcock)	[8] [62]
58	Peter Worth	[42]
59	Peter Young	[59]

Colors in the list of coauthors