John A. McDermid

172 papers A* 1A 6B 24C 11Misc 6Journal 71Unranked 42

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Design Principles for Human-Centred Explainable AI: A Scoping Review. ACM Trans. Interact. Intell. Syst. Nathan Gerard Jayy Hughes, Yan Jia, Mark Sujan, Tom Lawton, Ibrahim Habli, John A. McDermid
2025	J	`jnl`	INSYTE: A Classification Framework for Traditional to Agentic AI Systems. ACM Trans. Auton. Adapt. Syst. Zoë Porter, Radu Calinescu, Ernest Lim, Victoria J. Hodge, Philippa Ryan, Simon Burton, Ibrahim Habli, Tom Lawton, John A. McDermid, John Molloy, Helen Monkhouse, Phillip Morgan, Paul Noordhof, Colin Paterson, Isobel Standen, Jie Zou
2025	Misc	`conf`	Insights from Railway Professionals: Rethinking Railway Assumptions Regarding Safety and Autonomy. EDCC Josh Hunter, John A. McDermid, Simon Burton
2025	J	`jnl`	Insights from Railway Professionals: Rethinking Railway assumptions regarding safety and autonomy. CoRR Josh Hunter, John A. McDermid, Simon Burton
2025	J	`jnl`	International AI Safety Report 2025: First Key Update: Capabilities and Risk Implications. CoRR Yoshua Bengio, Stephen Clare, Carina Prunkl, Shalaleh Rismani, Maksym Andriushchenko, Ben Bucknall, Philip Fox, Tiancheng Hu, Cameron Jones, Sam Manning, Nestor Maslej, Vasilios Mavroudis, Conor McGlynn, Malcolm Murray, Charlotte Stix, Lucia Velasco, Nicole Wheeler, Daniel Privitera, Sören Mindermann, Daron Acemoglu, Thomas G. Dietterich, Fredrik Heintz, Geoffrey E. Hinton, Nicholas R. Jennings, Susan Leavy, Teresa Ludermir, Vidushi Marda, Helen Margetts, John A. McDermid, Jane Munga, Arvind Narayanan, Alondra Nelson, Clara Neppel, Gopal Ramchurn, Stuart Russell, Marietje Schaake, Bernhard Schölkopf, Alavaro Soto, Lee Tiedrich, Gaël Varoquaux, Andrew Yao, Yan-Ning Zhang, Leandro Aguirre, Olubunmi Ajala, Fahad Albalawi Noora AlMalek, Christian Busch, André C. P. L. F. de Carvalho, Jonathan Collas, Amandeep Gill, Ahmet Halit Hatip, Juha Heikkilä, Chris Johnson, Gill Jolly, Ziv Katzir, Mary Kerema, Hiroaki Kitano, Antonio Krüger, Aoife McLysaght, Oleksii Molchanovskyi, Andrea Monti, Kyoung Mu Lee, Mona Nemer, Nuria Oliver, Raquel Pezoa Rivera, Audrey Plonk, José Ramón López Portillo, Balaraman Ravindran, Hammam Riza, Crystal Rugege, Haroon Sheikh, Denise Wong, Yi Zeng, Liming Zhu
2025	J	`jnl`	International AI Safety Report 2025: Second Key Update: Technical Safeguards and Risk Management. CoRR Yoshua Bengio, Stephen Clare, Carina Prunkl, Maksym Andriushchenko, Ben Bucknall, Philip Fox, Nestor Maslej, Conor McGlynn, Malcolm Murray, Shalaleh Rismani, Stephen Casper, Jessica Newman, Daniel Privitera, Sören Mindermann, Daron Acemoglu, Thomas G. Dietterich, Fredrik Heintz, Geoffrey E. Hinton, Nick R. Jennings, Susan Leavy, Teresa Ludermir, Vidushi Marda, Helen Margetts, John A. McDermid, Jane Munga, Arvind Narayanan, Alondra Nelson, Clara Neppel, Gopal Ramchurn, Stuart Russell, Marietje Schaake, Bernhard Schölkopf, Alavaro Soto, Lee Tiedrich, Gaël Varoquaux, Andrew Yao, Yanning Zhang, Leandro Aguirre, Olubunmi Ajala, Fahad Albalawi Noora AlMalek, Noora AlMalek, Christian Busch, André Carvalho, Jonathan Collas, Amandeep Gill, Ahmet Halit Hatip, Juha Heikkilä, Chris Johnson, Gill Jolly, Ziv Katzir, Mary Kerema, Hiroaki Kitano, Antonio Krüger, Aoife McLysaght, Oleksii Molchanovskyi, Andrea Monti, Kyoung Mu Lee, Mona Nemer, Nuria Oliver, Raquel Pezoa, Audrey Plonk, José Ramón López Portillo, Balaraman Ravindran, Hammam Riza, Crystal Rugege, Haroon Sheikh, Denise Wong, Yi Zeng, Liming Zhu
2025	J	`jnl`	International AI Safety Report. CoRR Yoshua Bengio, Sören Mindermann, Daniel Privitera, Tamay Besiroglu, Rishi Bommasani, Stephen Casper, Yejin Choi, Philip Fox, Ben Garfinkel, Danielle Goldfarb, Hoda Heidari, Anson Ho, Sayash Kapoor, Leila Khalatbari, Shayne Longpre, Sam Manning, Vasilios Mavroudis, Mantas Mazeika, Julian Michael, Jessica Newman, Kwan Yee Ng, Chinasa T. Okolo, Inioluwa Deborah Raji, Girish Sastry, Elizabeth Seger, Theodora Skeadas, Tobin South, Emma Strubell, Florian Tramèr, Lucia Velasco, Nicole Wheeler, Daron Acemoglu, Olubayo Adekanmbi, David Dalrymple, Thomas G. Dietterich, Edward W. Felten, Pascale Fung, Pierre-Olivier Gourinchas, Fredrik Heintz, Geoffrey E. Hinton, Nick R. Jennings, Andreas Krause, Susan Leavy, Percy Liang, Teresa Ludermir, Vidushi Marda, Helen Margetts, John A. McDermid, Jane Munga, Arvind Narayanan, Alondra Nelson, Clara Neppel, Alice Oh, Gopal Ramchurn, Stuart Russell, Marietje Schaake, Bernhard Schölkopf, Dawn Song, Alvaro Soto, Lee Tiedrich, Gaël Varoquaux, Andrew Yao, Ya-Qin Zhang, Fahad Albalawi, Marwan Alserkal, Olubunmi Ajala, Guillaume Avrin, Christian Busch, André Carlos Ponce de Leon Ferreira de Carvalho, Bronwyn Fox, Amandeep Singh Gill, Ahmet Halit Hatip, Juha Heikkilä, Gill Jolly, Ziv Katzir, Hiroaki Kitano, Antonio Krüger, Chris Johnson, Saif M. Khan, Kyoung Mu Lee, Dominic Vincent Ligot, Oleksii Molchanovskyi, Andrea Monti, Nusu Mwamanzi, Mona Nemer, Nuria Oliver, José Ramón López Portillo, Balaraman Ravindran, Raquel Pezoa Rivera, Hammam Riza, Crystal Rugege, Ciarán Seoighe, Jerry Sheehan, Haroon Sheikh, Denise Wong, Yi Zeng
2025	J	`jnl`	Milestone Determination for Autonomous Railway Operation. CoRR Josh Hunter, John A. McDermid, Simon Burton, Poppy Fynes, Mia Dempster
2025	J	`jnl`	The BIG Argument for AI Safety Cases. CoRR Ibrahim Habli, Richard Hawkins, Colin Paterson, Philippa Ryan, Yan Jia, Mark Sujan, John A. McDermid
2025	J	`jnl`	The case for delegated AI autonomy for Human AI teaming in healthcare. CoRR Yan Jia, Harriet Evans, Zoë Porter, Simon Graham, John A. McDermid, Tom Lawton, David R. J. Snead, Ibrahim Habli
2025	J	`jnl`	Upstream and Downstream AI Safety: Both on the Same River? CoRR John A. McDermid, Yan Jia, Ibrahim Habli
2024	J	`jnl`	A principles-based ethics assurance argument pattern for AI and autonomous systems. AI Ethics Zoë Porter, Ibrahim Habli, John A. McDermid, Marten H. L. Kaas
2024	—	`conf`	Bridging the Reality Gap: Assurable Simulations for an ML-Based Inspection Drone Flight Controller. SAFECOMP (Workshops) Philippa Ryan, Mathias von Essen, Liam Shackley, John A. McDermid
2024	J	`jnl`	Context-Aware Graceful Degradation for Mixed-Criticality Scheduling in Autonomous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jie Zou, Xiaotian Dai, John A. McDermid
2024	J	`jnl`	Hazard and Safety Analysis of Machine-Learning-Based Perception Capabilities in Autonomous Vehicles. Computer John Molloy, Sepeedeh Shahbeigi, John A. McDermid
2024	J	`jnl`	International Scientific Report on the Safety of Advanced AI (Interim Report). CoRR Yoshua Bengio, Sören Mindermann, Daniel Privitera, Tamay Besiroglu, Rishi Bommasani, Stephen Casper, Yejin Choi, Danielle Goldfarb, Hoda Heidari, Leila Khalatbari, Shayne Longpre, Vasilios Mavroudis, Mantas Mazeika, Kwan Yee Ng, Chinasa T. Okolo, Inioluwa Deborah Raji, Theodora Skeadas, Florian Tramèr, Bayo Adekanmbi, Paul F. Christiano, David Dalrymple, Thomas G. Dietterich, Edward W. Felten, Pascale Fung, Pierre-Olivier Gourinchas, Nick R. Jennings, Andreas Krause, Percy Liang, Teresa Ludermir, Vidushi Marda, Helen Margetts, John A. McDermid, Arvind Narayanan, Alondra Nelson, Alice Oh, Gopal Ramchurn, Stuart Russell, Marietje Schaake, Dawn Song, Alvaro Soto, Lee Tiedrich, Gaël Varoquaux, Andrew Yao, Ya-Qin Zhang
2024	—	`ed.`	Proceedings of the IJCAI 2024 Workshop on Artificial Intelligence Safety (AISafety 2024) co-located with the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), Jeju, Korea, August 4, 2024. AISafety@IJCAI Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Fabio Arnez, Huáscar Espinoza, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid, Andreas Theodorou
2024	J	`jnl`	Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology. CoRR Josh Hunter, John A. McDermid, Simon Burton
2024	J	`jnl`	The Safety of Autonomy: A Systematic Approach. Computer John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy
2024	—	`conf`	Using GPT-4 to Generate Failure Logic. SAFECOMP (Workshops) Kester Dean Clegg, Ibrahim Habli, John A. McDermid
2024	J	`jnl`	What's my role? Modelling responsibility for AI-based safety-critical systems. CoRR Philippa Ryan, Zoë Porter, Joanna Al-Qaddoumi, John A. McDermid, Ibrahim Habli
2023	—	`conf`	Graceful Degradation with Condition- and Inference-Awareness for Mixed-Criticality Scheduling in Autonomous Systems. CPS-IoT Week Workshops Jie Zou, Xiaotian Dai, John A. McDermid
2023	—	`ed.`	Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), Macau, China, August 21-22, 2023. AISafety/SafeRL@IJCAI Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, Huáscar Espinoza, Nikolaos Matragkas, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid, David M. Bossens, Bettina Könighofer, Sebastian Tschiatschek, Anqi Liu
2023	—	`ed.`	Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), Washington DC, USA, February 13-14, 2023. SafeAI@AAAI Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid
2023	—	`conf`	Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident. TAS Philippa Ryan Conmy, John A. McDermid, Ibrahim Habli, Zoë Porter
2023	—	`conf`	The Need for the Human-Centred Explanation for ML-based Clinical Decision Support Systems. ICHI Yan Jia, John A. McDermid, Nathan Gerard Jayy Hughes, Mark Sujan, Tom Lawton, Ibrahim Habli
2023	J	`jnl`	Unravelling Responsibility for AI. CoRR Zoë Porter, Joanna Al-Qaddoumi, Philippa Ryan Conmy, Phillip Morgan, John A. McDermid, Ibrahim Habli
2023	J	`jnl`	reTSN: Resilient and Efficient Time-Sensitive Network for Automotive In-Vehicle Communication. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jie Zou, Xiaotian Dai, John A. McDermid
2022	J	`jnl`	A Principle-based Ethical Assurance Argument for AI and Autonomous Systems. CoRR Zoë Porter, Ibrahim Habli, John A. McDermid
2022	B	`conf`	Analysing the Safety of Decision-Making in Autonomous Systems. SAFECOMP Matt Osborne, Richard Hawkins, John A. McDermid
2022	J	`jnl`	Distinguishing two features of accountability for AI technologies. Nat. Mac. Intell. Zoë Porter, Annette Zimmermann, Phillip Morgan, John A. McDermid, Tom Lawton, Ibrahim Habli
2022	J	`jnl`	Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE). CoRR Richard Hawkins, Matt Osborne, Mike Parsons, Mark Nicholson, John A. McDermid, Ibrahim Habli
2022	—	`ed.`	Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), Vienna, Austria, July 24-25, 2022. AISafety@IJCAI Gabriel Pedroza, Xin Cynthia Chen, José Hernández-Orallo, Xiaowei Huang, Huáscar Espinoza, Richard Mallah, John A. McDermid, Mauricio Castillo-Effen
2022	—	`ed.`	Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), Virtual, February, 2022. SafeAI@AAAI Gabriel Pedroza, José Hernández-Orallo, Xin Cynthia Chen, Xiaowei Huang, Huáscar Espinoza, Mauricio Castillo-Effen, John A. McDermid, Richard Mallah, Seán Ó hÉigeartaigh
2022	J	`jnl`	The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. IEEE Trans. Emerg. Top. Comput. Yan Jia, John A. McDermid, Tom Lawton, Ibrahim Habli
2021	J	`jnl`	A Framework for Assurance of Medication Safety using Machine Learning. CoRR Yan Jia, Tom Lawton, John A. McDermid, Eric Rojas, Ibrahim Habli
2021	B	`conf`	Enhancing the Value of Counterfactual Explanations for Deep Learning. AIME Yan Jia, John A. McDermid, Ibrahim Habli
2021	—	`ed.`	Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), Virtual, February 8, 2021. SafeAI@AAAI Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah
2021	—	`ed.`	Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), Virtual, August, 2021. AISafety@IJCAI Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah, Gabriel Pedroza
2021	J	`jnl`	Safety, Complexity, and Automated Driving: Holistic Perspectives on Safety Assurance. Computer Simon Burton, John A. McDermid, Philip Garnett, Rob Weaver
2021	J	`jnl`	Safety-driven design of machine learning for sepsis treatment. J. Biomed. Informatics Yan Jia, Tom Lawton, John Burden, John A. McDermid, Ibrahim Habli
2021	J	`jnl`	The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. CoRR Yan Jia, John A. McDermid, Tom Lawton, Ibrahim Habli
2020	J	`jnl`	An enhanced vehicle control model for assessing highly automated driving safety. Reliab. Eng. Syst. Saf. Helen Monkhouse, Ibrahim Habli, John A. McDermid
2020	J	`jnl`	Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. CoRR Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John A. McDermid, Chiara Picardi, Tom Lawton
2020	J	`jnl`	Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective. Artif. Intell. Simon Burton, Ibrahim Habli, Tom Lawton, John A. McDermid, Phillip Morgan, Zoë Porter
2020	—	`ed.`	Proceedings of the Workshop on Artificial Intelligence Safety 2020 co-located with the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), Yokohama, Japan, January, 2021. AISafety@IJCAI Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah
2020	—	`ed.`	Proceedings of the Workshop on Artificial Intelligence Safety, co-located with 34th AAAI Conference on Artificial Intelligence, SafeAI@AAAI 2020, New York City, NY, USA, February 7, 2020. SafeAI@AAAI Huáscar Espinoza, José Hernández-Orallo, Xin Cynthia Chen, Seán S. ÓhÉigeartaigh, Xiaowei Huang, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid
2020	—	`conf`	Safety of Artificial Intelligence: A Collaborative Model. AISafety@IJCAI John A. McDermid, Yan Jia
2020	J	`jnl`	The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. 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 A. 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
2019	B	`conf`	A SysML Profile for Fault Trees - Linking Safety Models to System Design. SAFECOMP Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid
2019	—	`conf`	Integrating Existing Safety Analyses into SysML. IMBSA Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid
2019	J	`jnl`	Rapid Integration of CPS Security and Safety. IEEE Embed. Syst. Lett. Fredrik Asplund, John A. McDermid, Robert Oates, Jonathan Roberts
2019	—	`conf`	Towards a Framework for Safety Assurance of Autonomous Systems. AISafety@IJCAI John A. McDermid, Yan Jia, Ibrahim Habli
2017	—	`conf`	SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction. STAF Workshops Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John A. McDermid, Mike Bennett, Stuart Hutchesson, Andrew Hawthorn
2017	—	`conf`	Why functional safety experts worry about automotive systems having increasing autonomy. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Helen Monkhouse, Ibrahim Habli, John A. McDermid, Siddartha Khastgir, Gunwant Dhadyalla
2016	—	`conf`	On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution. DSN Workshops Xueyi Zou, Rob Alexander, John A. McDermid
2016	J	`jnl`	Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search. J. Aerosp. Inf. Syst. Xueyi Zou, Rob Alexander, John A. McDermid
2015	—	`conf`	Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. WESE Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz
2015	—	`conf`	The Need for a Confidence View of CPS Support Environments (Fast Abstract). HASE Fredrik Asplund, Martin Törngren, Richard Hawkins, John A. McDermid
2014	J	`jnl`	Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment. Reliab. Eng. Syst. Saf. Andrew Rae, Rob Alexander, John A. McDermid
2014	B	`conf`	Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search. SAFECOMP Xueyi Zou, Rob Alexander, John A. McDermid
2013	J	`jnl`	Trusted Product Lines. Inf. Softw. Technol. Stuart Hutchesson, John A. McDermid
2012	J	`jnl`	Formal Specification-Based Inspection for Verification of Programs. IEEE Trans. Software Eng. Shaoying Liu, Yuting Chen, Fumiko Nagoya, John A. McDermid
2012	C	`conf`	Goal-Based Safety Standards: Promises and Pitfalls. SSS John A. McDermid, Andrew Rae
2012	J	`jnl`	Large-scale complex IT systems. Commun. ACM Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige
2011	—	`conf`	Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing. Networking Workshops Juan E. Tapiador, Mudhakar Srivatsa, John A. Clark, John A. McDermid
2011	—	`conf`	Failures of a Business Process in Enterprise Systems. CENTERIS (1) Xiaocheng Ge, Richard F. Paige, John A. McDermid
2011	J	`jnl`	Large-scale Complex IT Systems CoRR Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige
2011	—	`conf`	Model-based Failure Failure Analysis of Business Process. ICEIS (3) Xiaocheng Ge, Richard F. Paige, John A. McDermid
2011	—	`ch.`	Product-Line Models to Address Requirements Uncertainty, Volatility and Risk. Relating Software Requirements and Architectures Zoë R. Stephenson, Katrina Attwood, John A. McDermid
2011	B	`conf`	Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations. SPLC Stuart Hutchesson, John A. McDermid
2010	J	`jnl`	A Rigorous Method for Inspection of Model-Based Formal Specifications. IEEE Trans. Reliab. Shaoying Liu, John A. McDermid, Yuting Chen
2010	—	`conf`	An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. AGILE Xiaocheng Ge, Richard F. Paige, John A. McDermid
2010	C	`conf`	An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. SSS Catherine Menon, Richard Hawkins, John A. McDermid, Tim Kelly
2010	—	`conf`	Analysing System Failure Behaviours with PRISM. SSIRI (Companion) Xiaocheng Ge, Richard F. Paige, John A. McDermid
2010	B	`conf`	Development of High-Integrity Software Product Lines Using Model Transformation. SAFECOMP Stuart Hutchesson, John A. McDermid
2010	—	`conf`	Modelling Uncertain and Time-Dependent Security Labels in MLS Systems. ICETE (Selected Papers) John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget
2010	C	`conf`	Risk based Access Control with Uncertain and Time-dependent Sensitivity. SECRYPT John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget
2009	C	`conf`	Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards. SSS Catherine Menon, Richard Hawkins, John A. McDermid
2009	—	`conf`	Domain analysis on an electronic health records system. FOSD Xiaocheng Ge, Richard F. Paige, John A. McDermid
2009	B	`conf`	Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska
2009	B	`conf`	Probabilistic Failure Propagation and Transformation Analysis. SAFECOMP Xiaocheng Ge, Richard F. Paige, John A. McDermid
2007	J	`jnl`	Integrating safety and formal analyses using UML and PFS. Reliab. Eng. Syst. Saf. Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn
2007	C	`conf`	Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. SEW Zoë R. Stephenson, John A. McDermid
2006	J	`jnl`	Refactoring service-based systems: how to avoid trusting a workflow service. Concurr. Comput. Pract. Exp. Howard Chivers, John A. McDermid
2006	C	`conf`	Three Perspectives in Formal Engineering. ICFEM John A. McDermid, Andy Galloway
2006	C	`conf`	Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. SEW Zoë R. Stephenson, John A. McDermid, Jason Choy
2005	C	`conf`	An Automated Approach to Specification-Based Program Inspection. ICFEM Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid
2005	J	`jnl`	Combining software evidence: arguments and assurance. ACM SIGSOFT Softw. Eng. Notes Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid
2005	J	`jnl`	Deriving architectural flexibility requirements in safety-critical systems. IEE Proc. Softw. Zoë R. Stephenson, John A. McDermid
2005	Misc	`conf`	High-integrity extreme programming. SAC Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson
2005	—	`conf`	On the Formal Development of Safety-Critical Software. VSTTE Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn
2004	—	`conf`	Improving certification capability through automatic code generation. IFIP Congress Topical Sessions Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid
2004	—	`conf`	The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. SCS Paul Chinneck, David John Pumfrey, John A. McDermid
2003	Misc	`conf`	A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. Ada-Europe Tse-Min Lin, John A. McDermid
2003	—	`conf`	A Contract-based Approach to Designing Safe Systems. SCS Iain Bate, Richard Hawkins, John A. McDermid
2003	J	`jnl`	Establishing timing requirements for control loops in real-time systems. Microprocess. Microsystems Iain Bate, John A. McDermid, Peter Nightingale
2003	—	`conf`	Safety Assurance Contracts for Integrated Modular Avionics. SCS Philippa Conmy, Mark Nicholson, John A. McDermid
2002	—	`conf`	A Technique for Managing Complexity of Use Cases for Large Complex Embedded Systems. Symposium on Object-Oriented Real-Time Distributed Computing Eman Nasr, John A. McDermid, Guillem Bernat
2002	—	`conf`	Eliciting and Specifying Requirements with Use Cases for Embedded Systems. WORDS Eman Nasr, John A. McDermid, Guillem Bernat
2001	B	`conf`	A Family-Oriented Software Development Process for Engine Controllers. PROFES Karen Allenby, Simon Burton, Darren Lee Buttle, John A. McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson
2001	J	`jnl`	A systematic approach to safety case maintenance. Reliab. Eng. Syst. Saf. Tim P. Kelly, John A. McDermid
2001	J	`jnl`	Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliab. Eng. Syst. Saf. Yiannis Papadopoulos, John A. McDermid, Ralph Sasse, Gunter Heiner
2001	—	`conf`	High Level Failure Analysis for Integrated Modular Avionics. SCS Philippa Conmy, John A. McDermid
2001	J	`jnl`	Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw. Test. Verification Reliab. Sun-Woo Kim, John A. Clark, John A. McDermid
2001	J	`jnl`	Testing and testing techniques for real-time embedded software systems. Microprocess. Microsystems Nigel James Tracey, John A. McDermid
2001	J	`jnl`	Use of Modern Processors in Safety-Critical Applications. Comput. J. Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid
2000	Misc	`conf`	(True) Polymorphism in SPARK2000. Ada-Europe Tse-Min Lin, John A. McDermid
2000	J	`jnl`	Automated test-data generation for exception conditions. Softw. Pract. Exp. Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid
2000	B	`conf`	Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP Peter A. Lindsay, John A. McDermid, David J. Tombs
2000	—	`conf`	Extending Commonality Analysis for Embedded Control System Families. IW-SAPF Alan Stephenson, Darren Lee Buttle, John A. McDermid
2000	—	`conf`	Generating evidence for certification of modern processors for use in safety-critical systems. HASE Iain Bate, Philippa Conmy, John A. McDermid
2000	J	`jnl`	Modelling Engineering Design Processes with Role Activity Diagrams. Trans. SDPS John Murdoch, John A. McDermid
1999	B	`conf`	A Systematic Approach to Safety Case Maintenance. SAFECOMP Tim P. Kelly, John A. McDermid
1999	J	`jnl`	CONVERSE: A change-oriented process for engine controllers. IEE Proc. Softw. Darren Lee Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel James Tracey
1999	B	`conf`	Hierarchically Performed Hazard Origin and Propagation Studies. SAFECOMP Yiannis Papadopoulos, John A. McDermid
1998	J	`jnl`	A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries. Requir. Eng. Yiannis Papadopoulos, John A. McDermid
1998	J	`jnl`	A practical language and toolkit for high-integrity tools. J. Syst. Softw. Ian Toyn, David Michael Cattrall, John A. McDermid, Jeremy L. Jacob
1998	A*	`conf`	An Automated Framework for Structural Test-Data Generation. ASE Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid
1998	C	`conf`	COTS in Safety-Related Systems Issues and an Illustration. SSS R. May, John A. McDermid, I. H. A. Johnston
1998	C	`conf`	Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine
1997	—	`conf`	A Summary of Domain Analysis Experience by Way of Heuristics. SSR W. Lam, John A. McDermid
1997	B	`conf`	A systematic approach to software safety integrity levels. SAFECOMP Peter A. Lindsay, John A. McDermid
1997	B	`conf`	Computer Based Support for Standards and Processes in Safety Critical Systems. SAFECOMP Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs
1997	B	`conf`	Safety Case Construction and Reuse Using Patterns. SAFECOMP Tim P. Kelly, John A. McDermid
1997	A	`conf`	Ten Steps Towards Systematic Requirements Reuse. RE W. Lam, John A. McDermid, Andrew J. Vickers
1997	J	`jnl`	Ten Steps Towards Systematic Requirements Reuse. Requir. Eng. W. Lam, John A. McDermid, Andrew J. Vickers
1996	C	`conf`	A Case Study Using SAM - Safety Analysis of PES. APSEC John A. McDermid, Shaoying Liu
1996	J	`jnl`	A Model for a Causal Logic for Requirements Engineering. Requir. Eng. Jonathan D. Moffett, Jon G. Hall, Andrew Charles Coombes, John A. McDermid
1996	J	`jnl`	A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. J. Syst. Softw. Shaoying Liu, John A. McDermid
1996	B	`conf`	Assessing Complex Computer Based Systems using the Goal Structuring Notation. ICECCS Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs
1996	—	`conf`	Managing analytical complexity of safety critical systems using viewpoints. ISAW/Viewpoints@FSE John A. McDermid, Andrew J. Vickers, Stephen P. Wilson
1996	—	`conf`	The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems. ECBS Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Peter Fenelon
1996	—	`conf`	Towards a Fixed Priority Scheduler for an Aircraft Application. RTS Iain Bate, Alan Burns, John A. McDermid, Andy Vickers
1995	A	`conf`	A Framework for Requirements Analysis Using Automated Reasoning CAiSE David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris
1995	B	`conf`	Accessible Formal Method Support for PLC Software Development. SAFECOMP John A. McDermid, R. H. Pierce
1995	J	`jnl`	CADiZ: An Architecture for Z Tools and its Implementation. Softw. Pract. Exp. Ian Toyn, John A. McDermid
1995	J	`jnl`	High integrity software development: process and tool issues. Microprocess. Microsystems A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
1995	J	`jnl`	Integrated Analysis of Complex Safety Critical Systems. Comput. J. Stephen P. Wilson, John A. McDermid
1995	A	`conf`	Integrating requirements analysis and safety analysis. RE Joanne M. Atlee, John A. McDermid
1995	B	`conf`	Requirements Analysis and Safety: A Case Study (using GRASP). SAFECOMP Andrew Charles Coombes, John A. McDermid, Jonathan D. Moffett, Philip Morris
1995	B	`conf`	Safety Cases for Software Application Reuse. SAFECOMP Peter Fenelon, Tim P. Kelly, John A. McDermid
1994	B	`conf`	On analysis of secure information systems: a case study. COMPSAC Qi Shi, John A. McDermid, Ning Zhang
1994	J	`jnl`	Real-time safety-critical systems: analysis and synthesis. Softw. Eng. J. Alan Burns, John A. McDermid
1994	Misc	`conf`	Tool Support for High Integrity Ada Software. Ada-Europe A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
1994	—	`conf`	Towards a Z Method: Axiomatic Specification in Z. Z User Workshop Jon G. Hall, John A. McDermid
1993	J	`jnl`	An integrated tool set for software safety analysis. J. Syst. Softw. Peter Fenelon, John A. McDermid
1993	A	`conf`	Applying noninterference to composition of systems: a more practical approach. ACSAC Qi Shi, John A. McDermid, Jonathan D. Moffett
1993	B	`conf`	Constructing Secure Distributed Systems Using Components. SRDS Qi Shi, John A. McDermid
1993	Misc	`conf`	Dynamic Sets and Their Application in VDM. SAC Shaoying Liu, John A. McDermid
1993	—	`conf`	Investigating and Formalising the Development of HIS Within PSEEs. ISPW Itana Maria de Souza Gimenes, John A. McDermid
1993	J	`jnl`	Specifying temporal requirements for distributed real-time systems in Z. Softw. Eng. J. Andrew Charles Coombes, John A. McDermid
1993	J	`jnl`	Towards Operational Measures of Computer Security. J. Comput. Secur. Bev Littlewood, Sarah Brocklehurst, Norman E. Fenton, Peter Mellor, Stella Page, David Wright, John Dobson, John A. McDermid, Dieter Gollmann
1992	—	`conf`	Formal Methods for Real-Time Systems. NATO ASI RTC Leonor Barroca, John A. McDermid
1992	J	`jnl`	Formal Methods: Use and Relevance for the Development of Safety-Critical Systems. Comput. J. Leonor Maria Melo Torcato Barroca, John A. McDermid
1992	B	`conf`	Formalizing and Validating Complex Security Requirements. DBSec Philip Morris, John A. McDermid
1992	J	`jnl`	On the Meaning of Safety and Security. Comput. J. Alan Burns, John A. McDermid, John E. Dobson
1992	A	`conf`	Secure composition of systems. ACSAC John A. McDermid, Qi Shi
1992	—	`conf`	Using Diagrams to Give a Formal Specification of Timing Constraints in Z. Z User Workshop Andrew Charles Coombes, John A. McDermid
1991	—	`conf`	A Formal Model of Security Dependency for Analysis and Testing of Secure Systems. CSFW John A. McDermid, Qi Shi
1991	B	`conf`	The Structure of Permissions: A Normative Framework for Access Rights. DBSec Philip Morris, John A. McDermid
1990	—	`conf`	A Tool for Defining the Architecture of Z Specifications. Z User Workshop Andrew Charles Coombes, John A. McDermid
1990	—	`conf`	CADIZ - Computer Aided Design in Z. Z User Workshop David Jordan, John A. McDermid, Ian Toyn
1989	—	`conf`	A Framework for Expressing Models of Security Policy. S&P John E. Dobson, John A. McDermid
1989	—	`ed.`	ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings ESEC Carlo Ghezzi, John A. McDermid
1988	B	`conf`	Security Models and Enterprise Models. DBSec John E. Dobson, John A. McDermid
1986	J	`jnl`	Editorial: Mascot 3. Softw. Eng. J. John A. McDermid
1986	J	`jnl`	Software metrics and integrated project support environments. Softw. Eng. J. Barbara A. Kitchenham, John A. McDermid
1985	J	`jnl`	Editorial. Softw. Microsystems Roy D. Dowsing, Owen Davies, John A. McDermid
1985	J	`jnl`	Editorial. Softw. Microsystems Roy D. Dowsing, Owen Davies, John A. McDermid
1985	J	`jnl`	The IEE and software engineers. Softw. Microsystems John A. McDermid
1981	A	`conf`	Checkpointing and Error Recovery in distributed Systems. ICDCS John A. McDermid