John McDermid

Publication Activity (10 Years)

Years Active: 1985-2022
Publications (10 Years): 16

Top Topics

Artificial Intelligence

Simulation Models

Conflict Resolution

Autonomous Systems

Top Venues

Reliab. Eng. Syst. Saf.

Publications

John Molloy, John McDermid
Safety Assessment for Autonomous Systems' Perception Capabilities. CoRR (2022)
Yan Jia, Tom Lawton, John McDermid, Eric Rojas, Ibrahim Habli
A Framework for Assurance of Medication Safety using Machine Learning. CoRR (2021)
Yan Jia, Tom Lawton, John Burden, John McDermid, Ibrahim Habli
Safety-driven design of machine learning for sepsis treatment. J. Biomed. Informatics 117 (2021)
Yan Jia, John McDermid, Tom Lawton, Ibrahim Habli
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. CoRR (2021)
Yan Jia, John McDermid, Ibrahim Habli
Enhancing the Value of Counterfactual Explanations for Deep Learning. AIME (2021)
Helen Monkhouse, Ibrahim Habli, John McDermid
An enhanced vehicle control model for assessing highly automated driving safety. Reliab. Eng. Syst. Saf. 202 (2020)
Grace Bang, Guy Barash, Ryan Beal, Jacques Calì, Mauricio Castillo-Effen, Xin Cynthia Chen, Niyati Chhaya, Rachel Cummings, Rohan Dhoopar, Sebastijan Dumancic, Huáscar Espinoza, Eitan Farchi, Ferdinando Fioretto, Raquel Fuentetaja, Christopher William Geib, Odd Erik Gundersen, José Hernández-Orallo, Xiaowei Huang, Kokil Jaidka, Sarah Keren, Seokhwan Kim, Michel Galley, Xiaomo Liu, Tyler Lu, Zhiqiang Ma, Richard Mallah, John McDermid, Martin Michalowski, Reuth Mirsky, Seán Ó hÉigeartaigh, Deepak Ramachandran, Javier Segovia Aguas, Onn Shehory, Arash Shaban-Nejad, Vered Shwartz, Siddharth Srivastava, Kartik Talamadupula, Jian Tang, Pascal Van Hentenryck, Dell Zhang, Jian Zhang
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. 41 (4) (2020)
Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John McDermid, Chiara Picardi, Tom Lawton
Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. CoRR (2020)
John McDermid, Yan Jia
Safety of Artificial Intelligence: A Collaborative Model. AISafety@IJCAI (2020)
Simon Burton, Ibrahim Habli, Tom Lawton, John McDermid, Phillip Morgan, Zoë Porter
Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective. Artif. Intell. 279 (2020)
Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John McDermid
Integrating Existing Safety Analyses into SysML. IMBSA (2019)
John McDermid, Yan Jia, Ibrahim Habli
Towards a Framework for Safety Assurance of Autonomous Systems. AISafety@IJCAI (2019)
Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John McDermid
A SysML Profile for Fault Trees - Linking Safety Models to System Design. SAFECOMP (2019)
Helen Monkhouse, Ibrahim Habli, John McDermid, Siddartha Khastgir, Gunwant Dhadyalla
Why functional safety experts worry about automotive systems having increasing autonomy. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Xueyi Zou, Rob Alexander, John McDermid
Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search. J. Aerosp. Inf. Syst. 13 (5) (2016)
Xueyi Zou, Rob Alexander, John McDermid
On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution. DSN Workshops (2016)
Victor Bandur, John McDermid
Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic. SAFECOMP Workshops (2015)
Xueyi Zou, Rob Alexander, John McDermid
Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search. SAFECOMP (2014)
Andrew Rae, Rob Alexander, John McDermid
Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment. Reliab. Eng. Syst. Saf. 125 (2014)
John McDermid, Andrew Rae
Goal-Based Safety Standards: Promises and Pitfalls. SSS (2012)
John McDermid, Martyn Thomas, Felix Redmill
Professional Issues in System Safety Engineering. SSS (2009)
Zezhi Chen, Philip Pe, John McDermid, Nick E. Pears
Two-stage visual localisation: landmark-based pose initialisation and model-based pose refinement. IROS (2005)
Zezhi Chen, Nick E. Pears, Bojian Liang, John McDermid
Plane Segmentation from Two Views in Reciprocal-Polar Image Space. ICIAR (1) (2004)
Paul Chinneck, David John Pumfrey, John McDermid
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. SCS (2004)
Zezhi Chen, Nick E. Pears, John McDermid, Thomas Heseltine
Epipole Estimation under Pure Camera Translation. DICTA (2003)
Karen Allenby, Simon Burton, Darren Lee Buttle, John McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson
A Family-Oriented Software Development Process for Engine Controllers. PROFES (2001)
John McDermid
Limited access testing: IEEE 1149.4-instrumentation and methods. ITC (1998)
John McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM (1998)
Wing Lam, Ben Whittle, John McDermid, Steve Wilson
An Integrated Approach to Domain Analysis and Reuse for Engineering Complex Systems. ECBS (1996)
John McDermid
Software Engineering: A Practitioner's Approach [Book Review]. Softw. Eng. J. 10 (6) (1995)
Bev Littlewood, Sarah Brocklehurst, Norman E. Fenton, Peter Mellor, Stella Page, David Wright, John Dobson, John McDermid, Dieter Gollmann
Towards Operational Measures of Computer Security. J. Comput. Secur. 2 (2-3) (1993)
Leonor Barroca, John McDermid
Formal Methods for Real-Time Systems. NATO ASI RTC (1992)
John McDermid
The Role of Formal Methods in Software Development. J. Inf. Technol. 2 (3) (1987)
John McDermid
Editorial: Mascot 3. Softw. Eng. J. 1 (3) (1986)
Roy D. Dowsing, Owen Davies, John McDermid
Editorial. Softw. Microsystems 4 (2) (1985)
Roy D. Dowsing, Owen Davies, John McDermid
Editorial. Softw. Microsystems 4 (1) (1985)
John McDermid
The IEE and software engineers. Softw. Microsystems 4 (2) (1985)