default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn A. McDermid
John Alexander McDermid
Person information
- affiliation: University of York, Department of Computer Science, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j59]Zoë Porter
, Ibrahim Habli, John A. McDermid, Marten H. L. Kaas:
A principles-based ethics assurance argument pattern for AI and autonomous systems. AI Ethics 4(2): 593-616 (2024)- [j58]John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy:
The Safety of Autonomy: A Systematic Approach. Computer 57(4): 16-25 (2024) - [j57]John Molloy, Sepeedeh Shahbeigi, John A. McDermid:
Hazard and Safety Analysis of Machine-Learning-Based Perception Capabilities in Autonomous Vehicles. Computer 57(11): 60-70 (2024) - [j56]Jie Zou, Xiaotian Dai, John A. McDermid:
Context-Aware Graceful Degradation for Mixed-Criticality Scheduling in Autonomous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(3): 788-801 (2024) - [c112]Kester Dean Clegg, Ibrahim Habli, John A. McDermid:
Using GPT-4 to Generate Failure Logic. SAFECOMP (Workshops) 2024: 148-159 - [c111]Philippa Ryan, Mathias von Essen, Liam Shackley, John A. McDermid:
Bridging the Reality Gap: Assurable Simulations for an ML-Based Inspection Drone Flight Controller. SAFECOMP (Workshops) 2024: 412-424 - [e10]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:
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. CEUR Workshop Proceedings 3856, CEUR-WS.org 2024 [contents] - [i12]Philippa Ryan, Zoë Porter, Joanna Al-Qaddoumi, John A. McDermid, Ibrahim Habli:
What's my role? Modelling responsibility for AI-based safety-critical systems. CoRR abs/2401.09459 (2024) - [i11]Josh Hunter, John A. McDermid, Simon Burton:
Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology. CoRR abs/2403.12114 (2024) - [i10]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, 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:
International Scientific Report on the Safety of Advanced AI (Interim Report). CoRR abs/2412.05282 (2024) - 2023
- [j55]Jie Zou, Xiaotian Dai, John A. McDermid:
reTSN: Resilient and Efficient Time-Sensitive Network for Automotive In-Vehicle Communication. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(3): 754-767 (2023) - [c110]Jie Zou, Xiaotian Dai, John A. McDermid:
Graceful Degradation with Condition- and Inference-Awareness for Mixed-Criticality Scheduling in Autonomous Systems. CPS-IoT Week Workshops 2023: 215-220 - [c109]Yan Jia, John A. McDermid, Nathan Gerard Jayy Hughes, Mark Sujan, Tom Lawton, Ibrahim Habli:
The Need for the Human-Centred Explanation for ML-based Clinical Decision Support Systems. ICHI 2023: 446-452 - [c108]Philippa Ryan Conmy, John A. McDermid, Ibrahim Habli, Zoë Porter:
Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident. TAS 2023: 25:1-25:10 - [e9]Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid:
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. CEUR Workshop Proceedings 3381, CEUR-WS.org 2023 [contents] - [e8]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:
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. CEUR Workshop Proceedings 3505, CEUR-WS.org 2023 [contents] - [i9]Zoë Porter, Joanna Al-Qaddoumi, Philippa Ryan Conmy, Phillip Morgan, John A. McDermid, Ibrahim Habli:
Unravelling Responsibility for AI. CoRR abs/2308.02608 (2023) - 2022
- [j54]Zoë Porter, Annette Zimmermann, Phillip Morgan, John A. McDermid, Tom Lawton, Ibrahim Habli:
Distinguishing two features of accountability for AI technologies. Nat. Mac. Intell. 4(9): 734-736 (2022) - [j53]Yan Jia, John A. McDermid, Tom Lawton, Ibrahim Habli:
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. IEEE Trans. Emerg. Top. Comput. 10(4): 1746-1760 (2022) - [c107]Josh Hunter, John Alexander McDermid:
Investigating Human Error Within GoA-2 Metro Lines. RSSRail 2022: 179-191 - [c106]Matt Osborne, Richard Hawkins, John A. McDermid:
Analysing the Safety of Decision-Making in Autonomous Systems. SAFECOMP 2022: 3-16 - [e7]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:
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. CEUR Workshop Proceedings 3087, CEUR-WS.org 2022 [contents] - [e6]Gabriel Pedroza, Xin Cynthia Chen, José Hernández-Orallo, Xiaowei Huang, Huáscar Espinoza, Richard Mallah, John A. McDermid, Mauricio Castillo-Effen:
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. CEUR Workshop Proceedings 3215, CEUR-WS.org 2022 [contents] - [i8]Zoë Porter, Ibrahim Habli, John A. McDermid:
A Principle-based Ethical Assurance Argument for AI and Autonomous Systems. CoRR abs/2203.15370 (2022) - [i7]Richard Hawkins, Matt Osborne, Mike Parsons, Mark Nicholson, John A. McDermid, Ibrahim Habli:
Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE). CoRR abs/2208.00853 (2022) - [i6]John Molloy, John Alexander McDermid:
Safety Assessment for Autonomous Systems' Perception Capabilities. CoRR abs/2208.08237 (2022) - 2021
- [j52]Simon Burton, John A. McDermid, Philip Garnett, Rob Weaver:
Safety, Complexity, and Automated Driving: Holistic Perspectives on Safety Assurance. Computer 54(8): 22-32 (2021) - [j51]Yan Jia, Tom Lawton, John Burden, John A. McDermid, Ibrahim Habli:
Safety-driven design of machine learning for sepsis treatment. J. Biomed. Informatics 117: 103762 (2021) - [c105]Yan Jia, John A. McDermid, Ibrahim Habli:
Enhancing the Value of Counterfactual Explanations for Deep Learning. AIME 2021: 389-394 - [e5]Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah:
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. CEUR Workshop Proceedings 2808, CEUR-WS.org 2021 [contents] - [e4]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:
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. CEUR Workshop Proceedings 2916, CEUR-WS.org 2021 [contents] - [i5]Yan Jia, Tom Lawton, John A. McDermid, Eric Rojas, Ibrahim Habli:
A Framework for Assurance of Medication Safety using Machine Learning. CoRR abs/2101.05620 (2021) - [i4]Yan Jia, John A. McDermid, Tom Lawton, Ibrahim Habli:
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. CoRR abs/2109.00520 (2021) - 2020
- [j50]Simon Burton, Ibrahim Habli, Tom Lawton, John A. 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) - [j49]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:
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. 41(4): 100-114 (2020) - [j48]Helen Monkhouse, Ibrahim Habli, John A. McDermid:
An enhanced vehicle control model for assessing highly automated driving safety. Reliab. Eng. Syst. Saf. 202: 107061 (2020) - [c104]John A. McDermid, Yan Jia:
Safety of Artificial Intelligence: A Collaborative Model. AISafety@IJCAI 2020 - [e3]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:
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. CEUR Workshop Proceedings 2560, CEUR-WS.org 2020 [contents] - [e2]Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah:
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. CEUR Workshop Proceedings 2640, CEUR-WS.org 2020 [contents] - [i3]Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John A. McDermid, Chiara Picardi, Tom Lawton:
Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. CoRR abs/2005.08381 (2020)
2010 – 2019
- 2019
- [j47]Fredrik Asplund, John A. McDermid, Robert Oates, Jonathan Roberts:
Rapid Integration of CPS Security and Safety. IEEE Embed. Syst. Lett. 11(4): 111-114 (2019) - [c103]John A. McDermid, Yan Jia, Ibrahim Habli:
Towards a Framework for Safety Assurance of Autonomous Systems. AISafety@IJCAI 2019 - [c102]Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid:
Integrating Existing Safety Analyses into SysML. IMBSA 2019: 63-77 - [c101]Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid:
A SysML Profile for Fault Trees - Linking Safety Models to System Design. SAFECOMP 2019: 85-93 - 2017
- [c100]Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John A. McDermid, Mike Bennett, Stuart Hutchesson, Andrew Hawthorn:
SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction. STAF Workshops 2017: 403-408 - [c99]Helen Monkhouse, Ibrahim Habli, John A. McDermid, Siddartha Khastgir, Gunwant Dhadyalla:
Why functional safety experts worry about automotive systems having increasing autonomy. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017: 1-6 - 2016
- [j46]Xueyi Zou, Rob Alexander, John A. McDermid:
Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search. J. Aerosp. Inf. Syst. 13(5): 191-203 (2016) - [c98]Xueyi Zou, Rob Alexander, John A. McDermid:
On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution. DSN Workshops 2016: 192-199 - 2015
- [c97]Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz:
Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. WESE 2015: 8:1-8:5 - [c96]Fredrik Asplund, Martin Törngren, Richard Hawkins, John A. McDermid:
The Need for a Confidence View of CPS Support Environments (Fast Abstract). HASE 2015: 273-274 - [c95]Victor Bandur, John Alexander McDermid:
Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic. SAFECOMP Workshops 2015: 3-14 - [p2]John Alexander McDermid:
Safety and Dependability. Dependable Software Systems Engineering 2015: 128-169 - 2014
- [j45]Andrew Rae, Rob Alexander, John A. McDermid:
Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment. Reliab. Eng. Syst. Saf. 125: 67-81 (2014) - [c94]Xueyi Zou, Rob Alexander, John A. McDermid:
Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search. SAFECOMP 2014: 33-48 - [i2]John Alexander McDermid:
Nothing is Certain but Doubt and Tests. CoRR abs/1404.6801 (2014) - 2013
- [j44]Stuart Hutchesson, John A. McDermid:
Trusted Product Lines. Inf. Softw. Technol. 55(3): 525-540 (2013) - 2012
- [j43]Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale complex IT systems. Commun. ACM 55(7): 71-77 (2012) - [j42]Shaoying Liu, Yuting Chen, Fumiko Nagoya, John A. McDermid:
Formal Specification-Based Inspection for Verification of Programs. IEEE Trans. Software Eng. 38(5): 1100-1122 (2012) - [c93]John Alexander McDermid:
The Risks of LSCITS: The Odds Are Stacked against Us. Monterey Workshop 2012: 94-117 - [c92]John A. McDermid, Andrew Rae:
Goal-Based Safety Standards: Promises and Pitfalls. SSS 2012: 257-270 - 2011
- [c91]Xiaocheng Ge, Richard F. Paige, John A. McDermid:
Failures of a Business Process in Enterprise Systems. CENTERIS (1) 2011: 139-146 - [c90]Xiaocheng Ge, Richard F. Paige, John A. McDermid:
Model-based Failure Failure Analysis of Business Process. ICEIS (3) 2011: 388-391 - [c89]Juan E. Tapiador, Mudhakar Srivatsa, John A. Clark, John A. McDermid:
Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing. Networking Workshops 2011: 207-218 - [c88]Stuart Hutchesson, John A. McDermid:
Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations. SPLC 2011: 55-64 - [p1]Zoë R. Stephenson, Katrina Attwood, John A. McDermid:
Product-Line Models to Address Requirements Uncertainty, Volatility and Risk. Relating Software Requirements and Architectures 2011: 111-131 - [i1]Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale Complex IT Systems. CoRR abs/1109.3444 (2011) - 2010
- [j41]Shaoying Liu, John A. McDermid, Yuting Chen:
A Rigorous Method for Inspection of Model-Based Formal Specifications. IEEE Trans. Reliab. 59(4): 667-684 (2010) - [c87]Xiaocheng Ge, Richard F. Paige, John A. McDermid:
An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. AGILE 2010: 35-43 - [c86]John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget:
Modelling Uncertain and Time-Dependent Security Labels in MLS Systems. ICETE (Selected Papers) 2010: 158-171 - [c85]Stuart Hutchesson, John A. McDermid:
Development of High-Integrity Software Product Lines Using Model Transformation. SAFECOMP 2010: 389-401 - [c84]Catherine Menon, Richard Hawkins, John A. McDermid, Tim Kelly:
An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. SSS 2010: 129-147 - [c83]John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget:
Risk based Access Control with Uncertain and Time-dependent Sensitivity. SECRYPT 2010: 5-13 - [c82]Xiaocheng Ge, Richard F. Paige, John A. McDermid:
Analysing System Failure Behaviours with PRISM. SSIRI (Companion) 2010: 130-136
2000 – 2009
- 2009
- [c81]Xiaocheng Ge, Richard F. Paige, John A. McDermid:
Domain analysis on an electronic health records system. FOSD 2009: 49-54 - [c80]Xiaocheng Ge, Richard F. Paige, John A. McDermid:
Probabilistic Failure Propagation and Transformation Analysis. SAFECOMP 2009: 215-228 - [c79]Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska:
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP 2009: 326-341 - [c78]John Alexander McDermid, Martyn Thomas, Felix Redmill:
Professional Issues in System Safety Engineering. SSS 2009: 135-145 - [c77]Catherine Menon, Richard Hawkins, John A. McDermid:
Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards. SSS 2009: 223-243 - 2007
- [j40]Alan W. Brown, John Alexander McDermid:
The Art and Science of Software Architecture. Int. J. Cooperative Inf. Syst. 16(3/4): 439-466 (2007) - [j39]Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn:
Integrating safety and formal analyses using UML and PFS. Reliab. Eng. Syst. Saf. 92(2): 156-170 (2007) - [c76]Alan W. Brown, John Alexander McDermid:
The Art and Science of Software Architecture. ECSA 2007: 237-256 - [c75]Zoë R. Stephenson, John A. McDermid:
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. SEW 2007: 53-62 - 2006
- [j38]Howard Chivers, John A. McDermid:
Refactoring service-based systems: how to avoid trusting a workflow service. Concurr. Comput. Pract. Exp. 18(10): 1255-1275 (2006) - [c74]John A. McDermid, Andy Galloway:
Three Perspectives in Formal Engineering. ICFEM 2006: 35-54 - [c73]Zoë R. Stephenson, John A. McDermid, Jason Choy:
Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. SEW 2006: 123-132 - 2005
- [j37]Zoë R. Stephenson, John A. McDermid:
Deriving architectural flexibility requirements in safety-critical systems. IEE Proc. Softw. 152(4): 143-152 (2005) - [j36]Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid:
Combining software evidence: arguments and assurance. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [c72]Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid:
An Automated Approach to Specification-Based Program Inspection. ICFEM 2005: 421-434 - [c71]Zezhi Chen, Philip Pe, John Alexander McDermid, Nick E. Pears:
Two-stage visual localisation: landmark-based pose initialisation and model-based pose refinement. IROS 2005: 150-156 - [c70]Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson:
High-integrity extreme programming. SAC 2005: 1518-1523 - [c69]Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn:
On the Formal Development of Safety-Critical Software. VSTTE 2005: 362-373 - 2004
- [c68]Zezhi Chen, Nick E. Pears, Bojian Liang, John Alexander McDermid:
Plane Segmentation from Two Views in Reciprocal-Polar Image Space. ICIAR (1) 2004: 638-646 - [c67]Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid:
Improving certification capability through automatic code generation. IFIP Congress Topical Sessions 2004: 511-520 - [c66]Paul Chinneck, David John Pumfrey, John A. McDermid:
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. SCS 2004: 33-41 - 2003
- [j35]Iain Bate, John A. McDermid, Peter Nightingale:
Establishing timing requirements for control loops in real-time systems. Microprocess. Microsystems 27(4): 159-169 (2003) - [c65]Tse-Min Lin, John A. McDermid:
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. Ada-Europe 2003: 309-321 - [c64]Zezhi Chen, Nick E. Pears, John Alexander McDermid, Thomas Heseltine:
Epipole Estimation under Pure Camera Translation. DICTA 2003: 849-858 - [c63]Iain Bate, Richard Hawkins, John A. McDermid:
A Contract-based Approach to Designing Safe Systems. SCS 2003: 25-36 - [c62]Philippa Conmy, Mark Nicholson, John A. McDermid:
Safety Assurance Contracts for Integrated Modular Avionics. SCS 2003: 69-78 - 2002
- [c61]John Alexander McDermid:
Software Hazard and Safety Analysis. FTRTFT 2002: 23-36 - [c60]Eman Nasr, John A. McDermid, Guillem Bernat:
A Technique for Managing Complexity of Use Cases for Large Complex Embedded Systems. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 225-232 - [c59]John Alexander McDermid:
Trends in Systems Safety. SCS 2002: 3-8 - [c58]Eman Nasr, John A. McDermid, Guillem Bernat:
Eliciting and Specifying Requirements with Use Cases for Embedded Systems. WORDS 2002: 350-358 - 2001
- [j34]Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid:
Use of Modern Processors in Safety-Critical Applications. Comput. J. 44(6): 531-543 (2001) - [j33]Nigel James Tracey, John A. McDermid:
Testing and testing techniques for real-time embedded software systems. Microprocess. Microsystems 24(9): 441 (2001) - [j32]Yiannis Papadopoulos, John A. McDermid, Ralph Sasse, Gunter Heiner:
Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliab. Eng. Syst. Saf. 71(3): 229-247 (2001) - [j31]Tim P. Kelly, John A. McDermid:
A systematic approach to safety case maintenance. Reliab. Eng. Syst. Saf. 71(3): 271-284 (2001) - [j30]Sun-Woo Kim, John A. Clark, John A. McDermid:
Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw. Test. Verification Reliab. 11(3): 207-225 (2001) - [c57]Karen Allenby, Simon Burton, Darren Lee Buttle, John A. McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson:
A Family-Oriented Software Development Process for Engine Controllers. PROFES 2001: 210-226 - [c56]John Alexander McDermid:
Software Safety: Where's the Evidence? SCS 2001: 1-6 - [c55]Philippa Conmy, John A. McDermid:
High Level Failure Analysis for Integrated Modular Avionics. SCS 2001: 13-22 - 2000
- [j29]John Murdoch, John A. McDermid:
Modelling Engineering Design Processes with Role Activity Diagrams. Trans. SDPS 4(2): 45-65 (2000) - [j28]Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid:
Automated test-data generation for exception conditions. Softw. Pract. Exp. 30(1): 61-79 (2000) - [c54]Tse-Min Lin, John A. McDermid:
(True) Polymorphism in SPARK2000. Ada-Europe 2000: 252-265 - [c53]Iain Bate, Philippa Conmy, John A. McDermid:
Generating evidence for certification of modern processors for use in safety-critical systems. HASE 2000: 125-134 - [c52]John Alexander McDermid:
Complexity: Concept, Causes and Control. ICECCS 2000: 2- - [c51]Alan Stephenson, Darren Lee Buttle, John A. McDermid:
Extending Commonality Analysis for Embedded Control System Families. IW-SAPF 2000: 217-224 - [c50]Peter A. Lindsay, John A. McDermid, David J. Tombs:
Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP 2000: 117-130
1990 – 1999
- 1999
- [j27]Darren Lee Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel James Tracey:
CONVERSE: A change-oriented process for engine controllers. IEE Proc. Softw. 146(3): 130-136 (1999) - [j26]John Alexander McDermid, Keith H. Bennett:
Software engineering research: A critical appraisal. IEE Proc. Softw. 146(4): 179-186 (1999) - [c49]Tim P. Kelly, John A. McDermid:
A Systematic Approach to Safety Case Maintenance. SAFECOMP 1999: 13-26 - [c48]Yiannis Papadopoulos, John A. McDermid:
Hierarchically Performed Hazard Origin and Propagation Studies. SAFECOMP 1999: 139-152 - 1998
- [j25]Nancy Talbert, John Alexander McDermid:
The Cost of COTS (Interview). Computer 31(6): 46-52 (1998) - [j24]Ian Toyn, David Michael Cattrall, John A. McDermid, Jeremy L. Jacob:
A practical language and toolkit for high-integrity tools. J. Syst. Softw. 41(3): 161-173 (1998) - [j23]Yiannis Papadopoulos, John A. McDermid:
A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries. Requir. Eng. 3(1): 143-149 (1998) - [c47]John A. 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: 76-89 - [c46]Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid:
An Automated Framework for Structural Test-Data Generation. ASE 1998: 285-288 - [c45]R. May, John A. McDermid, I. H. A. Johnston:
COTS in Safety-Related Systems Issues and an Illustration. SSS 1998: 211-221 - 1997
- [j22]W. Lam, John A. McDermid, Andrew J. Vickers:
Ten Steps Towards Systematic Requirements Reuse. Requir. Eng. 2(2): 102-113 (1997) - [c44]W. Lam, John A. McDermid, Andrew J. Vickers:
Ten Steps Towards Systematic Requirements Reuse. RE 1997: 6-15 - [c43]Tim P. Kelly, John A. McDermid:
Safety Case Construction and Reuse Using Patterns. SAFECOMP 1997: 55-69 - [c42]Peter A. Lindsay, John A. McDermid:
A systematic approach to software safety integrity levels. SAFECOMP 1997: 70-82 - [c41]Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs:
Computer Based Support for Standards and Processes in Safety Critical Systems. SAFECOMP 1997: 197-209 - [c40]W. Lam, John A. McDermid:
A Summary of Domain Analysis Experience by Way of Heuristics. SSR 1997: 54-64 - 1996
- [j21]Shaoying Liu, John A. McDermid:
A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. J. Syst. Softw. 35(2): 151-164 (1996) - [j20]Jonathan D. Moffett, Jon G. Hall, Andrew Charles Coombes, John A. McDermid:
A Model for a Causal Logic for Requirements Engineering. Requir. Eng. 1(1): 27-46 (1996) - [c39]John A. McDermid, Shaoying Liu:
A Case Study Using SAM - Safety Analysis of PES. APSEC 1996: 217- - [c38]Wing Lam, Ben Whittle, John Alexander McDermid, Steve Wilson:
An Integrated Approach to Domain Analysis and Reuse for Engineering Complex Systems. ECBS 1996: 102-109 - [c37]Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Peter Fenelon:
The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems. ECBS 1996: 198-205 - [c36]Iain Bate, Alan Burns, John A. McDermid, Andy Vickers:
Towards a Fixed Priority Scheduler for an Aircraft Application. RTS 1996: 34-40 - [c35]Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs:
Assessing Complex Computer Based Systems using the Goal Structuring Notation. ICECCS 1996: 498-505 - [c34]John Alexander McDermid:
Software Hazard and Safety Analysis: Opportunities and Challenges. SSS 1996: 209-221 - [c33]John A. McDermid, Andrew J. Vickers, Stephen P. Wilson:
Managing analytical complexity of safety critical systems using viewpoints. ISAW/Viewpoints@FSE 1996: 272-274 - 1995
- [j19]Stephen P. Wilson, John A. McDermid:
Integrated Analysis of Complex Safety Critical Systems. Comput. J. 38(10): 765-776 (1995) - [j18]John Alexander McDermid:
Software Engineering: A Practitioner's Approach [Book Review]. Softw. Eng. J. 10(6): 266 (1995) - [j17]A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson:
High integrity software development: process and tool issues. Microprocess. Microsystems 19(9): 517-524 (1995) - [j16]Ian Toyn, John A. McDermid:
CADiZ: An Architecture for Z Tools and its Implementation. Softw. Pract. Exp. 25(3): 305-330 (1995) - [c32]David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris:
A Framework for Requirements Analysis Using Automated Reasoning. CAiSE 1995: 68-81 - [c31]Joanne M. Atlee, John A. McDermid:
Integrating requirements analysis and safety analysis. RE 1995: 158-159 - [c30]John A. McDermid, R. H. Pierce:
Accessible Formal Method Support for PLC Software Development. SAFECOMP 1995: 113-127 - [c29]Andrew Charles Coombes, John A. McDermid, Jonathan D. Moffett, Philip Morris:
Requirements Analysis and Safety: A Case Study (using GRASP). SAFECOMP 1995: 353-371 - [c28]Peter Fenelon, Tim P. Kelly, John A. McDermid:
Safety Cases for Software Application Reuse. SAFECOMP 1995: 419-436 - 1994
- [j15]Alan Burns, John A. McDermid:
Real-time safety-critical systems: analysis and synthesis. Softw. Eng. J. 9(6): 267-281 (1994) - [c27]A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson:
Tool Support for High Integrity Ada Software. Ada-Europe 1994: 63-75 - [c26]Qi Shi, John A. McDermid, Ning Zhang:
On analysis of secure information systems: a case study. COMPSAC 1994: 364-369 - [c25]Jon G. Hall, John A. McDermid:
Towards a Z Method: Axiomatic Specification in Z. Z User Workshop 1994: 213-229 - 1993
- [j14]Steven J. Clarke, John Alexander McDermid:
Software fault trees and weakest preconditions: a comparison and analysis. Softw. Eng. J. 8(4): 225-236 (1993) - [j13]Andrew Charles Coombes, John A. McDermid:
Specifying temporal requirements for distributed real-time systems in Z. Softw. Eng. J. 8(5): 273-283 (1993) - [j12]Bev Littlewood, Sarah Brocklehurst, Norman E. Fenton, Peter Mellor, Stella Page, David Wright, John Dobson, John A. McDermid, Dieter Gollmann:
Towards Operational Measures of Computer Security. J. Comput. Secur. 2(2-3): 211-230 (1993) - [j11]Peter Fenelon, John A. McDermid:
An integrated tool set for software safety analysis. J. Syst. Softw. 21(3): 279-290 (1993) - [c24]Qi Shi, John A. McDermid, Jonathan D. Moffett:
Applying noninterference to composition of systems: a more practical approach. ACSAC 1993: 210-220 - [c23]Itana Maria de Souza Gimenes, John A. McDermid:
Investigating and Formalising the Development of HIS Within PSEEs. ISPW 1993: 90-94 - [c22]Shaoying Liu, John A. McDermid:
Dynamic Sets and Their Application in VDM. SAC 1993: 187-192 - [c21]Qi Shi, John A. McDermid:
Constructing Secure Distributed Systems Using Components. SRDS 1993: 143-152 - 1992
- [j10]Alan Burns, John A. McDermid, John E. Dobson:
On the Meaning of Safety and Security. Comput. J. 35(1): 3-15 (1992) - [j9]Leonor Maria Melo Torcato Barroca, John A. McDermid:
Formal Methods: Use and Relevance for the Development of Safety-Critical Systems. Comput. J. 35(6): 579-599 (1992) - [j8]Alan W. Brown, John Alexander McDermid:
Learning from IPSE's Mistakes. IEEE Softw. 9(2): 23-28 (1992) - [c20]John A. McDermid, Qi Shi:
Secure composition of systems. ACSAC 1992: 112-122 - [c19]Philip Morris, John A. McDermid:
Formalizing and Validating Complex Security Requirements. DBSec 1992: 113-124 - [c18]Alexandre Marcos Lins de Vasconcelos, John Alexander McDermid:
Incremental processing of Z specifications. FORTE 1992: 53-69 - [c17]John Alexander McDermid:
Safety Engineering and Assurance for Real-Time Systems. NATO ASI RTC 1992: 131-159 - [c16]John Alexander McDermid:
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? NATO ASI RTC 1992: 612-615 - [c15]Leonor Barroca, John A. McDermid:
Formal Methods for Real-Time Systems. NATO ASI RTC 1992: 619-620 - [c14]W. J. Cullyer, John Alexander McDermid:
"Birds-of-a-Feather-Group" on Safety Critical Systems. NATO ASI RTC 1992: 755-756 - [c13]Andrew Charles Coombes, John A. McDermid:
Using Diagrams to Give a Formal Specification of Timing Constraints in Z. Z User Workshop 1992: 119-130 - 1991
- [c12]John A. McDermid, Qi Shi:
A Formal Model of Security Dependency for Analysis and Testing of Secure Systems. CSFW 1991: 188-200 - [c11]Philip Morris, John A. McDermid:
The Structure of Permissions: A Normative Framework for Access Rights. DBSec 1991: 77-97 - [c10]John Alexander McDermid:
Safety arguments, software and system reliability. ISSRE 1991: 43-50 - 1990
- [c9]Ernest S. Hocking, John Alexander McDermid:
Towards an Object Oriented Development Environment for Secure Applications. ESORICS 1990: 191-200 - [c8]Andrew Charles Coombes, John A. McDermid:
A Tool for Defining the Architecture of Z Specifications. Z User Workshop 1990: 77-92 - [c7]David Jordan, John A. McDermid, Ian Toyn:
CADIZ - Computer Aided Design in Z. Z User Workshop 1990: 93-104 - [c6]Peter John Whysall, John Alexander McDermid:
An Approach to Object-Oriented Specification Using Z. Z User Workshop 1990: 193-215
1980 – 1989
- 1989
- [c5]John Alexander McDermid, Ernest S. Hocking:
Security Policies for Integrated Project Support Environments. DBSec 1989: 41-74 - [c4]John E. Dobson, John A. McDermid:
A Framework for Expressing Models of Security Policy. S&P 1989: 229-239 - [e1]Carlo Ghezzi, John A. McDermid:
ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings. Lecture Notes in Computer Science 387, Springer 1989, ISBN 3-540-51635-2 [contents] - 1988
- [c3]John E. Dobson, John A. McDermid:
Security Models and Enterprise Models. DBSec 1988: 1-39 - [c2]John Alexander McDermid, Gary Morgan:
Low Level Synchronisation Problems in Digital Systems. FTRTFT 1988: 139-141 - 1987
- [j7]J. P. Mocek, John Alexander McDermid:
Implementation of a model lift control system from a formal specification. Softw. Eng. J. 2(3): 71-79 (1987) - [j6]John Alexander McDermid:
The Role of Formal Methods in Software Development. J. Inf. Technol. 2(3): 124-134 (1987) - 1986
- [j5]Barbara A. Kitchenham, John A. McDermid:
Software metrics and integrated project support environments. Softw. Eng. J. 1(1): 58-64 (1986) - [j4]John A. McDermid:
Editorial: Mascot 3. Softw. Eng. J. 1(3) (1986) - 1985
- [j3]Roy D. Dowsing, Owen Davies, John A. McDermid:
Editorial. Softw. Microsystems 4(1) (1985) - [j2]Roy D. Dowsing, Owen Davies, John A. McDermid:
Editorial. Softw. Microsystems 4(2) (1985) - [j1]John A. McDermid:
The IEE and software engineers. Softw. Microsystems 4(2): 45-48 (1985) - 1981
- [c1]John A. McDermid:
Checkpointing and Error Recovery in distributed Systems. ICDCS 1981: 271-282
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
