General

Name Zoëuml; Stephenson
Most recent position Research Associate, University of York, UK

Publications

Refereed Journal and Conference Publications

Zoë Stephenson, John McDermid
Deriving Architectural Flexibility Requirements in Safety-Critical Systems
IEE Proceedings in Software 152(4), August 2005, pp143-152
Zoë Stephenson, Mark Nicholson, John McDermid
Flexibility and Manageability of IMS Projects
Presented at the 24th International System Safety Conference, 31st July-4th August 2006, Albuquerque, New Mexico, USA
Richard Paige, Xiaochen Wang, Zoë Stephenson, Philip Brooke
Towards an Agile Process for Building Software Product Lines
Presented at the 7th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP2006, Oulu, Finland, June 17-22, 2006
Zoë Stephenson, John McDermid, Andrew G. Ward
Health Modelling for Agility in Safety-Critical Systems
Presented at First IET International Conference on System Safety Engineering, London, June 2006
Zoë Stephenson, Mark Nicholson, John McDermid
Product Line Technology Recommendations for Integrated Modular Systems
Presented at International System Safety Conference, San Diego, California, August 2005
Richard Paige, Howard Chivers, John McDermid, Zoë Stephenson
High-Integrity Extreme Programming
Presented at Symposium on Applied Computing, Santa Fe, New Mexico, March 2005
Zoë Stephenson, Savita de Souza, John McDermid
Product Line Analysis and the System Safety Process
Presented at International System Safety Conference, Providence, Rhode Island, 2nd-6th August 2004

Refereed Workshop Publications/Contributions

Zoë Stephenson, John McDermid
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns
Presented at 31st IEEE Software Engineering Workshop, Baltimore, Maryland, March 2007
Zoë Stephenson, John McDermid, Jason Choy
Using Simulation to Validate Style-Specific Architectural Refactoring Patterns
Presented at 30th IEEE/NASA Software Engineering Workshop, Columbia, Maryland, April 2006
Zoë Stephenson, John McDermid
Automated Component Configuration in Safety-Critical Domains
Presented at SPLC Workshop on Software Variability Management for Product Derivation, Software Product Line Conference, Boston, Massachussetts, August 2004.
Zoë Stephenson, Yuan Zhan, John McDermid
Test Data Generation for Product Lines - A Mutation Testing Approach
Presented at Software Product Line Testing Workshop, Software Product Line Conference, Boston, Massachussetts, August 2004. Proceedings published as AVAYA Labs report ALR-2004-031, Birgit Geppert, Charles Kruger, J. Jenny Li, eds.
Zoë Stephenson, Mark Nicholson
Treating Reconfiguration in IMA Systems as a Product Line Problem
In Proceedings of the Second Groningen Workshop on Software Variability Management, Technical Report 2004-7-01, University of Groningen Department of Mathematics and Computer Science, December 2004

Technical Reports and Thesis

Zoë Stephenson
Interval Analysis Applied to Model-Checking of Embedded Control Systems
Technical Report YCS-2008-431, University of York, May 2008
Zoë Stephenson
Uncertainty Analysis Guidebook
Technical Report YCS-2005-387, University of York, May 2005
Zoë Stephenson, Darren Buttle
The HADES Architectural Style - Development and Definition
Technical Report YCS-2004-373, University of York, February 2004
Zoë Stephenson
Change Management in Families of Safety-Critical Embedded Systems
PhD Thesis YCST-2003-03, University of York, first submitted March 2002

Experience

2009-present Research Associate, SSEI, Department of Computer Science, University of York, UK
2001-2009 Research Associate, Rolls-Royce UTC, Department of Computer Science, University of York, UK
1997-2001 Research Student, Rolls-Royce UTC, Department of Computer Science, University of York, UK - PhD Thesis Nominated for Distinguished Dissertation award
1994-1997 BSc Student, Department of Computer Science, University of York, UK - Final-year project on fault-tolerant computer architecture simulation
before 1994 Educated in Broadstairs, Kent, UK - 4 grade "A" A-levels
TeachingSystems Architecture (one session), Software Implementation (6 sessions)
Examinations and assessmentsAlgorithms and Data Structures (2001, 2002); Software Implementation (2007, 2008)
Student supervisionMSc students, 2005-2009
Project reportingMOSAIC project September 2008
Technical project managementMOSAIC project technical meetings
Conference managementETAPS 2009 information displays, general technical
Research group technical managementUTC - templates, deliverable logging, annual report preparation
Seminar coordinationHISE group, 2009-2010