| In progress | The Scourge of Formal Methods. Zoë Stephenson, Jim Woodcock |
|---|---|
| In progress | Model-Checking of a Fixed-Priority Scheduler. Zoë Stephenson, Malcolm Wallace, Tim Kelly, John McDermid |
| In progress | Experience in MAtching Model-Checking with Industrial Needs. Zoë Stephenson, Tim Kelly, John McDermid |
| Book Chapter | 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 |
| Journal Article | Deriving Architectural Flexibility Requirements in Safety-Critical Systems. Zoë Stephenson, John McDermid. IEE Proceedings in Software 152(4), August 2005, pp143-152 |
| Conference Paper | 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 |
| Conference Paper | Supporting Explicit Interpretation of Standards and Guidance. Zoë Stephenson, John McDermid. Presented at IET Conference on System Safety, Manchester, UK, October 2010 |
| Conference Paper | 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 |
| Fast Abstract | 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 |
| Workshop Paper | 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 |
| Conference Paper | 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 |
| Conference Abstract | 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 |
| Conference Paper | 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 |
| Workshop Paper | 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 |
| Conference Paper | High-Integrity Extreme Programming. Richard Paige, Howard Chivers, John McDermid, Zoë Stephenson. Presented at Symposium on Applied Computing, Santa Fe, New Mexico, March 2005 |
| Conference Paper | 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 |
| Workshop Paper | 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. |
| Workshop Paper | 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 Abstract | 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 Report | Interval Analysis Applied to Model-Checking of Embedded Control Systems. Zoë Stephenson. Technical Report YCS-2008-431, University of York, May 2008 |
| Technical Report | Uncertainty Analysis Guidebook. Zoë Stephenson. Technical Report YCS-2005-387, University of York, May 2005 |
| Technical Report | The HADES Architectural Style - Development and Definition. Zoë Stephenson, Darren Buttle. Technical Report YCS-2004-373, University of York, February 2004 |
| PhD Thesis | Change Management in Families of Safety-Critical Embedded Systems. Zoë Stephenson. PhD Thesis YCST-2003-03, University of York, first submitted March 2002 |
| BibTeX | BiBTeX Summary |
Research
