Stop the war!Остановите войну!
for scientists:
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
- 2023
[j54]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)- 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]