John McDermid - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2021

Enhancing the Value of Counterfactual Explanations for Deep LearningYan Jia, John McDermid, Ibrahim Habli. aime 2021: 389-394 [doi]

Safety-driven design of machine learning for sepsis treatmentYan Jia, Tom Lawton, John Burden, John McDermid, Ibrahim Habli. jbi, 117:103762, 2021. [doi]

2020

2019

2017

Why functional safety experts worry about automotive systems having increasing autonomyHelen Monkhouse, Ibrahim Habli, John McDermid, Siddartha Khastgir, Gunwant Dhadyalla. uic 2017: 1-6 [doi]

2016

On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial SolutionXueyi Zou, Rob Alexander, John McDermid. dsn 2016: 192-199 [doi]

Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective SearchXueyi Zou, Rob Alexander, John McDermid. jacic, 13(5):191-203, 2016. [doi]

2015

Informing Assurance Case Review Through a Formal Interpretation of GSN Core LogicVictor Bandur, John McDermid. safecomp 2015: 3-14 [doi]

2014

Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessmentAndrew Rae, Rob Alexander, John McDermid. ress, 125:67-81, 2014. [doi]

Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary SearchXueyi Zou, Rob Alexander, John McDermid. safecomp 2014: 33-48 [doi]

2012

Goal-Based Safety Standards: Promises and PitfallsJohn McDermid, Andrew Rae. scss 2012: 257-270 [doi]

2009

Professional Issues in System Safety EngineeringJohn McDermid, Martyn Thomas, Felix Redmill. scss 2009: 135-145 [doi]

2005

Two-stage visual localisation: landmark-based pose initialisation and model-based pose refinementZezhi Chen, Philip Pe, John McDermid, Nick Pears. iros 2005: 150-156 [doi]

On the Formal Development of Safety-Critical SoftwareAndy Galloway, Frantz Iwu, John McDermid, Ian Toyn. vstte 2008: 362-373 [doi]

2004

Plane Segmentation from Two Views in Reciprocal-Polar Image SpaceZezhi Chen, Nick E. Pears, Bojian Liang, John McDermid. iciar 2004: 638-646 [doi]

The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring NotationPaul Chinneck, David Pumfrey, John McDermid. scs 2005: 33-41 [doi]

2003

Epipole Estimation under Pure Camera TranslationZezhi Chen, Nick Pears, John McDermid, Thomas Heseltine. dicta 2003: 849-858 [doi]

1998

Limited access testing: IEEE 1149.4-instrumentation and methodsJohn McDermid. itc 1998: 388-395 [doi]

1996

An Integrated Approach to Domain Analysis and Reuse for Engineering Complex SystemsWing Lam, Ben Whittle, John McDermid, Steve Wilson. ECBS 1996: 102-109 [doi]

1995

Software Engineering: A Practitioner's Approach [Book Review]John McDermid. iee, 10(6):266, 1995. [doi]

1992

Formal Methods for Real-Time SystemsLeonor Barroca, John McDermid. nato 1994: 619-620 [doi]

1987

The Role of Formal Methods in Software DevelopmentJohn McDermid. jitech, 2(3):124-134, 1987. [doi]

1986

Editorial: Mascot 3John McDermid. iee-sej, 1(3), 1986. [doi]

1985

EditorialRoy D. Dowsing, Owen Davies, John McDermid. iee-sej, 4(1), 1985. [doi]

EditorialRoy D. Dowsing, Owen Davies, John McDermid. iee-sej, 4(2), 1985. [doi]

The IEE and software engineersJohn McDermid. iee-sej, 4(2):45-48, 1985. [doi]

Sign in or sign up to see more results.

runs on WebDSL