High-integrity extreme programming. - Richard F. Paige; Howard Chivers; John A. McDermid; Zoë R. Stephenson (SAC, 2005)

Deriving architectural flexibility requirements in safety-critical systems. - Zoë R. Stephenson; John A. McDermid (IEE Proc. Softw., 2005)

Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. - Zoë R. Stephenson; John A. McDermid; Jason Choy (SEW, 2006)

Towards an Agile Process for Building Software Product Lines. - Richard F. Paige; Xiaochen Wang; Zoë R. Stephenson; Phillip J. Brooke (XP, 2006)

Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. - Zoë R. Stephenson; John A. McDermid (SEW, 2007)

Product-Line Models to Address Requirements Uncertainty, Volatility and Risk. - Zoë R. Stephenson; Katrina Attwood; John A. McDermid (Relating Software Requirements and Architectures, 2011)

Distinguishing Fact from Fiction in a System of Systems Safety Case. - Zoë Stephenson; Christian Fairburn; Georgios Despotou; Tim P. Kelly; Nicola Herbert; Bruce Daughtrey (SSS, 2011)

Supporting industrial use of probabilistic timing analysis with explicit argumentation. - Zoë R. Stephenson; Jaume Abella 001; Tullio Vardanega (INDIN, 2013)

Timing analysis of an avionics case study on complex hardware/software platforms. - Franck Wartel; Leonidas Kosmidis; Adriana Gogonel; Andrea Baldovin; Zoë R. Stephenson; Benoit Triquet; Eduardo Quiñones; Code Lo; Enrico Mezzetti; Ian Broster; Jaume Abella 001; Liliana Cucu-Grosjean; et al. (DATE, 2015)

Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131). - Liliana Cucu-Grosjean; Robert I. Davis 001; Sanjoy K. Baruah; Zoë Stephenson (Dagstuhl Reports, 2017)