1–17 von 17 Ergebnissen
|

    Security Threat Modeling and Automated Analysis for System Design

    Meng, Baoluo / Durling, Michael / Smith, William | SAE Technical Papers | 2021

    Method and system for mission planning via formal verification and supervisory controller synthesis

    Freier Zugriff
    CASTILLO-EFFEN MAURICIO / JOHNSON TIMOTHY LEE / DURLING MICHAEL RICHARD | Europäisches Patentamt | 2019

    Threat Identification and Defense Control Selection for Embedded Systems

    Moitra, Abha / Prince, Daniel / Herencia-Zapana, Heber et al. | SAE Technical Papers | 2020

    METHOD AND SYSTEM FOR MISSION PLANNING VIA FORMAL VERIFICATION AND SUPERVISORY CONTROLLER SYNTHESIS

    Freier Zugriff
    CASTILLO-EFFEN MAURICIO / JOHNSON TIMOTHY LEE / DURLING MICHAEL RICHARD | Europäisches Patentamt | 2017

    AIRCRAFT CONFLICT DETECTION AND RESOLUTION

    Freier Zugriff
    MENG BAOLUO / BORGYOS SZABOLCS ANDRAS / DURLING MICHAEL RICHARD et al. | Europäisches Patentamt | 2024

    AIRCRAFT CONFLICT DETECTION AND RESOLUTION

    Freier Zugriff
    MENG BAOLUO / BORGYOS SZABOLCS ANDRAS / DURLING MICHAEL RICHARD et al. | Europäisches Patentamt | 2024

    Increasing Development Assurance for System and Software Development with Validation and Verification Using ASSERT™

    Moitra, Abha / Crapo, Andy / McMillan, Craig et al. | SAE Technical Papers | 2019

    Increasing Development Assurance for System and Software Development with Validation and Verification Using ASSERT™

    McMillan, Craig / Crapo, Andy / Durling, Michael et al. | British Library Conference Proceedings | 2019

    Automated DO-178C Compliance Summary through Evidence Curation

    Paul, Saswata / Alexander, Christopher / Durling, Michael et al. | IEEE | 2023

    Towards Formalization of a Data Model for Operational Risk Assessment

    Valapil, Vidhya Tekken / Herencia-Zapana, Heber / Durling, Michael et al. | IEEE | 2021

    Towards Developing Formalized Assurance Cases

    Meng, Baoluo / Moitra, Abha / Crapo, Andrew W. et al. | IEEE | 2020

    Requirements-based Automated Test Generation for Safety Critical Software

    Li, Meng / Meng, Baoluo / Yu, Han et al. | IEEE | 2019

    Certification Considerations for Adaptive Stress Testing of Airborne Software

    Durling, Michael / Herencia-Zapana, Heber / Meng, Baoluo et al. | IEEE | 2021

    Towards the Certification of Neural Networks using Overarching Properties: An Avionics Case Study

    Paul, Saswata / Prince, Daniel / Iyer, Naresh et al. | IEEE | 2023

    TRAJECTORY BASED SENSE AND AVOID

    Freier Zugriff
    DURLING MICHAEL RICHARD / TOMLINSON HAROLD WOODRUFF / VISNEVSKI NIKITA et al. | Europäisches Patentamt | 2019

    Architectural and Behavioral Analysis for Cyber Security

    Siu, Kit / Moitra, Abha / Li, Meng et al. | IEEE | 2019

    Flight critical software and systems development using ASSERT™

    Siu, Kit / Moitra, Abha / Durling, Michael et al. | IEEE | 2017