Skip to content
cs-conference-ranking.org

John Alexander McDermid

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

9

Active years

1989–2015

Best venue rank

B

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2015SAFECOMPInforming Assurance Case Review Through a Formal Interpretation of GSN Core Logic.Victor Bandur, John Alexander McDermid
2007ECSAThe Art and Science of Software Architecture.Alan W. Brown, John Alexander McDermid
2005IROSTwo-stage visual localisation: landmark-based pose initialisation and model-based pose refinement.Zezhi Chen, Philip Pe, John Alexander McDermid, Nick E. Pears
2003DICTAEpipole Estimation under Pure Camera Translation.Zezhi Chen, Nick E. Pears, John Alexander McDermid, Thomas Heseltine
2000ICECCSComplexity: Concept, Causes and Control.John Alexander McDermid
1992FORTEIncremental processing of Z specifications.Alexandre Marcos Lins de Vasconcelos, John Alexander McDermid
1991ISSRESafety arguments, software and system reliability.John Alexander McDermid
1990ESORICSTowards an Object Oriented Development Environment for Secure Applications.Ernest S. Hocking, John Alexander McDermid
1989DBSECSecurity Policies for Integrated Project Support Environments.John Alexander McDermid, Ernest S. Hocking