John Alexander McDermid

34 papers A 3B 3C 3Misc 1Journal 10Unranked 13
YearRankTypeTitle / Venue / Authors
2022 — conf
Investigating Human Error Within GoA-2 Metro Lines.
RSSRail
Josh Hunter, John Alexander McDermid
2022 J jnl
Safety Assessment for Autonomous Systems' Perception Capabilities.
CoRR
John Molloy, John Alexander McDermid
2015 — conf
Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic.
SAFECOMP Workshops
Victor Bandur, John Alexander McDermid
2015 — ch.
Safety and Dependability.
Dependable Software Systems Engineering
John Alexander McDermid
2014 J jnl
Nothing is Certain but Doubt and Tests.
CoRR
John Alexander McDermid
2012 — conf
The Risks of LSCITS: The Odds Are Stacked against Us.
Monterey Workshop
John Alexander McDermid
2009 C conf
Professional Issues in System Safety Engineering.
SSS
John Alexander McDermid, Martyn Thomas, Felix Redmill
2007 B conf
The Art and Science of Software Architecture.
ECSA
Alan W. Brown, John Alexander McDermid
2007 J jnl
The Art and Science of Software Architecture.
Int. J. Cooperative Inf. Syst.
Alan W. Brown, John Alexander McDermid
2005 A conf
Two-stage visual localisation: landmark-based pose initialisation and model-based pose refinement.
IROS
Zezhi Chen, Philip Pe, John Alexander McDermid, Nick E. Pears
2004 — conf
Plane Segmentation from Two Views in Reciprocal-Polar Image Space.
ICIAR (1)
Zezhi Chen, Nick E. Pears, Bojian Liang, John Alexander McDermid
2003 Misc conf
Epipole Estimation under Pure Camera Translation.
DICTA
Zezhi Chen, Nick E. Pears, John Alexander McDermid, Thomas Heseltine
2002 — conf
Software Hazard and Safety Analysis.
FTRTFT
John Alexander McDermid
2002 — conf
Trends in Systems Safety.
SCS
John Alexander McDermid
2001 — conf
Software Safety: Where's the Evidence?
SCS
John Alexander McDermid
2000 B conf
Complexity: Concept, Causes and Control.
ICECCS
John Alexander McDermid
1999 J jnl
Software engineering research: A critical appraisal.
IEE Proc. Softw.
John Alexander McDermid, Keith H. Bennett
1998 J jnl
The Cost of COTS (Interview).
Computer
Nancy Talbert, John Alexander McDermid
1996 — conf
An Integrated Approach to Domain Analysis and Reuse for Engineering Complex Systems.
ECBS
Wing Lam, Ben Whittle, John Alexander McDermid, Steve Wilson
1996 C conf
Software Hazard and Safety Analysis: Opportunities and Challenges.
SSS
John Alexander McDermid
1995 J jnl
Software Engineering: A Practitioner's Approach [Book Review].
Softw. Eng. J.
John Alexander McDermid
1993 J jnl
Software fault trees and weakest preconditions: a comparison and analysis.
Softw. Eng. J.
Steven J. Clarke, John Alexander McDermid
1992 — conf
"Birds-of-a-Feather-Group" on Safety Critical Systems.
NATO ASI RTC
W. J. Cullyer, John Alexander McDermid
1992 C conf
Incremental processing of Z specifications.
FORTE
Alexandre Marcos Lins de Vasconcelos, John Alexander McDermid
1992 J jnl
Learning from IPSE's Mistakes.
IEEE Softw.
Alan W. Brown, John Alexander McDermid
1992 — conf
Safety Engineering and Assurance for Real-Time Systems.
NATO ASI RTC
John Alexander McDermid
1992 — conf
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?
NATO ASI RTC
John Alexander McDermid
1991 A conf
Safety arguments, software and system reliability.
ISSRE
John Alexander McDermid
1990 — conf
An Approach to Object-Oriented Specification Using Z.
Z User Workshop
Peter John Whysall, John Alexander McDermid
1990 A conf
Towards an Object Oriented Development Environment for Secure Applications.
ESORICS
Ernest S. Hocking, John Alexander McDermid
1989 B conf
Security Policies for Integrated Project Support Environments.
DBSec
John Alexander McDermid, Ernest S. Hocking
1988 — conf
Low Level Synchronisation Problems in Digital Systems.
FTRTFT
John Alexander McDermid, Gary Morgan
1987 J jnl
Implementation of a model lift control system from a formal specification.
Softw. Eng. J.
J. P. Mocek, John Alexander McDermid
1987 J jnl
The Role of Formal Methods in Software Development.
J. Inf. Technol.
John Alexander McDermid