home > publications > Software Engineering

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

in preparation

submitted

accepted / in press

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2023

journal papers

• Brennen Fagan, Jon W. Pitchford, Susan Stepney, Chris D. Thomas.
  Increased dispersal explains increasing local diversity with global biodiversity declines.
  Global Change Biology, 2023

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2020

refereed workshop and conference papers

• Penelope Faulkner Rainford, Susan Stepney, Yasmin Merali.
  Socio-Physical Modelling and Declining Mobility.
  ALife 2020, Montreal, Canada (virtual), July 2020, pp.104-112. MIT Press, 2020

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2018

books / proceedings

• Susan Stepney, Fiona A. C. Polack, Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F. T. Winfield.
  Engineering Simulations as Scientific Instruments. Springer, 2018

refereed workshop and conference papers

• Christopher S. Timperley, Susan Stepney, Claire Le Goues
  BugZoo – A Platform for Studying Software Bugs
  ICSE 2018, Gothenburg, Sweden, May 2018, pp.446–447, ACM

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2017

journal papers

• Rachel Brown, Lauren Tomasello, David A. Mitchell, Angelika Sebald, Susan Stepney.
  The ternary graph as a questionnaire – a new approach to assessment of quality of life?
  British Journal of Oral and Maxillofacial Surgery, 55(7):679-684, 2017

• Richard B. Greaves, Sabine Dietmann, Austin Smith, Susan Stepney, Julianne D. Halley.
  A conceptual and computational framework for modelling and understanding the nonequilibrium gene regulatory networks of mouse embryonic stem cells
  PLOS Computational Biology, 13(9):e1005713, 2017

refereed workshop and conference papers

• Christopher S. Timperley, Susan Stepney, Claire Le Goues
  An Investigation into the Use of Mutation Analysis for Automated Program Repair
  SSBSE'17, Paderborn, Germany, September 2017, LNCS 10452:99-114, Springer 2017

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2016

other

• Richard B. Greaves, Sabine Dietmann, Austin Smith, Susan Stepney, Julianne D. Halley.
  CellBranch CoSMoS model : increments 1, 2 and 3,
  Technical report YCS-2016-501, University of York, 2016

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2015

books / proceedings

• Susan Stepney, Paul S. Andrews, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2015), York, UK, July 2015.
  Luniver Press, 2015.

journal papers

• Tim Hoverd, Susan Stepney.
  Environment Orientation: a structured simulation approach for agent-based complex systems
  Natural Computing 14(1):83-97, 2015

refereed workshop and conference papers

• Paul S. Andrews, Susan Stepney.
  The CoSMoS Domain Experiment Model.
  CoSMoS workshop, York, UK, July 2015 pp.1–8. Luniver Press 2015

• Richard B. Greaves, Sabine Dietman, Austin Smith, Susan Stepney, Julianne D. Halley.
  Genome-wide embryonic stem cell regulatory network self-organisation: a big data CoSMoS computational modelling approach
  CoSMoS workshop, York, UK, July 2015, pp.31–66. Luniver Press 2015

other

• Susan Stepney, Paul Andrews.
  CoSMoS special issue editorial
  Natural Computing 14(1):1-6, 2015

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2014

books / proceedings

• Susan Stepney, Paul S. Andrews, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2014), New York, USA, July 2014.
  Luniver Press, 2014.

refereed workshop and conference papers

• Ali Afshar Dodson, Susan Stepney, Emma Uprichard, Leo Caves.
  Using the CoSMoS approach to study Schelling’s Bounded Neighbourhood Model.
  CoSMoS Workshop, New York, USA, July 2014, pp.1–12. Luniver Press, 2014

• Paul S. Andrews, Susan Stepney.
  Using CoSMoS to Reverse Engineer a Domain Model for Aevol.
  CoSMoS Workshop, New York, USA, July 2014, pp.61–79. Luniver Press, 2014

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2013

books / proceedings

• Susan Stepney, Paul Andrews, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2013), Milan, Italy, July 2013.
  Luniver Press, 2013

journal papers

• Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney.
  Atomicity Failure and the RetrenchmentAtomicity Pattern.
  Formal Aspects of Computing 25 (3):439-464, 2013.

refereed workshop and conference papers

• Susan Stepney.
  CoSMoS simulation experiment reproducibility and the ODD protocol.
  CoSMoS workshop, Milan, Italy, July 2013, pp.93-107. Luniver Press, 2013

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2012

books / proceedings

• Susan Stepney, Paul Andrews, Mark Read, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2012) , Orleans, France, September 2012.
  Luniver Press, 2012

journal papers

• James Bown, Paul S. Andrews, Yusuf Deeni, Alexey Goltsov, Michael Idowu, Fiona A. C. Polack, Adam T. Sampson, Mark Shovman, Susan Stepney.
  Engineering simulations for cancer systems biology.
  Current Drug Targets. 13(12):1560-1574, 2012

refereed workshop and conference papers

• Paul S. Andrews, Susan Stepney, Jon Timmis.
  Simulation as a Scientific Instrument.
  CoSMoS workshop, Orleans, France, September 2012, pp1-10. Luniver Press 2012

• Susan Stepney.
  A Pattern Language for Scientific Simulations.
  CoSMoS workshop, Orleans, France, September 2012, pp77-103. Luniver Press 2012

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2011

books / proceedings

• Susan Stepney, Peter Welch, Paul Andrews, Carl Ritson, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2011) , Paris, France, August 2011.
  Luniver Press, 2011

refereed workshop and conference papers

• Paul S. Andrews, Susan Stepney, Tim Hoverd, Fiona A. C. Polack, Adam T. Sampson, Jon Timmis.
  CoSMoS process, models, and metamodels.
  CoSMoS workshop, Paris, France, August 2011, pp.1-13. Luniver Press 2011

• Alastair Droop, Philip Garnett, Fiona A. C. Polack, Susan Stepney.
  Multiple model simulation: modelling cell division and differentiation in the prostate.
  CoSMoS workshop, Paris, France, August 2011, pp.79-111. Luniver Press 2011

• Fiona A. C. Polack, Alastair Droop, Philip Garnett, Teodor Ghetiu, Susan Stepney.
  Simulation validation: exploring the suitability of a simulation of cell division and differentiation in the prostate.
  CoSMoS workshop, Paris, France, August 2011, pp.113-133. Luniver Press 2011

other

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

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2010

books / proceedings

• Susan Stepney, Peter Welch, Paul Andrews, Adam Sampson, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2010) , Odense, Denmark, August 2010.
  Luniver Press, 2010

journal papers

• Philip Garnett, Arno Steinacher, Susan Stepney, Richard Clayton, Ottoline Leyser.
  Computer Simulation: the imaginary friend of auxin transport biology.
  BioEssays 32(9):828-835, September 2010

refereed workshop and conference papers

• Philip Garnett, Susan Stepney, Francesca Day, Ottoline Leyser.
  Using the CoSMoS Process to Enhance an Executable Model of Auxin Transport Canalisation.
  CoSMoS workshop, Odense, Denmark, August 2010. pp9-32, Luniver Press 2010

• Fiona Polack, Paul Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, Adam Sampson.
  Reflections on the Simulation of Complex Systems for Science.
  ICECCS'10, Oxford, UK, March 2010, pp.276-285, IEEE, 2010

other

• Paul S. Andrews, Adam T. Sampson, Fiona Polack, Susan Stepney, Jon Timmis
  The CoSMoS Process, version 0.1: A Process for the Modelling and Simulation of Complex Systems,
  Technical report YCS-2010-453, University of York, March 2010

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2009

books / proceedings

• Susan Stepney, Peter Welch, Paul Andrews, Jon Timmis, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2009) , York, UK, August 2009.
  Luniver Press, 2009

refereed workshop and conference papers

• Tim Hoverd, Susan Stepney.
  Environment orientation: an architecture for simulating complex system.
  CoSMoS 2009, York, UK, August 2009, pp67-82. Luniver Press, 2009

other

• Paul S. Andrews, Susan Stepney, Jon Timmis, Fiona Polack, Adam Sampson, Peter Welch, Frederick Barnes.
  The CoSMoS Process: Simulations for Scientific Exploration (extended abstract).
  ECCS 2009, Warwick, September 2009.

• Tim Hoverd, Susan Stepney.
  Environment orientation: An approach to the simulation of complex systems (extended abstract).
  ECCS 2009, Warwick, September 2009.

• Susan Stepney, Peter Welch.
  CoSMoS: Complex Systems Modelling and Simulation Infrastructure (extended abstract).
  ECCS 2009, Warwick, September 2009.

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2008

books / proceedings

• Susan Stepney, Fiona Polack, Peter Welch, editors.
  Complex Systems Simulation and Modelling Workshop (CoSMoS 2008) , York, UK, September 2008.
  Luniver Press, 2008

• Peter H. Welch, Susan Stepney, Fiona Polack, Fred Barnes, Alistair McEwan, G. S. Stiles, J. F. Broenink, Adam Sampson, editors.
  Communicating Process Architectures (CPA 2008), York, UK, September 2008.
  IOS Press, 2008.

journal papers

• Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy L. Jacob.
  The certification of the Mondex electronic purse to ITSEC Level E6.
  Formal Aspects of Computing 20(1):5-19, 2008

refereed workshop and conference papers

• Paul S. Andrews, Adam T. Sampson, John Markus Bjørndalen, Susan Stepney, Jon Timmis, Douglas N. Warren, Peter H. Welch
  Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems.
  ALife XI, Winchester, UK, August 2008, pp17-24. MIT Press, 2008

• Philip Garnett, Susan Stepney, Ottoline Leyser.
  Towards an executable model of auxin transport canalisation.
  CoSMoS workshop, York, UK, September 2008, pp63-91. Luniver Press 2008.

• Fiona Polack, Tim Hoverd, Adam T. Sampson, Susan Stepney, Jon Timmis.
  Complex Systems Models: Engineering Simulations.
  ALife XI, Winchester, UK, August 2008, pp482-489. MIT Press, 2008

• Joss Wright, Susan Stepney.
  Enforcing Behaviour with Anonymity.
  AlPACa 2008, Istanbul, Turkey, September 2008. ACM 2008
  
  

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2007

journal papers

• Nuno Amálio, Fiona Polack, Susan Stepney.
  Frameworks based on templates for rigorous model-driven development.
  Doctoral Symposium, IFM 2005. ENTCS 191:3-23. Elsevier, 2007

• Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney.
  Retrenching the Purse : the balance enquiry quandary, and generalised and (1,1) forward refinements.
  Fundamenta Informaticae 77:29-69, 2007

• Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney.
  Engineering and Theoretical Underpinnings of Retrenchment.
  Science of Computer Programming, 67(2-3):301-329, July 2007

refereed workshop and conference papers

• Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney.
  Retrenchment and the Atomicity Pattern.
  SEFM 07, London, UK, September 2007. IEEE Press, 2007

other

• Philip Garnett, Susan Stepney, Ottoline Leyser.
  Integrative Hybrid Modelling of Plant Shoot Branching
  5th International Workshop on Functional Structural Plant Models: FSPM07, New Zealand, November 2007.

• Tuan Anh Nguyen, Fiona Polack, Susan Stepney, Ian Toyn.
  Practical use of real numbers in Z.
  Z User Meeting 2007, in conjunction with ICECCS 2007, Waikato, New Zealand, 11-14 July 2007

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2006

book chapters

• Nuno Amálio, Fiona Polack, Susan Stepney.
  UML + Z: Augmenting UML with Z.
  In Marc Frappier, Henri Habrias, eds. Software Specification Methods : an Overview Using a Case Study, new edn , Hermes Science Publishing, 2006

refereed workshop and conference papers

• Nuno Amálio, Susan Stepney, Fiona Polack.
  A Formal Template Language enabling Meta-Proof.
  FM'06, McMaster University, Canada, August 2006. LNCS 4085:252-267, Springer, 2006

• Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney.
  Retrenching the Purse: hashing injective CLEAR codes, and security properties.
  ISoLA 2006, Cyprus, November 2006. IEEE, 2006

• Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney.
  Retrenching the Purse : finite exception logs, and validating the small.
  30th Annual IEEE/NASA Software Engineering Workshop, Columbia, MD, USA, pp234-245, April 2006

• John A. Clark, Susan Stepney.
  Fusing Natural Computational Paradigms for Cryptanalysis.
  CEC-2006, Vancouver, Canada, July 2006, pp 200-206, IEEE, 2006

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2005

journal papers

• John A. Clark, Jeremy L. Jacob, Susan Stepney.
  The design of S-boxes by simulated annealing.
  New Generation Computing, 23(3):219-231, May 2005

refereed workshop and conference papers

• Nuno Amálio, Fiona Polack, Susan Stepney.
  An OO structuring for Z based on Views.
  ZB2005, Guildford, UK, April 2005. LNCS 3455:262-278, Springer, 2005.

• Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney.
  Retrenching the Purse : finite sequence numbers and the Tower Pattern.
  FM 2005, Newcastle, UK, July 2005. LNCS 3582:382-398, Springer 2005

• Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney.
  Retrenchment and the Mondex Electronic Purse (extended abstract).
  Proc. ASM'05, Paris, France, March 2005

• John A. Clark, Susan Stepney, Howard Chivers.
  Breaking the Model: finalisation and a taxonomy of security attacks.
  REFINE 2005, Surrey, UK. ENTCS 137(2):225-242, 2005

• Yang Liu, John A. Clark, Susan Stepney.
  "Devices are People Too": using process patterns to elicit security requirements in novel domains.
  In Security of Pervasive Computing, SPC'05, Boppard, Germany. LNCS 3450:31-45. Springer, 2005

• Jemima Rossmorris, Susan Stepney.
  Requirements as Conjectures: intuitive DVD menu navigation.
  ZB2005, Guildford, UK, April 2005. LNCS 3455:172-186, Springer, 2005.

technical reports

• Susan Stepney, Fiona Polack, Ian Toyn.
  Diagram Patterns and Meta-patterns to support formal modelling.
  Technical Report YCS-2005-394, University of York. October 2005

• Joss Wright, Susan Stepney, John A. Clark, Jeremy Jacob.
  Formalizing Anonymity: a review.
  Technical Report YCS-2005-389, University of York. 2005

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2004

journal papers

• Phillip J. Brooke, Richard F. Paige, John A. Clark, Susan Stepney.
  Playing the Game: cheating, loopholes, and virtual identity.
  ACM Computers and Society, 34(2), Sept 2004

refereed workshop and conference papers

• Nuno Amálio, Susan Stepney, and Fiona Polack
  Formal Proof from UML Models .
  ICFEM 2004, Seattle, USA . LNCS 3308:418-433, Springer, 2004

• Richard Banach, Czeslaw Jeske, Simon Fraser, Richard Cross, Mike Poppleton, Susan Stepney, Steve King.
  Approaching the Formal Design and Development of Complex Systems: the Retrenchment Position.
  Workshop on Software and Complex Systems, 9th IEEE Intl. Conf. on Engineering of Complex Computer Systems, Florence, Italy, April 2004

• John A. Clark, Jeremy L. Jacob, Susan Stepney.
  The design of S-boxes by simulated annealing.
  CEC-2004, Portland OR, USA, June 2004, pp 1533-1537. IEEE, 2004

technical reports

• John A. Clark, Susan Stepney, Howard Chivers.
  Breaking the Model: finalisation and a taxonomy of security attacks.
  Technical Report YCS-2004-371, University of York. 2004

• Samuel H. Valentine, Susan Stepney, Ian Toyn.
  A Z Patterns Catalogue II: definitions and laws, v0.1.
  Technical Report YCS-2004-383, University of York. October 2004

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2003

refereed workshop and conference papers

• Nuno Amálio, Susan Stepney, Fiona Polack.
  Modular UML Semantics: Interpretations in Z based on Templates and Generics.
  FACS'03 Workshop on Formal Aspects of Component Software, Pisa. UNU/IIST Technical Report 284. 2003

• Howard Chivers, John A. Clark, Susan Stepney.
  Smart Devices and Software Agents.
  In Security of Pervasive Computing, SPC'03, Boppard, Germany. LNCS 2804. Springer, 2003

• John A. Clark, Jeremy L. Jacob, Susan Stepney.
  Secret Agents Leave Big Footprints.
  GECCO'03, Chicago, July 2003. LNCS 2724:2022-2033, Springer, 2003

• Matthew D. Russell, John A. Clark, Susan Stepney.
  Making the Most of Two Heuristics: Breaking Transposition Ciphers with Ants.
  CEC-2003, Canberra, Australia, December 2003, pp 2653-2658, IEEE, 2003

• Matthew Russell, John A. Clark, Susan Stepney.
  Using Ants to Attack a Classical Cipher. (poster paper)
  GECCO'03, Chicago, July 2003. LNCS 2723:146-147, Springer, 2003

• Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack.
  Challenging formal specifications by mutation: a CSP security example.
  APSEC-2003: 10th Asia-Pacific Software Engineering Conference, Chiangmai, Thailand, December 2003, pp 340-350. IEEE, 2003.

• Susan Stepney.
  Critical Critical Systems.
  In Formal Aspects of Security, FASeC'02, London, December 2002. LNCS 2629. Springer, 2003

• Susan Stepney, Fiona Polack, Ian Toyn.
  An Outline Pattern Language for Z.
  ZB2003, Turku, Finland. LNCS 2651:2-19, Springer, 2003.

• Susan Stepney, Fiona Polack, Ian Toyn.
  Patterns to Guide Practical Refactoring.
  ZB2003, Turku, Finland. LNCS 2651:20-39. Springer, 2003.

technical reports

• Susan Stepney.
  CSP/FDR2 to Handel-C translation.
  Technical Report YCS-2003-357, University of York. June 2003.

• Susan Stepney, Ian T. Nabney.
  The DeCCo Project Papers.
  Technical Report YCS-2003-358--363, University of York. June 2003.

• Susan Stepney, Fiona Polack, Ian Toyn.
  A Z Patterns Catalogue I: specification and refactorings, v0.1.
  Technical Report YCS-2003-349, University of York. January 2003.

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2002

refereed workshop and conference papers

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

• Susan Stepney, Fiona Polack, Ian Toyn.
  Refactoring in Maintenance and Development of Z Specifications and Proofs .
  REFINE 2002, Copenhagen . ENTCS 70(3):396-415. Elsevier, 2002

• Ian Toyn, Susan Stepney.
  Characters + Mark-up = Z Lexis .
  ZB2002, Grenoble, France . LNCS 2272:100-119, Springer, 2002.

technical reports

• David Cooper, Susan Stepney, Jim Woodcock.
  Derivation of Z Refinement Proof Rules .
  Technical Report YCS-2002-347, University of York. December 2002.

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2001

other

• Susan Stepney.
  New Horizons in Formal Methods .
  The Computer Bulletin , pp 24-26. BCS, January 2001.

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

2000

refereed workshop and conference papers

• David Cooper, Susan Stepney.
  Segregation with Communication .
  ZB2000, York, UK . LNCS 1878:451-470, Springer, 2000.

• Susan Stepney, David Cooper.
  Formal Methods for Industrial Products .
  ZB2000, York, UK . LNCS 1878:374-393, Springer, 2000.

• Ian Toyn, Samuel H Valentine, Susan Stepney, Steve King.
  Typechecking Z .
  ZB2000, York, UK . LNCS 1878:264-285, Springer, 2000.

• Samuel H Valentine, Ian Toyn, Susan Stepney, Steve King.
  Type-constrained Generics for Z .
  ZB2000, York, UK . LNCS 1878:250-263, Springer, 2000.

technical reports

• Susan Stepney, David Cooper, Jim Woodcock.
  An Electronic Purse: Specification, Refinement, and Proof .
  Technical Monograph PRG-126, Oxford University Computing Laboratory. July 2000.

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

1999

refereed workshop and conference papers

• Fiona Polack, Susan Stepney.
  Systems Development using Z Generics .
  FM '99, Toulouse, France . LNCS 1709:1048-1067, Springer, 1999.

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

1998

refereed workshop and conference papers

• Susan Stepney.
  Incremental Development of a High Integrity Compiler: experience from an industrial development .
  Third IEEE High-Assurance Systems Engineering Symposium (HASE'98), Washington DC, USA . 1998.

• Susan Stepney.
  A Tale of Two Proofs .
  BCS-FACS Third Northern Formal Methods Workshop, Ilkley, UK . Electronic Workshops in Computing, 1998.

• Susan Stepney, David Cooper, Jim Woodcock.
  More powerful Z data refinement: Pushing the State of the Art in industrial refinement .
  ZUM '98, Berlin, Germany . LNCS 1493:284-307, Springer, 1998.

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

1997

refereed workshop and conference papers

• David W. J. Stringer-Calvert, Susan Stepney, Ian Wand.
  Using PVS to prove a Z refinement: a case study .
  FME '97, Graz, Austria . LNCS 1313. Springer, 1997.

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

1995

refereed workshop and conference papers

• Susan Stepney.
  Testing as Abstraction.
  ZUM'95, Limerick, Ireland . LNCS 967:137-151, Springer, 1995.

other

• Jonathan Bowen, Susan Stepney, Rosalind Barden.
  Annotated Z Bibliography.
  Information and Software Technology, 37(5-6):317-332, 1995.

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

1994

books / proceedings

• Rosalind Barden, Susan Stepney, David Cooper.
  Z in Practice.
  BCS Practitioner Series. Prentice-Hall, 1994.

• Roy MacLean, Susan Stepney, Simon Smith, Nick Tordoff, David Gradwell, Tim Hoverd, Simon Katz.
  Analysing Systems: determining requirements for object-oriented development.
  BCS Practitioner Series. Prentice-Hall. 1994.

  The ‘ORCA’ book

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

1993

books / proceedings

• Susan Stepney.
  High Integrity Compilation: a case study.
  Prentice-Hall, 1993.

refereed workshop and conference papers

• Rosalind Barden, Susan Stepney.
  Support for using Z.
  Proceedings of the 7th Z User Meeting, London, 1992, Workshops in Computing, pp 255-280. Springer, 1993.

other

• Susan Stepney, Rosalind Barden.
  Annotated Z Bibliography.
  EATCS Bulletin, 50:280-313. June 1993.

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

1992

books / proceedings

• Susan Stepney, Rosalind Barden, David Cooper, editors.
  Object Orientation in Z.
  Workshops in Computing. Springer, 1992.

journal papers

• Susan Stepney, Rosalind Barden, David Cooper.
  A Survey of Object Orientation in Z.
  Software Engineering Journal, 7(2):150-160, March 1992.

refereed workshop and conference papers

• Rosalind Barden, Susan Stepney, David Cooper.
  The Use of Z .
  Proceedings of the 6th Z User Meeting, York, UK, 1991, pp 99-124. Workshops in Computing, Springer, 1992.

other

• Susan Stepney.
  Summary of the BCS-FACS Christmas Meeting on Domain Theory .
  Jawed Siddiqi, editor, BCS-FACS FACTS Newsletter, Series II, 3(1):4-7. May 1992.

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

1991

journal papers

• Susan Stepney, Dave Whitley, David Cooper, Colin Grant.
  A Demonstrably Correct Compiler.
  Formal Aspects of Computing, 3:58-101. BCS, 1991.

• 2020
• 2021
• 2022
• 2023

• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• 2000
• 2001
• 2002
• 2003
• 2004
• 2005
• 2006
• 2007
• 2008
• 2009

• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999

•     
•     
•     
•     
•     
•     
• 1986
• 1987
• 1988
• 1989

1989

book chapters

• Susan Stepney.
  Pictorial Representation of Parallel Programs.
  In Alistair Kilgour, Rae A. Earnshaw, editors, Graphical Tools for Software Engineering, BCS. CUP, 1989.

other

• Susan Stepney.
  Formal Design Methods, 1989.

1988

refereed workshop and conference papers

• Susan Stepney.
  Understanding Multi-transputer Execution.
  IT UK 88, University College Swansea, 1988.

1987

journal papers

• Susan Stepney, Stephen P. Lord.
  Formal Specification of an Access Control System.
  Software-Practice and Experience, 17(9):575-593, 1987.

refereed workshop and conference papers

• Susan Stepney.
  GRAIL: Graphical Representation of Activity, Interconnection and Loading.
  7th Technical meeting of the occam User Group. IOS Amsterdam, 1987.

1986

refereed workshop and conference papers

• Stephen P. Lord, N. H. Pope, Susan Stepney.
  Access Management in multi-administration networks.
  In 2nd International Conference on Secure Communication Systems, London. IEE, 1986.