Research

Book Chapters

2011
Product-Line Models to Address Requirements Uncertainty, Volatility and Risk
Zoë Stephenson, Katrina Attwood, John McDermid
in: Relating Software Requirements and Architectures, Ivan Mistrik, John Grundy, Patricia Lago, Jon Hall, Paris Avgeriou, eds. Springer, 2011

Refereed Journal Publications

2005
Deriving Architectural Flexibility Requirements in Safety-Critical Systems
Zoë Stephenson, John McDermid
IEE Proceedings in Software 152(4), August 2005, pp143-152

Refereed Conference and Workshop Publications

2010
Distinguishing Fact from Fiction in a System of Systems Safety Case
Zoë Stephenson, Christian Fairburn, George Despotou, Tim Kelly, Nicola Herbert, Bruce Daughtrey
Presented at Safety-Critical Systems Symposium 2011, Southampton, UK, February 2011
2010
Supporting Explicit Interpretation of Standards and Guidance
Zoë Stephenson, John McDermid
Presented at IET Conference on System Safety, Manchester, UK, October 2010
2010
Developing an Argument for Def Stan 00-56 from Existing Qualification Evidence
Zoë Stephenson, Tim Kelly, Jean-Louis Camus
Presented at Embedded Real-Time Software and Systems 2010, Toulouse, France, May 2010
2009
Software Assurance Arguments vs. Formal Mathematical Arguments - A Complementary Role
Ibrahim Habli, Zoë Stephenson, Tim Kelly, John McDermid
Presented at International Symposium on Software Requirements Engineering 2009, Mysore, India, November 2009
2007
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns
Zoë Stephenson, John McDermid
Presented at 31st IEEE Software Engineering Workshop, Baltimore, Maryland, March 2007
2006
Flexibility and Manageability of IMS Projects
Zoë Stephenson, Mark Nicholson, John McDermid
Presented at the 24th International System Safety Conference, 31st July-4th August 2006, Albuquerque, New Mexico, USA
2006
Towards an Agile Process for Building Software Product Lines
Richard Paige, Xiaochen Wang, Zoë Stephenson, Philip Brooke
Presented at the 7th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP2006, Oulu, Finland, June 17-22, 2006
Proceedings of the 7th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP2006, Lecture Notes in Computer Science Volume 4044, pp198-199
2006
Health Modelling for Agility in Safety-Critical Systems
Zoë Stephenson, John McDermid, Andrew G. Ward
Presented at First IET International Conference on System Safety Engineering, London, June 2006
2006
Using Simulation to Validate Style-Specific Architectural Refactoring Patterns
Zoë Stephenson, John McDermid, Jason Choy
Presented at 30th IEEE/NASA Software Engineering Workshop, Columbia, Maryland, April 2006
2005
Product Line Technology Recommendations for Integrated Modular Systems
Zoë Stephenson, Mark Nicholson, John McDermid
Presented at International System Safety Conference, San Diego, California, August 2005
2005
High-Integrity Extreme Programming
Richard Paige, Howard Chivers, John McDermid, Zoë Stephenson
Presented at Symposium on Applied Computing, Santa Fe, New Mexico, March 2005
2004
Product Line Analysis and the System Safety Process
Zoë Stephenson, Savita de Souza, John McDermid
Presented at International System Safety Conference, Providence, Rhode Island, 2nd-6th August 2004
2004
Automated Component Configuration in Safety-Critical Domains
Zoë Stephenson, John McDermid
Presented at SPLC Workshop on Software Variability Management for Product Derivation, Software Product Line Conference, Boston, Massachussetts, August 2004.
2004
Test Data Generation for Product Lines - A Mutation Testing Approach
Zoë Stephenson, Yuan Zhan, John McDermid
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.

Workshop Contributions

2004
Treating Reconfiguration in IMA Systems as a Product Line Problem
Zoë Stephenson, Mark Nicholson
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

2008
Interval Analysis Applied to Model-Checking of Embedded Control Systems
Zoë Stephenson
Technical Report YCS-2008-431, University of York, May 2008
2005
Uncertainty Analysis Guidebook
Zoë Stephenson
Technical Report YCS-2005-387, University of York, May 2005
2004
The HADES Architectural Style - Development and Definition
Zoë Stephenson, Darren Buttle
Technical Report YCS-2004-373, University of York, February 2004

PhD Thesis

2003
Change Management in Families of Safety-Critical Embedded Systems
Zoë Stephenson
PhD Thesis YCST-2003-03, University of York, first submitted March 2002

BiBTeX Data

Contact