Susan Stepney

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Atomicity failure and the retrenchment atomicity pattern. Formal Asp. Comput. 25(3): 439-464 (2013)

Susan Stepney: Programming Unconventional Computers: Dynamics, Development, Self-Reference. Entropy 14(10): 1939-1952 (2012)

Matthias Bechmann, Angelika Sebald, Susan Stepney: Boolean Logic Gate Design Principles in Unconventional Computers: an NMR Case Study. IJUC 8(2): 139-159 (2012)

Martyn Amos, Susan Stepney, René Doursat, Francisco J. Vico, Steen Rasmussen: TRUCE: A Coordination Action for Unconventional Computation. IJUC 8(4): 333-337 (2012)

Paul S. Andrews, Susan Stepney: Preface: EmergeNET4: engineering emergence. Natural Computing 11(3): 415-416 (2012)

Alexander P. Turner, Michael A. Lones, Luis A. Fuente, Susan Stepney, Leo S. D. Caves, Andy M. Tyrrell: Using Artificial Epigenetic Regulatory Networks to Control Complex Tasks within Chaotic Systems. IPCAT 2012: 1-11

Luis A. Fuente, Michael A. Lones, Alexander P. Turner, Susan Stepney, Leo S. D. Caves, Andy M. Tyrrell: Evolved Artificial Signalling Networks for the Control of a Conservative Complex Dynamical System. IPCAT 2012: 38-49

Susan Stepney, Samson Abramsky, Matthias Bechmann, Jerzy Gorecki, Viv Kendon, Thomas J. Naughton, Mario J. Pérez-Jiménez, Francisco José Romero-Campero, Angelika Sebald: Heterotic Computing Examples with Optics, Bacteria, and Chemicals. UCNC 2012: 198-209

Susan Stepney, Ada Diaconescu, René Doursat, Jean-Louis Giavitto, Taras Kowaliw, Ottoline Leyser, Bruce MacLennan, Olivier Michel, Julian F. Miller, Igor Nikolic, Antoine Spicher, Christof Teuscher, Gunnar Tufte, Francisco J. Vico, Lidia Yamamoto: Gardening Cyber-Physical Systems. UCNC 2012: 237-238

Susan Stepney: Book Review. J. Cellular Automata 6(4-5): 417-419 (2011)

Jon Timmis, Paul S. Andrews, Susan Stepney: Editorial for special issue on the interaction between computation and biology. Natural Computing 10(1): 187-188 (2011)

Viv Kendon, Angelika Sebald, Susan Stepney, Matthias Bechmann, Peter Hines, Robert C. Wagner: Heterotic Computing. UC 2011: 113-124

Susan Stepney, Viv Kendon, Peter Hines, Angelika Sebald: A Framework for Heterotic Computing. QPL 2011: 263-273

Matthias Bechmann, Angelika Sebald, Susan Stepney: Boolean logic gate design principles in unconventional computers: an NMR case study. CoRR abs/1109.0918 (2011)

Marta Roselló-Merino, Matthias Bechmann, Angelika Sebald, Susan Stepney: Classical Computing in Nuclear Magnetic Resonance. IJUC 6(3-4): 163-195 (2010)

Nick Owens, Susan Stepney: Investigations of Game of Life Cellular Automata Rules on Penrose Tilings: Lifetime, Ash, and Oscillator Statistics. J. Cellular Automata 5(3): 207-225 (2010)

Edward J. Powley, Susan Stepney: Counting Preimages of Homogeneous Configurations in 1-Dimensional Cellular Automata. J. Cellular Automata 5(4-5): 353-381 (2010)

Jennifer Owen, Susan Stepney, Jonathan Timmis, Alan F. T. Winfield: Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics. ANTS Conference 2010: 432-439

Michael A. Lones, Andy M. Tyrrell, Susan Stepney, Leo S. D. Caves: Controlling Complex Dynamics with Artificial Biochemical Networks. EuroGP 2010: 159-170

Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, Adam T. Sampson: Reflections on the Simulation of Complex Systems for Science. ICECCS 2010: 276-285

Matthias Bechmann, Angelika Sebald, Susan Stepney: From Binary to Continuous Gates - and Back Again. ICES 2010: 335-347

Susan Stepney: Non-Classical Hypercomputation. IJUC 5(3-4): 267-276 (2009)

Edward J. Powley, Susan Stepney: Automorphisms of Transition Graphs for Elementary Cellular Automata. J. Cellular Automata 4(2): 125-136 (2009)

Edward J. Powley, Susan Stepney: Automorphisms of Transition Graphs for Linear Cellular Automata. J. Cellular Automata 4(4): 293-310 (2009)

Andrew J. Payne, Susan Stepney: Representation and structural biases in CGP. IEEE Congress on Evolutionary Computation 2009: 1064-1071

Darren Beaumont, Susan Stepney: Grammatical Evolution of L-systems. IEEE Congress on Evolutionary Computation 2009: 2446-2453

Simon J. Hickinbotham, Edward Clark, Susan Stepney, Tim Clarke, Peter Young: Gene regulation in a particle metabolome. IEEE Congress on Evolutionary Computation 2009: 3024-3031

Gemma B. Danks, Susan Stepney, Leo S. D. Caves: Cotranslational Protein Folding with L-systems. ECAL (1) 2009: 289-296

Simon J. Hickinbotham, Edward Clark, Susan Stepney, Tim Clarke, Adam Nellis, Mungo Pay, Peter Young: Molecular Microprograms. ECAL (1) 2009: 297-304

Susan Stepney: Visualising Random Boolean Network Dynamics: Effects of Perturbations and Canalisation. ECAL (1) 2009: 369-376

Adam Faulconbridge, Susan Stepney, Julian F. Miller, Leo S. D. Caves: RBN-World - A Sub-symbolic Artificial Chemistry. ECAL (1) 2009: 377-384

Susan Stepney: Visualising random boolean network dynamics. GECCO 2009: 1781-1782

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)

Andrew Adamatzky, Susan Stepney: Towards Theory of Unconventional Computing. IJUC 4(3): i-ii (2008)

Nick Owens, Susan Stepney: Investigations of Game of Life cellular automata rules on Penrose Tilings: lifetime and ash statistics. Automata 2008: 1-35

Edward J. Powley, Susan Stepney: Automorphisms of transition graphs for a linear cellular automaton. Automata 2008: 55-69

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

Kester Clegg, Susan Stepney: Analogue Circuit Control through Gene Expression. EvoWorkshops 2008: 154-163

Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson (Eds.): 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. Concurrent Systems Engineering Series 66, IOS Press 2008, isbn 978-1-58603-907-3

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)

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)

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2-3): 301-329 (2007)

Gemma B. Danks, Susan Stepney, Leo S. D. Caves: Folding Protein-Like Structures with Open L-Systems. ECAL 2007: 1100-1109

Andrew Weeks, Susan Stepney, Fiona Polack: Neutral Emergence and Coarse Graining. ECAL 2007: 1131-1140

Susan Stepney, Tim Clarke, Peter Young: PLAZZMID: An Evolutionary Agent-Based Architecture Inspired by Bacteria and Bees. ECAL 2007: 1151-1160

Kester Clegg, Susan Stepney, Tim Clarke: Evolutionary Search Applied to Reconfigurable Analogue Control. FPL 2007: 593-596

Kester Clegg, Susan Stepney, Tim Clarke: Using feedback to regulate gene expression in a developmental control architecture. GECCO 2007: 966-973

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Retrenchment and the Atomicity Pattern. SEFM 2007: 37-46

Paul Massey, John A. Clark, Susan Stepney: Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming. Evolutionary Computation 14(1): 21-40 (2006)

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)

Nuno Amálio, Susan Stepney, Fiona Polack: A Formal Template Language Enabling Metaproof. FM 2006: 252-267

Susan Stepney, Fiona Polack, Heather R. Turner: Engineering Emergence. ICECCS 2006: 89-97

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA 2006: 82-90

Richard Banach, Michael Poppleton, Susan Stepney: Retrenching the Purse: Finite Exception Logs, and Validating the Small. SEW 2006: 234-248

Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney (Eds.): Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings. Lecture Notes in Computer Science 4135, Springer 2006, isbn 3-540-38593-2

Susan Stepney: Desert Island Column. Autom. Softw. Eng. 12(1): 139-141 (2005)

Fiona Polack, Susan Stepney: Emergent Properties Do Not Refine. Electr. Notes Theor. Comput. Sci. 137(2): 163-181 (2005)

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)

John A. Clark, Jeremy L. Jacob, Susan Stepney: The Design of S-Boxes by Simulated Annealing. New Generation Comput. 23(3): 219-231 (2005)

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)

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenchment and the Mondex Electronic Purse. Abstract State Machines 2005: 41-48

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

Margaret Hill, Susan Stepney, Francis Wan: Penrose Life: Ash and Oscillators. ECAL 2005: 471-480

Peter Worth, Susan Stepney: Growing Music: Musical Interpretations of L-Systems. EvoWorkshops 2005: 545-550

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM 2005: 382-398

Paul Massey, John A. Clark, Susan Stepney: Evolution of a human-competitive quantum fourier transform algorithm using genetic programming. GECCO 2005: 1657-1663

John Newborough, Susan Stepney: A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs. ICARIS 2005: 43-55

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

Jemima Rossmorris, Susan Stepney: Requirements as Conjectures: Intuitive DVD Menu Navigation. ZB 2005: 172-186

Nuno Amálio, Fiona Polack, Susan Stepney: An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278

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)

Paul Massey, John A. Clark, Susan Stepney: Evolving Quantum Circuits and Programs Through Genetic Programming. GECCO (2) 2004: 569-580

Susan Stepney, Robert E. Smith, Jonathan Timmis, Andrew M. Tyrrell: Towards a Conceptual Framework for Artificial Immune Systems. ICARIS 2004: 53-64

Nuno Amálio, Susan Stepney, Fiona Polack: Formal Proof from UML Models. ICFEM 2004: 418-433

Susan Stepney: Teaching post-classical computation: (extended abstract). ITiCSE 2004: 3

Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack: Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340-

Matthew Russell, John A. Clark, Susan Stepney: Using Ants to Attack a Classical Cipher. GECCO 2003: 146-147

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

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

Howard Chivers, John A. Clark, Susan Stepney: Smart Devices and Software Agents: The Basics of Good Behaviour. SPC 2003: 39-52

Susan Stepney, Fiona Polack, Ian Toyn: An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB 2003: 2-19

Susan Stepney, Fiona Polack, Ian Toyn: Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB 2003: 20-39

Susan Stepney, Fiona Polack, Ian Toyn: Refactoring in maintenance and development of Z specifications. Electr. Notes Theor. Comput. Sci. 70(3): 50-69 (2002)

Susan Stepney: Critical Critical Systems. FASec 2002: 62-70

John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan: Evolving Boolean Functions Satisfying Multiple Criteria. INDOCRYPT 2002: 246-259

Ian Toyn, Susan Stepney: Characters + Mark-up = Z Lexis. ZB 2002: 100-119

Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King: Type-Constrained Generics for Z. ZB 2000: 250-263

Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King: Typechecking Z. ZB 2000: 264-285

Susan Stepney, David Cooper: Formal Methods for Industrial Products. ZB 2000: 374-393

David Cooper, Susan Stepney: Segregation with Communication. ZB 2000: 451-470

Fiona Polack, Susan Stepney: Systems Development Using Z Generics. World Congress on Formal Methods 1999: 1048-1067

Susan Stepney: Incremental Development of a High Integrity Compiler: Experience from an Industrial Development. HASE 1998: 142-149

Susan Stepney, David Cooper, Jim Woodcock: More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. ZUM 1998: 284-307

David W. J. Stringer-Calvert, Susan Stepney, Ian Wand: Using PVS to Prove a Z Refinement: A Case Study. FME 1997: 573-588

Rosalind Barden, Susan Stepney, David Cooper: Z in practice. BCS practitioner series, Prentice Hall 1995, isbn 978-0-13-124934-9, pp. I-XVIII, 1-407

Jonathan P. Bowen, Susan Stepney, Rosalind Barden: Annotated Z bibliography. Information & Software Technology 37(5-6): 317-332 (1995)

Susan Stepney: Testing as Abstraction. ZUM 1995: 137-151

Susan Stepney: High integrity compilation - a case study. Prentice Hall 1993, isbn 978-0-13-381039-4, pp. I-X, 1-176

Rosalind Barden, Susan Stepney: Support for Using Z. Z User Workshop 1992: 255-280

Susan Stepney, Rosalind Barden, David Cooper (Eds.): Object Orientation in Z. Workshops in Computing, Springer 1992, isbn 3-540-19778-8

Susan Stepney, Dave Whitely, David Cooper, Colin Grant: A Demonstrably Correct Compiler. Formal Asp. Comput. 3(1): 58-101 (1991)

Rosalind Barden, Susan Stepney, David Cooper: The Use of Z. Z User Workshop 1991: 99-124

Susan Stepney, Stephen P. Lord: Formal Specification of an Access Control System. Softw., Pract. Exper. 17(9): 575-593 (1987)