Susan Stepney

Orcid: 0000-0003-3146-5401

Affiliations:
  • University of York, UK


According to our database1, Susan Stepney authored at least 236 papers between 1987 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Exploring physical and digital architectures in magnetic nanoring array reservoir computers.
Neuromorph. Comput. Eng., 2024

Reservoir Computing Benchmarks: a review, a taxonomy, some best practices.
CoRR, 2024

Unsupervised self-organising map of prostate cell Raman spectra shows disease-state subclustering.
CoRR, 2024

Optimising network interactions through device agnostic models.
CoRR, 2024

A Word From the Editors.
Artif. Life, 2024

What Is Artificial Life Today, and Where Should It Go?
Artif. Life, 2024

A Methodology for Comparing and Benchmarking Quantum Devices.
Proceedings of the Unconventional Computation and Natural Computation, 2024

Benchmarking the D-Wave Quantum Annealer as a Sparse Boltzmann Machine: Recognition and Timing Performances.
Proceedings of the Unconventional Computation and Natural Computation, 2024

Entropy Transformation Measures for Computational Capacity.
Proceedings of the Unconventional Computation and Natural Computation, 2024

2023
Deep learning's shallow gains: a comparative evaluation of algorithms for automatic music generation.
Mach. Learn., May, 2023

Editorial: A Word from the Editors.
Artif. Life, 2023

Editorial: What Have Large-Language Models and Generative Al Got to Do With Artificial Life?
Artif. Life, 2023

Modelling and Evaluating Restricted ESNs.
Proceedings of the Unconventional Computation and Natural Computation, 2023

Spatial Correlations in the Qubit Properties of D-Wave 2000Q Measured and Simulated Qubit Networks.
Proceedings of the Unconventional Computation and Natural Computation, 2023

Exploring the Robustness of Magnetic Ring Arrays Reservoir Computing with Linear Field Calibration.
Proceedings of the Unconventional Computation and Natural Computation, 2023

Reservoir Computing with Nanowire Exchange-Coupled Spin Torque Oscillator Arrays.
Proceedings of the Unconventional Computation and Natural Computation, 2023

Combining Multiple Inputs to a Delay-line Reservoir Computer: Control of a Forced Van der Pol Oscillator System.
Proceedings of the International Joint Conference on Neural Networks, 2023

DebugNS: Novelty Search for Finding Bugs in Simulators.
Proceedings of the IEEE/ACM International Workshop on Genetic Improvement, 2023

2022
Measuring When a Music Generation Algorithm Copies Too Much: The Originality Report, Cardinality Score, and Symbolic Fingerprinting by Geometric Hashing.
SN Comput. Sci., 2022

A perspective on physical reservoir computing with nanomagnetic devices.
CoRR, 2022

Julian Francis Miller, 1955-2022.
Artif. Life, 2022

Editorial Introduction for 28: 1.
Artif. Life, 2022

Life as a Cyber-Bio-Physical System.
Proceedings of the Genetic Programming Theory and Practice XIX [GPTP 2022], 2022

2021
Reservoir Computing in Material Substrates.
Proceedings of the Reservoir Computing, 2021

The representational entity in physical computing.
Nat. Comput., 2021

Reservoir computing quality: connectivity and topology.
Nat. Comput., 2021

Evolving graphs with semantic neutral drift.
Nat. Comput., 2021

Quantifying the Computational Capability of a Nanomagnetic Reservoir Computing Platform with Emergent Magnetization Dynamics.
CoRR, 2021

Reservoir Computing with Thin-film Ferromagnetic Devices.
CoRR, 2021

Editorial: News from the New Co-Editors in Chief.
Artif. Life, 2021

Non-instantaneous Information Transfer in Physical Reservoir Computing.
Proceedings of the Unconventional Computation and Natural Computation, 2021

Computing with Magnetic Thin Films: Using Film Geometry to Improve Dynamics.
Proceedings of the Unconventional Computation and Natural Computation, 2021

Tradeoffs with physical delay feedback reservoir computing.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2021

What is a Parasite? Defining reaction and network properties in an open ended automata chemistry.
Proceedings of the 2021 Conference on Artificial Life, 2021

"A Good Algorithm Does Not Steal - It Imitates": The Originality Report as a Means of Measuring When a Music Generation Algorithm Copies Too Much.
Proceedings of the Artificial Intelligence in Music, Sound, Art and Design, 2021

Computing with Open Dynamical Systems.
Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2021

2020
Horizontal gene transfer for recombining graphs.
Genet. Program. Evolvable Mach., 2020

MetaChem: An Algebraic Framework for Artificial Chemistries.
Artif. Life, 2020

Innovation, Variation, and Emergence in an Automata Chemistry.
Proceedings of the 2020 Conference on Artificial Life, 2020

Socio-Physical Modelling and Declining Mobility.
Proceedings of the 2020 Conference on Artificial Life, 2020

Designing Computational Substrates using Open-Ended Evolution.
Proceedings of the 2020 Conference on Artificial Life, 2020

2019
UCNC 2018 special issue editorial.
Nat. Comput., 2019

Erratum to: NACO special issue editorial.
Nat. Comput., 2019

The Role of the Representational Entity in Physical Computing.
Proceedings of the Unconventional Computation and Natural Computation, 2019

Co-Designing the Computational Model and the Computing Substrate - (Invited Paper).
Proceedings of the Unconventional Computation and Natural Computation, 2019

The Role of Structure and Complexity on Reservoir Computing Quality.
Proceedings of the Unconventional Computation and Natural Computation, 2019

A Meta-Atom Based Sub-Symbolic Artificial Chemistry.
Proceedings of the 2019 Conference on Artificial Life, 2019

An Object Oriented Implementation of the MetaChem framework.
Proceedings of the 2019 Conference on Artificial Life, 2019

Evolving graphs with horizontal gene transfer.
Proceedings of the Genetic and Evolutionary Computation Conference, 2019

2018
Introduction.
Proceedings of the Computational Matter, 2018

UCOMP Roadmap: Survey, Challenges, Recommendations.
Proceedings of the Computational Matter, 2018

Encoding and Representation of Information Processing in Irregular Computational Matter.
Proceedings of the Computational Matter, 2018

Philosophy of Computation.
Proceedings of the Computational Matter, 2018

Reservoir Computing with Computational Matter.
Proceedings of the Computational Matter, 2018

Computability and Complexity of Unconventional Computing Devices.
Proceedings of the Computational Matter, 2018

Semantic Neutral Drift.
CoRR, 2018

A Substrate-Independent Framework to Characterise Reservoir Computers.
CoRR, 2018

Evolving Living Technologies - Insights from the EvoEvo Project.
Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018

Modular combinations of Artificial Chemistries.
Proceedings of the 2018 Conference on Artificial Life, 2018

BugZoo: a platform for studying software bugs.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Probabilistic Graph Programs for Randomised and Evolutionary Algorithms.
Proceedings of the Graph Transformation - 11th International Conference, 2018

Dynamical Music with Musical Boolean Networks.
Proceedings of the Computational Intelligence in Music, Sound, Art and Design, 2018

Evolving Graphs by Graph Programming.
Proceedings of the Genetic Programming - 21st European Conference, 2018

Engineering Simulations as Scientific Instruments: A Pattern Language
Springer, ISBN: 978-3-030-01937-2, 2018

2017
Artificial Epigenetic Networks: Automatic Decomposition of Dynamical Control Tasks Using Topological Self-Modification.
IEEE Trans. Neural Networks Learn. Syst., 2017

A conceptual and computational framework for modelling and understanding the non-equilibrium gene regulatory networks of mouse embryonic stem cells.
PLoS Comput. Biol., 2017

The Geometry of Speed Limiting Resources in Physical Models of Computation.
Int. J. Found. Comput. Sci., 2017

Computability and Complexity of Unconventional Computing Devices.
CoRR, 2017

The natural science of computing.
Commun. ACM, 2017

Book Review: Search and Construct.
Artif. Life, 2017

An Investigation into the Use of Mutation Analysis for Automated Program Repair.
Proceedings of the Search Based Software Engineering - 9th International Symposium, 2017

Reservoir computing in materio: A computational framework for in materio computing.
Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Functional grouping analysis of varying reactor types in the Spiky-RBN AChem.
Proceedings of the Fourteenth European Conference Artificial Life, 2017

Tuning Jordan algebra artificial chemistries with probability spawning functions.
Proceedings of the Fourteenth European Conference Artificial Life, 2017

Introduction to Unconventional Computing.
Proceedings of the Guide to Unconventional Computing for Music, 2017

2016
Defining and simulating open-ended novelty: requirements, guidelines, and challenges.
Theory Biosci., 2016

Report on UCNC 2016.
Bull. EATCS, 2016

Report on UCNC 2015.
Bull. EATCS, 2016

Maximizing the Adjacent Possible in Automata Chemistries.
Artif. Life, 2016

Editorial/Introduction to the Artificial Life 2015 Conference Special Issue.
Artif. Life, 2016

Evolving Carbon Nanotube Reservoir Computers.
Proceedings of the Unconventional Computation and Natural Computation, 2016

Reservoir computing in materio: An evaluation of configuration through evolution.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Augmenting Live Coding with Evolved Patterns.
Proceedings of the Evolutionary and Biologically Inspired Music, Sound, Art and Design, 2016

Emergent Bonding Properties in the Spiky RBN AChem.
Proceedings of the Fifteenth International Conference on the Simulation and Synthesis of Living Systems, 2016

Jordan Algebra AChems: Exploiting Mathematical Richness for Open Ended Design.
Proceedings of the Fifteenth International Conference on the Simulation and Synthesis of Living Systems, 2016

Bio-Reflective Architectures for Evolutionary Innovation.
Proceedings of the Fifteenth International Conference on the Simulation and Synthesis of Living Systems, 2016

2015
CoSMoS special issue editorial.
Nat. Comput., 2015

Environment orientation: a structured simulation approach for agent-based complex systems.
Nat. Comput., 2015

Report on UCNC 2012.
Bull. EATCS, 2015

Wallace: An efficient generic evolutionary framework.
Proceedings of the Thirteenth European Conference Artificial Life, 2015

Environmental bias forces parasitism in Tierra.
Proceedings of the Thirteenth European Conference Artificial Life, 2015

Conservation of Matter Increases Evolutionary Activity.
Proceedings of the Thirteenth European Conference Artificial Life, 2015

A Metamodel for the Evolution of Evolution.
Proceedings of the Thirteenth European Conference Artificial Life, 2015

2014
Artificial Biochemical Networks: Evolving Dynamical Systems to Control Dynamical Systems.
IEEE Trans. Evol. Comput., 2014

Local and global models of physics and computation.
Int. J. Gen. Syst., 2014

Applications of Finsler Geometry to Speed Limits to Quantum Information Processing.
Int. J. Found. Comput. Sci., 2014

Reflective Grammatical Evolution.
Proceedings of the Fourteenth International Conference on the Simulation and Synthesis of Living Systems, 2014

Phenomena, Mechanisms, Worlds.
Proceedings of the Fourteenth International Conference on the Simulation and Synthesis of Living Systems, 2014

2013
Special issue on the frontiers of natural computing.
Nat. Comput., 2013

Biochemical connectionism.
Nat. Comput., 2013

Atomicity failure and the retrenchment atomicity pattern.
Formal Aspects Comput., 2013

Zermelo Navigation and a Speed Limit to Quantum Information Processing.
CoRR, 2013

When does a physical system compute?
CoRR, 2013

The incorporation of epigenetics in artificial gene regulatory networks.
Biosyst., 2013

Computational models of signalling networks for non-linear control.
Biosyst., 2013

Numerical Analysis of Quantum Speed Limits: Controlled Quantum Spin Chain Systems with Constrained Control Functions.
Proceedings of the Unconventional Computation and Natural Computation, 2013

Geometric Methods for Analysing Quantum Speed Limits: Time-Dependent Controlled Quantum Systems with Constrained Control Functions.
Proceedings of the Unconventional Computation and Natural Computation, 2013

The artificial epigenetic network.
Proceedings of the 2013 IEEE International Conference on Evolvable Systems, 2013

Adaptive robotic gait control using coupled artificial signalling networks, hopf oscillators and inverse kinematics.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013

2012
Nonclassical Computation - A Dynamical Systems Perspective.
Proceedings of the Handbook of Natural Computing, 2012

Preface: EmergeNET4: engineering emergence.
Nat. Comput., 2012

Boolean Logic Gate Design Principles in Unconventional Computers: an NMR Case Study.
Int. J. Unconv. Comput., 2012

TRUCE: A Coordination Action for Unconventional Computation.
Int. J. Unconv. Comput., 2012

Programming Unconventional Computers: Dynamics, Development, Self-Reference.
Entropy, 2012


Heterotic Computing Examples with Optics, Bacteria, and Chemicals.
Proceedings of the Unconventional Computation and Natural Computation, 2012

Using Artificial Epigenetic Regulatory Networks to Control Complex Tasks within Chaotic Systems.
Proceedings of the Information Processign in Cells and Tissues, 2012

Evolved Artificial Signalling Networks for the Control of a Conservative Complex Dynamical System.
Proceedings of the Information Processign in Cells and Tissues, 2012

2011
Editorial for special issue on the interaction between computation and biology.
Nat. Comput., 2011

Book Review.
J. Cell. Autom., 2011

A Framework for Heterotic Computing
Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Heterotic Computing.
Proceedings of the Unconventional Computation - 10th International Conference, 2011

Reflecting on open-ended evolution.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

ALife: a tension between biology and software engineering.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Embodied copying for richer evolution.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Controlling legged robots with coupled artificial biochemical networks.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Energy as a driver of diversity in open-ended evolution.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Embodied genomes and metaprogramming.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

Degeneracy enriches artificial chemistry binding systems.
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

2010
Counting Preimages of Homogeneous Configurations in 1-Dimensional Cellular Automata.
J. Cell. Autom., 2010

Investigations of Game of Life Cellular Automata Rules on Penrose Tilings: Lifetime, Ash, and Oscillator Statistics.
J. Cell. Autom., 2010

Classical Computing in Nuclear Magnetic Resonance.
Int. J. Unconv. Comput., 2010

From Binary to Continuous Gates - and Back Again.
Proceedings of the Evolvable Systems: From Biology to Hardware, 2010

Reflections on the Simulation of Complex Systems for Science.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Controlling Complex Dynamics with Artificial Biochemical Networks.
Proceedings of the Genetic Programming, 13th European Conference, 2010

Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics.
Proceedings of the Swarm Intelligence - 7th International Conference, 2010

Automatically Moving between Levels in Artificial Chemistries.
Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

Formalising Harmony Seeking Rules of Morphogenesis.
Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

Diversity from a Monoculture - Effects of Mutation-on-Copy in a String-Based Artificial Chemistry.
Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

RBN-World - The Hunt for a Rich AChem.
Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

The Game of Life Rules on Penrose Tilings: Still Life and Oscillators.
Proceedings of the Game of Life Cellular Automata., 2010

2009
Automorphisms of Transition Graphs for Linear Cellular Automata.
J. Cell. Autom., 2009

Automorphisms of Transition Graphs for Elementary Cellular Automata.
J. Cell. Autom., 2009

Non-Classical Hypercomputation.
Int. J. Unconv. Comput., 2009

Visualising random boolean network dynamics.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Visualising Random Boolean Network Dynamics: Effects of Perturbations and Canalisation.
Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

Molecular Microprograms.
Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

RBN-World - A Sub-symbolic Artificial Chemistry.
Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

Cotranslational Protein Folding with L-systems.
Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

Representation and structural biases in CGP.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Gene regulation in a particle metabolome.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Grammatical Evolution of L-systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

2008
Towards Theory of Unconventional Computing.
Int. J. Unconv. Comput., 2008

The certification of the Mondex electronic purse to ITSEC Level E6.
Formal Aspects Comput., 2008

Enforcing Behaviour with Anonymity.
Proceedings of the 4th International ICST Conference on Security and Privacy in Communication Networks, 2008

Immuno-engineering.
Proceedings of the Biologically-Inspired Collaborative Computing, 2008

Analogue Circuit Control through Gene Expression.
Proceedings of the Applications of Evolutionary Computing, 2008

Grand Challenge 7: Journeys in Non-Classical Computation.
Proceedings of the Visions of Computer Science, 2008

Automorphisms of transition graphs for a linear cellular automaton.
Proceedings of the Automata 2008: Theory and Applications of Cellular Automata, 2008

Investigations of Game of Life cellular automata rules on Penrose Tilings: lifetime and ash statistics.
Proceedings of the Automata 2008: Theory and Applications of Cellular Automata, 2008

Investigating Emergence by Coarse Graining Elementary Cellular Automata.
Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

Complex Systems Models - Engineering Simulations.
Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

Protein folding with stochastic L-systems.
Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems.
Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

2007
Engineering and theoretical underpinnings of retrenchment.
Sci. Comput. Program., 2007

Rule Migration: Exploring a Design Framework for Emergence.
Int. J. Unconv. Comput., 2007

Grand Challenge in Non-Classical Computation.
Int. J. Unconv. Comput., 2007

Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements.
Fundam. Informaticae, 2007

Retrenchment and the Atomicity Pattern.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Using feedback to regulate gene expression in a developmental control architecture.
Proceedings of the Genetic and Evolutionary Computation Conference, 2007

Evolutionary Search Applied to Reconfigurable Analogue Control.
Proceedings of the FPL 2007, 2007

Neutral Emergence and Coarse Graining.
Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

PLAZZMID: An Evolutionary Agent-Based Architecture Inspired by Bacteria and Bees.
Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

Folding Protein-Like Structures with Open L-Systems.
Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

2006
Journeys in non-classical computation II: initial journeys and waypoints.
Int. J. Parallel Emergent Distributed Syst., 2006

Introduction.
Int. J. Unconv. Comput., 2006

Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming.
Evol. Comput., 2006

Retrenching the Purse: Finite Exception Logs, and Validating the Small.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Engineering Emergence.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

A Formal Template Language Enabling Metaproof.
Proceedings of the FM 2006: Formal Methods, 2006

Fusing Natural Computational Paradigms for Cryptanalysis. Or, Using Heuristic Search to Bring Cryptanalysis Problems within Quantum Computational Range.
Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

2005
Journeys in non-classical computation I: A grand challenge for computing research.
Parallel Algorithms Appl., 2005

The Design of S-Boxes by Simulated Annealing.
New Gener. Comput., 2005

Introduction.
Int. J. Unconv. Comput., 2005

Conceptual Frameworks for Artificial Immune Systems.
Int. J. Unconv. Comput., 2005

Emergent Properties Do Not Refine.
Proceedings of the REFINE 2005 Workshop, 2005

Breaking the Model: Finalisation and a Taxonomy of Security Attacks.
Proceedings of the REFINE 2005 Workshop, 2005

Frameworks Based on Templates for Rigorous Model-driven Development.
Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

Desert Island Column.
Autom. Softw. Eng., 2005

Requirements as Conjectures: Intuitive DVD Menu Navigation.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

An Object-Oriented Structuring for Z Based on Views.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

"Devices Are People Too" Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example.
Proceedings of the Security in Pervasive Computing, Second International Conference, 2005

A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs.
Proceedings of the Artificial Immune Systems: 4th International Conference, 2005

Evolution of a human-competitive quantum fourier transform algorithm using genetic programming.
Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.
Proceedings of the FM 2005: Formal Methods, 2005

Growing Music: Musical Interpretations of L-Systems.
Proceedings of the Applications of Evolutionary Computing, 2005

An Architecture for Modelling Emergence in CA-Like Systems.
Proceedings of the Advances in Artificial Life, 8th European Conference, 2005

Penrose Life: Ash and Oscillators.
Proceedings of the Advances in Artificial Life, 8th European Conference, 2005

Retrenchment and the Mondex Electronic Purse.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004
Playing the game: cheating, loopholes, and virtual identity.
SIGCAS Comput. Soc., 2004

Book Review: Evolutionary Electronics: Automatic Design of Electronic Circuits and Systems by Genetic Algorithms.
Genet. Program. Evolvable Mach., 2004

Teaching post-classical computation: (extended abstract).
Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

Formal Proof from UML Models.
Proceedings of the Formal Methods and Software Engineering, 2004

Towards a Conceptual Framework for Artificial Immune Systems.
Proceedings of the Artificial Immune Systems, Third International Conference, 2004

Evolving Quantum Circuits and Programs Through Genetic Programming.
Proceedings of the Genetic and Evolutionary Computation, 2004

Searching for cost functions.
Proceedings of the IEEE Congress on Evolutionary Computation, 2004

2003
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

An Outline Pattern Language for Z: Five Illustrations and Two Tables.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Smart Devices and Software Agents: The Basics of Good Behaviour.
Proceedings of the Security in Pervasive Computing, 2003

Artificial Immune Systems and the Grand Challenge for Non-classical Computation.
Proceedings of the Artificial Immune Systems, Second International Conference, 2003

Using Ants to Attack a Classical Cipher.
Proceedings of the Genetic and Evolutionary Computation, 2003

Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It.
Proceedings of the Genetic and Evolutionary Computation, 2003

Making the most of two heuristics: breaking transposition ciphers with ants.
Proceedings of the IEEE Congress on Evolutionary Computation, 2003

Challenging Formal Specifications by Mutation: a CSP security example.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002
Refactoring in maintenance and development of Z specifications.
Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Characters + Mark-up = Z Lexis.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Evolving Boolean Functions Satisfying Multiple Criteria.
Proceedings of the Progress in Cryptology, 2002

Critical Critical Systems.
Proceedings of the Formal Aspects of Security, First International Conference, 2002

2000
Type-Constrained Generics for Z.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Typechecking Z.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Formal Methods for Industrial Products.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Segregation with Communication.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

1999
Systems Development Using Z Generics.
Proceedings of the FM'99 - Formal Methods, 1999

1998
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Incremental Development of a High Integrity Compiler: Experience from an Industrial Development.
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997
Using PVS to Prove a Z Refinement: A Case Study.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1995
Annotated Z bibliography.
Inf. Softw. Technol., 1995

Testing as Abstraction.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Z in practice.
BCS practitioner series, Prentice Hall, ISBN: 978-0-13-124934-9, 1995

1993
High integrity compilation - a case study.
Prentice Hall, ISBN: 978-0-13-381039-4, 1993

1992
A survey of object orientation in Z.
Softw. Eng. J., 1992

Support for Using Z.
Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

1991
A Demonstrably Correct Compiler.
Formal Aspects Comput., 1991

The Use of Z.
Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

1987
Formal Specification of an Access Control System.
Softw. Pract. Exp., 1987


  Loading...