Skip to content

Zo R. Stephenson

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

4

Active years

2005–2015

Best venue rank

C

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2015DATETiming 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 Quiones, Code Lo, Enrico Mezzetti, Ian Broster, Jaume Abella, Liliana Cucu-Grosjean, Tullio Vardanega, Francisco J. Cazorla
2013INDINSupporting industrial use of probabilistic timing analysis with explicit argumentation.Zo R. Stephenson, Jaume Abella, Tullio Vardanega
2007SEWUsing Model Checking to Validate Style-Specific Architectural Refactoring Patterns.Zo R. Stephenson, John A. McDermid
2006SEWUsing Simulation to Validate Style-Specific Architectural Refactoring Patterns.Zo R. Stephenson, John A. McDermid, Jason Choy
2005SACHigh-integrity extreme programming.Richard F. Paige, Howard Chivers, John A. McDermid, Zo R. Stephenson