Zoë Stephenson

Affiliations:
  • Rapita Systems Ltd., York, UK
  • University of York, UK (former)


According to our database1, Zoë Stephenson authored at least 10 papers between 2005 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131).
Dagstuhl Reports, 2017

2015
Timing analysis of an avionics case study on complex hardware/software platforms.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2013
Supporting industrial use of probabilistic timing analysis with explicit argumentation.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2011
Distinguishing Fact from Fiction in a System of Systems Safety Case.
Proceedings of the Advances in Systems Safety, 2011

Product-Line Models to Address Requirements Uncertainty, Volatility and Risk.
Proceedings of the Relating Software Requirements and Architectures., 2011

2007
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

2006
Towards an Agile Process for Building Software Product Lines.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2006

Using Simulation to Validate Style-Specific Architectural Refactoring Patterns.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

2005
Deriving architectural flexibility requirements in safety-critical systems.
IEE Proc. Softw., 2005

High-integrity extreme programming.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005


  Loading...