Susan Stepney

2008
60	EE	Kester Clegg, Susan Stepney: Analogue Circuit Control through Gene Expression. EvoWorkshops 2008: 154-163
59	EE	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
58	EE	Gemma B. Danks, Susan Stepney, Leo S. D. Caves: Folding Protein-Like Structures with Open L-Systems. ECAL 2007: 1100-1109
57	EE	Andrew Weeks, Susan Stepney, Fiona Polack: Neutral Emergence and Coarse Graining. ECAL 2007: 1131-1140
56	EE	Susan Stepney, Tim Clarke, Peter Young: PLAZZMID: An Evolutionary Agent-Based Architecture Inspired by Bacteria and Bees. ECAL 2007: 1151-1160
55	EE	Kester Clegg, Susan Stepney, Tim Clarke: Using feedback to regulate gene expression in a developmental control architecture. GECCO 2007: 966-973
54	EE	Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Retrenchment and the Atomicity Pattern. SEFM 2007: 37-46
53	EE	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)
52	EE	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)
51	EE	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2-3): 301-329 (2007)
2006
50		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
49	EE	Nuno Amálio, Susan Stepney, Fiona Polack: A Formal Template Language Enabling Metaproof. FM 2006: 252-267
48	EE	Susan Stepney, Fiona Polack, Heather R. Turner: Engineering Emergence. ICECCS 2006: 89-97
47	EE	Richard Banach, Michael Poppleton, Susan Stepney: Retrenching the Purse: Finite Exception Logs, and Validating the Small. SEW 2006: 234-248
46	EE	Paul Massey, John A. Clark, Susan Stepney: Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming. Evolutionary Computation 14(1): 21-40 (2006)
45	EE	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. Parallel Algorithms Appl. 21(2): 97-125 (2006)
2005
44	EE	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenchment and the Mondex Electronic Purse. Abstract State Machines 2005: 41-48
43	EE	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
42	EE	Margaret Hill, Susan Stepney, Francis Wan: Penrose Life: Ash and Oscillators. ECAL 2005: 471-480
41	EE	Peter Worth, Susan Stepney: Growing Music: Musical Interpretations of L-Systems. EvoWorkshops 2005: 545-550
40	EE	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM 2005: 382-398
39	EE	Paul Massey, John A. Clark, Susan Stepney: Evolution of a human-competitive quantum fourier transform algorithm using genetic programming. GECCO 2005: 1657-1663
38	EE	John Newborough, Susan Stepney: A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs. ICARIS 2005: 43-55
37	EE	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
36	EE	Jemima Rossmorris, Susan Stepney: Requirements as Conjectures: Intuitive DVD Menu Navigation. ZB 2005: 172-186
35	EE	Nuno Amálio, Fiona Polack, Susan Stepney: An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278
34	EE	Susan Stepney: Desert Island Column. Autom. Softw. Eng. 12(1): 139-141 (2005)
33	EE	Fiona Polack, Susan Stepney: Emergent Properties Do Not Refine. Electr. Notes Theor. Comput. Sci. 137(2): 163-181 (2005)
32	EE	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)
31	EE	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	EE	Paul Massey, John A. Clark, Susan Stepney: Evolving Quantum Circuits and Programs Through Genetic Programming. GECCO (2) 2004: 569-580
29	EE	Susan Stepney, Robert E. Smith, Jonathan Timmis, Andrew M. Tyrrell: Towards a Conceptual Framework for Artificial Immune Systems. ICARIS 2004: 53-64
28	EE	Nuno Amálio, Susan Stepney, Fiona Polack: Formal Proof from UML Models. ICFEM 2004: 418-433
27	EE	Susan Stepney: Teaching post-classical computation: (extended abstract). ITiCSE 2004: 3
26	EE	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	EE	Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack: Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340-
24	EE	Matthew Russell, John A. Clark, Susan Stepney: Using Ants to Attack a Classical Cipher. GECCO 2003: 146-147
23	EE	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	EE	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	EE	Howard Chivers, John A. Clark, Susan Stepney: Smart Devices and Software Agents: The Basics of Good Behaviour. SPC 2003: 39-52
20	EE	Susan Stepney, Fiona Polack, Ian Toyn: An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB 2003: 2-19
19	EE	Susan Stepney, Fiona Polack, Ian Toyn: Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB 2003: 20-39
2002
18	EE	Susan Stepney: Critical Critical Systems. FASec 2002: 62-70
17	EE	John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan: Evolving Boolean Functions Satisfying Multiple Criteria. INDOCRYPT 2002: 246-259
16	EE	Ian Toyn, Susan Stepney: Characters + Mark-up = Z Lexis. ZB 2002: 100-119
15	EE	Susan Stepney, Fiona Polack, Ian Toyn: Refactoring in maintenance and development of Z specifications. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
2000
14	EE	Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King: Type-Constrained Generics for Z. ZB 2000: 250-263
13	EE	Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King: Typechecking Z. ZB 2000: 264-285
12	EE	Susan Stepney, David Cooper: Formal Methods for Industrial Products. ZB 2000: 374-393
11	EE	David Cooper, Susan Stepney: Segregation with Communication. ZB 2000: 451-470
1999
10	EE	Fiona Polack, Susan Stepney: Systems Development Using Z Generics. World Congress on Formal Methods 1999: 1048-1067
1998
9	EE	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	Andrew Adamatzky	[31] [45]
2	Thomas R. Addis	[45]
3	Tom Addis	[31]
4	Nuno Amálio	[28] [35] [49] [53]
5	Richard Banach	[40] [44] [47] [51] [52] [54]
6	Rosalind Barden	[3] [4] [5]
7	Fred R. M. Barnes	[43]
8	Samuel L. Braunstein	[31] [45]
9	Cristian S. Calude (Cristian Calude)	[50]
10	Leo S. D. Caves	[58]
11	Howard Chivers	[21] [32]
12	John A. Clark	[17] [21] [22] [23] [24] [25] [30] [31] [32] [37] [39] [45] [46] [59]
13	Tim Clarke	[55] [56]
14	Kester Clegg	[55] [60]
15	David Cooper	[2] [3] [5] [8] [11] [12] [59]
16	Gemma B. Danks	[58]
17	Michael J. Dinneen	[50]
18	Colin Grant	[2]
19	Anthony Hall	[54]
20	Margaret Hill	[42]
21	Jeremy L. Jacob (Jeremy Jacob)	[17] [23] [59]
22	Czeslaw Jeske	[40] [44] [51] [52] [54]
23	Colin G. Johnson	[22] [31] [45]
24	Steve King	[13] [14]
25	Yang Liu	[37]
26	Stephen P. Lord	[1]
27	Subhamoy Maitra	[17]
28	Paul Massey	[30] [39] [46]
29	William Millan	[17]
30	Robin Milner	[31] [45]
31	John Newborough	[38]
32	Derek Partridge	[22] [31] [45]
33	Gheorghe Paun	[50]
34	Fiona Polack	[10] [15] [19] [20] [25] [28] [33] [35] [43] [48] [49] [53] [57]
35	Michael Poppleton (M. Poppleton)	[40] [44] [47] [51] [52]
36	Jemima Rossmorris	[36]
37	Grzegorz Rozenberg	[50]
38	Matthew Russell	[24]
39	Robert E. Smith	[22] [29] [31] [45]
40	Thitima Srivatanakul	[25]
41	David W. J. Stringer-Calvert	[7]
42	Jonathan Timmis (Jon Timmis)	[29] [31] [45]
43	Ian Toyn	[13] [14] [15] [16] [19] [20]
44	Heather R. Turner	[43] [48]
45	Andrew M. Tyrrell (Andy M. Tyrrell)	[29] [31] [45]
46	Samuel H. Valentine	[13] [14]
47	Francis Wan	[42]
48	Ian Wand	[7]
49	Andrew Weeks	[57]
50	Peter H. Welch	[31] [43] [45]
51	Dave Whitely	[2]
52	Jim Woodcock (J. C. P. Woodcock)	[8] [59]
53	Peter Worth	[41]
54	Peter Young	[56]

Colors in the list of coauthors