John Alexander Mcdermid
#161,344
Most Influential Person Now
John Alexander Mcdermid's AcademicInfluence.com Rankings
John Alexander Mcdermidcomputer-science Degrees
Computer Science
#9309
World Rank
#9779
Historical Rank
Software Engineering
#250
World Rank
#255
Historical Rank
Database
#6279
World Rank
#6510
Historical Rank
Download Badge
Computer Science
John Alexander Mcdermid's Degrees
- PhD Computer Science University of Manchester
- Masters Computer Science University of Manchester
- Bachelors Computer Science University of Manchester
Similar Degrees You Can Earn
Why Is John Alexander Mcdermid Influential?
(Suggest an Edit or Addition)John Alexander Mcdermid's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Hierarchically Performed Hazard Origin and Propagation Studies (1999) (250)
- An automated framework for structural test-data generation (1998) (242)
- Large-scale complex IT systems (2011) (237)
- Towards Operational Measures of Computer Security (1993) (231)
- Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure (2001) (214)
- Software Engineer's Reference Book (1993) (197)
- Safety Case Construction and Reuse Using Patterns (1997) (183)
- Towards integrated safety analysis and design (1994) (182)
- An integrated tool set for software safety analysis (1993) (142)
- Class Mutation : Mutation Testing for Object-Oriented Programs (2000) (137)
- Automated test‐data generation for exception conditions (2000) (136)
- Experience with the application of HAZOP to computer-based systems (1995) (124)
- A systematic approach to safety case maintenance (1999) (121)
- Ten steps towards systematic requirements reuse (1997) (115)
- Formal Methods: Use and Relevance for the Development of Safety-Critical Systems (1992) (100)
- Investigating the effectiveness of object‐oriented testing strategies using the mutation method (2001) (98)
- A development of hazard analysis to aid software design (1994) (95)
- Safety Case Development: Current Practice, Future Prospects (1997) (94)
- On the Meaning of Safety and Security (1992) (85)
- Assurance cases and prescriptive software safety certification: A comparative study (2013) (85)
- Software Safety: Where's the Evidence? (2001) (83)
- An Iterative Approach for Development of Safety-Critical Software and Safety Arguments (2010) (72)
- The Rigorous Generation of Java Mutation Operators Using HAZOP (1999) (70)
- The Cost of COTS (1998) (70)
- Life cycle support in the Ada environment (1983) (69)
- Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment (2014) (63)
- Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective (2020) (61)
- Software Engineering Environments: Automated Support for Software Engineering (1993) (60)
- Support for safety cases and safety arguments using SAM (1994) (56)
- A search-based automated test-data generation framework for safety-critical systems (2002) (56)
- The potential for a generic approach to certification of safety critical systems in the transportation sector (1999) (53)
- Safety case patterns-reusing successful arguments (1998) (51)
- Probabilistic Failure Propagation and Transformation Analysis (2009) (50)
- Learning from IPSE's mistakes (1992) (49)
- Assessing Test Set Adequacy for Object-Oriented Programs Using Class Mutation (2000) (49)
- Software engineering research: A critical appraisal (1999) (48)
- 15 – Software development process models (1991) (48)
- CADi: An architecture for Z tools and its implementation (1995) (47)
- Integrating safety and formal analyses using UML and PFS (2007) (46)
- Requirements analysis: orthodoxy, fundamentalism and heresy (1994) (44)
- Software in safety critical systems?achievement and prediction (2006) (42)
- A framework for expressing models of security policy (1989) (41)
- High Level Failure Analysis for Integrated Modular Avionics (2001) (40)
- Safety Cases for Advanced Control Software: Safety Case Patterns (2007) (40)
- A Contract-based Approach to Designing Safe Systems (2003) (39)
- Formal Specification-Based Inspection for Verification of Programs (2012) (38)
- Towards a Framework for Safety Assurance of Autonomous Systems (2019) (35)
- Characterization, Analysis, and Recommendations for Exploiting the Opportunities of Cyber-Physical Systems (2017) (34)
- Security Models and Enterprise Models (1988) (34)
- Issues in developing software for safety critical systems (1991) (34)
- Software Safety Arguments: Towards a Systematic Categorisation of Evidence (2002) (34)
- Software Hazard and Safety Analysis (2002) (34)
- Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards (2009) (32)
- CADIZ - Computer Aided Design in Z (1990) (32)
- Use of Modern Processors in Safety-Critical Applications (2001) (32)
- Towards Operational Measures of Computer Security: Concepts (1995) (31)
- A model for a causal logic for requirements engineering (1996) (31)
- Modelling Engineering Design Processes with Role Activity Diagrams (2000) (31)
- Integrated Analysis of Complex Safety Critical Systems (1995) (30)
- Automated Safety Monitoring: A Review and Classification of Methods (2001) (29)
- Software fault trees and weakest preconditions: a comparison and analysis (1993) (29)
- Software Safety: Why is there no Consensus? (2002) (29)
- Real-time safety-critical systems: analysis and synthesis (1994) (28)
- Eliciting and specifying requirements with use cases for embedded systems (2002) (28)
- A Framework for Requirements Analysis Using Automated Reasoning (1995) (28)
- The science and superstition of quantitative risk assessment (2012) (28)
- Experiences with the Application of Discrete Formal Methods to the Development of Engine Control Software (1998) (27)
- Safety Assurance Contracts for Integrated Modular Avionics (2003) (26)
- Checkpointing and Error Recovery in distributed Systems (1981) (26)
- Towards industrially applicable formal methods: three small steps, and one giant leap (1998) (26)
- Specifying temporal requirements for distributed real-time systems in Z (1993) (24)
- A Rigorous Method for Inspection of Model-Based Formal Specifications (2010) (24)
- Generating and Maintaining a Safety Argument for Integrated Modular Systems (2000) (24)
- Investigating the Effectiveness of Object-Oriented Testing Strategies with the Mutation MethodSun-Woo Kim, John A. Clark *, John A. McDermid (2001) (24)
- Proof vs testing in the context of safety standards (2005) (24)
- Building a Preliminary Safety Case: An Example from Aerospace (1999) (23)
- Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search (2014) (23)
- Complexity: concept, causes and control (2000) (23)
- On integration and reuse in a software development environment (1991) (22)
- An Approach to Object-Oriented Specification Using Z (1990) (22)
- A systematic approach to software safety integrity levels (1997) (21)
- Assessing complex computer based systems using the Goal Structuring Notation (1996) (21)
- Threat Modelling for Mobile Ad Hoc and Sensor Networks (2009) (21)
- Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems (1989) (21)
- Automated V&V for high integrity systems, a targeted formal methods approach (2000) (21)
- A summary of domain analysis experience by way of heuristics (1997) (21)
- Requirements analysis: problems and the STARTS approach (1989) (21)
- SAM—A Tool to Support the Construction, Review and Evolution of Safety Arguments (1993) (20)
- A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System (1996) (20)
- Combining software evidence (2005) (20)
- An Automated Approach to Specification-Based Program Inspection (2005) (20)
- Approaches to Certification of Reconfigurable IMA Systems (2000) (20)
- On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution (2016) (19)
- Dependability terminology: similarities and differences (1995) (18)
- Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering (2015) (18)
- The Art and Science of Software Architecture (2007) (18)
- Testing , Proof and Automation . An Integrated Approach (2000) (18)
- Analysing System Failure Behaviours with PRISM (2010) (18)
- Integrating safety analysis with automatic test-data generation for software safety verification (1999) (18)
- Investigating the effectiveness of object-oriented strategies with the mutation method (abstract only) (2001) (18)
- High-integrity extreme programming (2005) (17)
- Epipole Estimation under Pure Camera Translation (2003) (17)
- Human involvement in dynamic reconfiguration of Integrated Modular Avionics (2008) (16)
- Artificial intelligence explainability: the technical and ethical dimensions (2021) (16)
- Establishing timing requirements for control loops in real-time systems (2003) (15)
- New Directions in Software Safety: Causal Modelling as an Aid to Integration (1992) (15)
- Refactoring service‐based systems: how to avoid trusting a workflow service (2006) (15)
- Combined Security and Safety Risk Assessment - What Needs to be Done For ICS and The IOT (2015) (14)
- Integrated techniques for software safety analysis (1992) (14)
- Issues in the Conduct of PSSA (2001) (14)
- Software metrics and integrated project support environments (1986) (14)
- The Use of Satisfaction Arguments for Traceability in Requirements Reuse for System Families : Position Paper (2004) (14)
- Model-based semiautomatic safety analysis of programmable systems in automotive applications (2001) (14)
- The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation (2004) (14)
- Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search (2016) (14)
- Formal Methods for Real-Time Systems (1992) (13)
- Assurance in high-integrity software (1989) (13)
- An Investigation into Modelling and categorisation of Non-Functional Requirements (for the Specification of Surface Naval Command Systems) (1991) (13)
- Development of High-Integrity Software Product Lines Using Model Transformation (2010) (13)
- Test Data Generation for Product Lines – A Mutation Testing Approach (2004) (12)
- Deriving architectural flexibility requirements in safety-critical systems (2005) (12)
- Secure composition of systems (1992) (12)
- Literate Formal Development Of Ada From Z For Safety Critical Applications (1994) (12)
- Practical Formal Specification for Embedded Control Systems (2004) (12)
- Introducing Goal Structuring Notation to Explain Decisions in Clinical Practice (2012) (11)
- Risk based access control with uncertain and time-dependent sensitivity (2010) (11)
- Goal-Based Safety Standards: Opportunities and Challenges (2005) (11)
- INVESTIGATING THE APPLICABILITY OF TRADITIONAL TEST ADEQUACY CRITERIA FOR OBJECT-ORIENTED PROGRAMS (2000) (11)
- The Structure of Permissions: A Normative Framework for Access Rights (1991) (11)
- The Safety Argument Manager: an integrated approach to the engineering and safety assessment of computer based systems (1996) (11)
- Engineering safety-critical systems (1996) (11)
- Safety arguments, software and system reliability (1991) (11)
- Health modelling for agility in safety-critical systems development (2006) (11)
- The Cost of COTS (Interview). (1998) (10)
- Safety Analysis of Hardware / Software Interactions in Complex Systems (2002) (10)
- Rapid Integration of CPS Security and Safety (2019) (10)
- Introduction and overview to Part III (1991) (10)
- Extension of hazard and safety analysis techniques to address problems of hierarchical scale (1998) (9)
- The Notion of Controllability in an autonmous vehicle context (2015) (9)
- Goal-Based Safety Standards: Promises and Pitfalls (2012) (9)
- Towards a fixed priority scheduler for an aircraft application (1996) (9)
- Automatic safety analysis of networked control system based on failure propagation model (2011) (9)
- Trusted Product Lines (2013) (9)
- Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control (2009) (9)
- Generating evidence for certification of modern processors for use in safety-critical systems (2000) (8)
- Derivation of safety requirements for an embedded control system (2002) (8)
- Formal Specification of an Aerospace System: the Attitude Monitor (1995) (8)
- Assessing the Safety of Integrity Level Partitioning in Software (2002) (8)
- Domain analysis on an electronic health records system (2009) (8)
- Applying noninterference to composition of systems: a more practical approach (1993) (8)
- COTS: the expensive solution? (1997) (8)
- On the Formal Development of Safety-Critical Software (2005) (8)
- A technique for managing complexity of use cases for large complex embedded systems (2002) (8)
- The Role of Explainability in Assuring Safety of Machine Learning in Healthcare (2021) (8)
- Defence Standard 00-56 Issue 3 (2005) (8)
- Safety Specification of the Active Traffic Management Control System for English Motorways (2006) (7)
- Dynamic sets and their application in VDM (1993) (7)
- The Role of Formal Methods in Software Development (1987) (7)
- Safety-critical software: a vignette (1992) (7)
- A formal model of security dependency for analysis and testing of secure systems (1991) (7)
- Dependability evaluation using a multi-criteria decision analysis procedure (1999) (7)
- Requirements for the use of COTS operating systems in safety related air traffic services (1999) (7)
- A SysML Profile for Fault Trees - Linking Safety Models to System Design (2019) (7)
- Incremental processing of Z specifications (1992) (7)
- Automatic safety analysis of of computer-based railway signalling system (2011) (6)
- Safety Cases for Software Application Reuse (1995) (6)
- Managing analytical complexity of safety critical systems using viewpoints (1996) (6)
- Policies for Safety-Critical Systems: the Challenge of Formalisation (1994) (6)
- A practical language and toolkit for high-integrity tools (1998) (6)
- A Tool for Defining the Architecture of Z Specifications (1990) (6)
- Why functional safety experts worry about automotive systems having increasing autonomy (2017) (6)
- An integrated approach to domain analysis and reuse for engineering complex systems (1996) (6)
- Towards a Z Method: Axiomatic Specification in Z (1994) (6)
- Product-Line Models to Address Requirements Uncertainty, Volatility and Risk (2011) (6)
- Integrated project support environments (1986) (6)
- ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings (1989) (6)
- Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations (2011) (6)
- Accessible Formal Method Support for PLC Software Development (1995) (5)
- Neither Pollyanna nor Chicken Little: Thoughts on the ethics of automation (2014) (5)
- An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4 (2010) (5)
- Proving the design in the safety case (1994) (5)
- Intelligent and Connected Cyber-Physical Systems: A Perspective from Connected Autonomous Vehicles (2020) (5)
- Professional Issues in System Safety Engineering (2009) (5)
- Failures of a Business Process in Enterprise Systems (2011) (5)
- Enhancing COVID-19 decision making by creating an assurance case for epidemiological models (2020) (5)
- How did systems get so safe without adequate analysis methods (2014) (5)
- A formal approach for security evaluation (1992) (5)
- Deriving Quantified Safety Requirements in Complex Systems (2000) (5)
- Causality as a means for the expression of requirements for safety critical systems (1994) (5)
- An enhanced vehicle control model for assessing highly automated driving safety (2020) (5)
- Trends in system safety: a European view? (2003) (5)
- Developing secure systems in a modular way (1993) (5)
- ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September, 2000 (2000) (5)
- Using Diagrams to Give a Formal Specification of Timing Constraints in Z (1992) (5)
- ANALYSIS OF DEPENDABLE COMPUTER SYSTEMS (1994) (4)
- TARDIS: An Architectural Framework for Timely and Reliable Distributed Information Systems (1991) (4)
- Proceedings of the 2nd European Software Engineering Conference (1989) (4)
- A Family-Oriented Software Development Process for Engine Controllers (2001) (4)
- Constructing secure distributed systems using components (1993) (4)
- An Approach to the Design of Software for Distributed Real-Time Systems (1993) (4)
- Zork: a type-checker for Z from York (1990) (4)
- Nothing is Certain but Doubt and Tests (2014) (4)
- A Proposal for Trust Management in Coalition Environments (2008) (4)
- Product Line Analysis and the System Safety Process (2004) (4)
- A Framework for Assurance of Medication Safety using Machine Learning (2021) (4)
- Safety-driven design of machine learning for sepsis treatment (2021) (4)
- 6.3.4 Approaches to Certification of Reconfigurable IMA Systems (2000) (4)
- Security Policies for Integrated Project Support Environments (1989) (4)
- Identifying Safety Dependencies in Modular Computer Systems (2003) (4)
- Extending Pssa for Complex Systems (2003) (4)
- Failure Modes and Effects Analysis ( FMEA ) and Systematic Design (2004) (4)
- Integrating Existing Safety Analyses into SysML (2019) (4)
- Safety Critical Software (2012) (3)
- A Safe Subset of Statecharts for Safety-critical Applications (1996) (3)
- A process for derivation and quantification of safety requirements for components of complex systems (1999) (3)
- Two-stage visual localisation: landmark-based pose initialisation and model-based pose refinement (2005) (3)
- An Information Model for High-Integrity Real Time Systems (2004) (3)
- Process Tailoring in Iterative Development (2004) (3)
- Requirements Analysis and Safety: A Case Study (using GRASP) (1995) (3)
- AUTONOMOUS AND / OR INTERACTIVE CONSTRAINTS-BASED SOFTWARE RECONFIGURATION FOR PLANETARY ROVER (2008) (3)
- Computer Based Support for Standards and Processes in Safety Critical Systems (1997) (3)
- Analysing high-integrity systems (1994) (3)
- CPS: Significance, Challenges and Opportunities (2014) (3)
- Safety and software (1986) (3)
- Probative blindness: how safety activity can fail to update beliefs about safety (2014) (3)
- Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic (2014) (3)
- In praise of architects (1991) (3)
- Assurance of claims and evidence for aviation systems (2010) (3)
- Towards a Practicable Process for Automated Safety Analysis (2006) (3)
- Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing (2011) (3)
- Safety Cases for Advanced Control Software (2007) (3)
- MODEL CONJECTURES FOR Z SPECIFICATIONS (1995) (3)
- Lost in Space : A Case Study in Engineering Problem-Solving (2001) (2)
- Tool Support for High Integrity Ada Software (1994) (2)
- Skills and Technologies for the Development and Evaluation of Safety Critical Systems (1990) (2)
- ANALYSIS AND DESIGN SYNTHESIS FOR HARD REAL-TIME SAFETY CRITICAL SYSTEMS (1994) (2)
- Flexibility and Manageability of IMS Projects (2006) (2)
- A Safe Change Oriented Process for Safety Critical Systems (2007) (2)
- A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries (1998) (2)
- A Principle-based Ethical Assurance Argument for AI and Autonomous Systems (2022) (2)
- Using Simulation to Validate Style-Specific Architectural Refactoring Patterns (2006) (2)
- ADA on Multiple Processors (1982) (2)
- High integrity software development: process and tool issues (1995) (2)
- 4 Tailoring Generic Systems Engineering Processes: an agent‐oriented method (1999) (2)
- An Introduction to the FLEX Computer System (1979) (2)
- Software Hazard and Safety Analysis: Opportunities and Challenges (1996) (2)
- Safety Engineering and Assurance for Real-Time Systems (1992) (2)
- On the Trustworthiness of Computing Systems (1990) (2)
- Automated Component Configuration in Safety-Critical Domains (2004) (2)
- Systematic Anticipation and Validation of Scenarios of Failure Propagation and Mitigation in PLC Controlled Processes (2000) (2)
- Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems (1999) (2)
- The Probe Project (1992) (2)
- Providing Libraries of Algebraically Specified Datatypes in Z (1995) (2)
- Integrating requirements analysis and safety analysis (1995) (2)
- Goal-based safety standards and cots software selection (2009) (2)
- Supporting explicit interpretation of standards and guidance (2010) (2)
- Software Engineering: A Practitioner's Approach [Book Review] (1995) (1)
- Testing and testing techniques for real-time embedded software systems (2001) (1)
- THE SAFETY PROGRAMME FOR THE SPECIFICATION OF THE ACTIVE TRAFFIC MANAGEMENT CONTROL SYSTEM (2006) (1)
- Aggregation of Information Leaked by a MANET (2007) (1)
- How high integrity systems can benefit from process-centered software engineering environments (1992) (1)
- The Association for the Advancement of Artificial Intelligence 2020 Workshop Program (2020) (1)
- Towards establishing a self-management architecture for dynamic risk management in ‘intelligent’ Aero-Engine control (2009) (1)
- Evolution of the UK Defence Safety Standards (2003) (1)
- Safety and Dependability (2015) (1)
- An Introduction to Zedcharts and Its Applications (1996) (1)
- Integrating the quantitative and qualitative aspects of safety assessment (2012) (1)
- Safety assessment of system architectures (2004) (1)
- Assurance Arguments vs . Formal Mathematical Arguments – A Complementary Role (2009) (1)
- Improving certification capability through automatic code generation (2004) (1)
- Assurance Arguments vs . Formal Mathematical Arguments – A Complementary Role (2009) (1)
- Extending Commonality Analysis for Embedded Control System Families (2000) (1)
- Structural Engineering and Software: Certainty, Uncertainty and Probability (1995) (1)
- Formalizing and Validating Complex Security Requirements (1993) (1)
- A case study using SAM-safety analysis of PES (1996) (1)
- A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95 (2003) (1)
- The Need for a Confidence View of CPS Support Environments (Fast Abstract) (2015) (1)
- MODEL-BASED FAILURE ANALYSIS OF BUSINESS PROCESS (2016) (1)
- CERTIFICATION OF HIGHLY AUTOMATED VEHICLES FOR USE ON PUBLIC ROADS (2019) (1)
- Towards a Z method: the Two Button Press case study (1995) (1)
- Design and use of Comflex - a hardware-controlled packet switch (1980) (1)
- POSER - A Process Organisation to Simplify Error Recovery, (1980) (1)
- Lyric technique as narrative structure in Michael Ondaatje (1982) (1)
- A Z Subset for Direct Implementation and Code Generation (1996) (1)
- Safety assurance of autonomy to support the Fourth Industrial Revolution (2019) (1)
- The Risks of LSCITS: The Odds Are Stacked against Us (2012) (1)
- Safety of Artificial Intelligence: A Collaborative Model (2020) (1)
- Investigating and Formalising the Development of HIS Within PSEEs (1993) (1)
- Plane Segmentation from Two Views in Reciprocal-Polar Image Space (2004) (1)
- Technology Transfer : An Integrated ‘ Culture-Friendly ’ Approach (2001) (1)
- Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns (2007) (0)
- A Principles-based Ethical Assurance Argument for AI and Autonomous Systems (2022) (0)
- 1.4.3 Safety assessment of system architectures (2000) (0)
- SKILLS SHORTAGE OR PRODUCTIVITY GAP (2001) (0)
- Safety Cases for Advanced Control Software : Final Report (2008) (0)
- Table of Contents (2006) (0)
- COTS in Safety-Related Systems Issues and an Illustration (1998) (0)
- Robust , Dependable Model-based Visual Localisation for Mobile Robots (2010) (0)
- Contracting for assurance of military aviation software systems (2012) (0)
- Newnes Software Engineer's Pocket Book (1994) (0)
- Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models (2020) (0)
- ENGINEERING & ASSESSING SAFETY-CRITICAL SYSTEMS (1996) (0)
- Three Perspectives in Formal Engineering (2006) (0)
- (True) Polymorphism in SPARK2000 (2000) (0)
- Large-Scale Complex IT Systems ( LSCITS ) : A National Strategic Research & Training Initiative Case for Support (2010) (0)
- Management of Dependable Computing : Policies and Argumentation (1995) (0)
- Editorial: Software engineering (1996) (0)
- CONVERSE: A change-oriented process for engine controllers (1999) (0)
- Editorial: Mascot 3 (1986) (0)
- ESEC '89: proceedings of the 2nd European conference on Software engineering (1989) (0)
- What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? (1992) (0)
- Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE) (2022) (0)
- Change Management Strategies for Safety-Critical Software (2000) (0)
- Selecting an Ada Environment (1987) (0)
- Model-based Failure Failure Analysis of Business Process (2011) (0)
- 7 – Formal methods: use and relevance for the development of safety-critical systems (1993) (0)
- An Overview of Reliable Computer System Design (1980) (0)
- Modelling Uncertain and Time-Dependent Security Labels in MLS Systems (2010) (0)
- Safety critical systems (1991) (0)
- An evaluation of the Ten 15 persistent store (2007) (0)
- Disruption to Uk Air Traffic Management on 12Th December 2014: Analysis and Lessons Learnt (2015) (0)
- Towards an Object Oriented Development Environment for Secure Applications (1990) (0)
- Integrated Project Support Environments: General Principles and Issues in the Development of High Integrity Systems (1990) (0)
- 17 – Architectural design (1991) (0)
- Topics Document for Entry in October 2007 (2007) (0)
- IRECTIONS I N S OFTWARE S AFETY : C AUSAL M ODELLING A S A N A ID T O I NTEGRATION (2008) (0)
- Incremental Type-Checking in † (1992) (0)
- "Birds-of-a-Feather-Group" on Safety Critical Systems (1992) (0)
- Systematic Approach To Maintenance open ebook standard National Research Council U.S (2019) (0)
- The IEE and software engineers (1985) (0)
- Reimagining the Art of Choral Programming: Innovations of Larry L. Fleming in his Annual Christmas Festivals with the National Lutheran Choir (2016) (0)
- Safety Assessment for Autonomous Systems' Perception Capabilities (2022) (0)
- On analysis of secure information systems: a case study (1994) (0)
- Trends in Systems Safety (2002) (0)
- Defence standard 00-56 issue 5: concepts, principles and pragmatics (2014) (0)
- Review: Systems for All (2002) (0)
- S Software in Safety Critical Systems : Achievement and Prediction by Professor (0)
- An evaluation of the Ten15 persistent store (2014) (0)
- Book review: Design Review Methodology for a Data Base Environment (1983) (0)
- Resilience-Aware Mixed-Criticality DAG Scheduling on Multi-cores for Autonomous Systems (2022) (0)
- Low Level Synchronisation Problems in Digital Systems (1988) (0)
- Effective Naturalistic Decision Support for Dynamic Reconfiguration Onboard Modern Aircraft (2011) (0)
- SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction (2017) (0)
This paper list is powered by the following services:
