1–13 von 13 Ergebnissen
|

    Security Threat Modeling and Automated Analysis for System Design

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

    Automatic Synthesis of Information Flow Driven Execution Managers for Embedded Software Applications

    Visnevski, Nikita / Hubscher-Younger, Teresa / Rajhans, Akshay et al. | IEEE | 2020

    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

    Formal Verification Tool Evaluation For Unmanned Aircraft Containing Complex Functions

    Herencia-Zapana, Heber / Lopez, James / Gallagher, Glen et al. | IEEE | 2020

    Towards Verification of Neural Networks for Small Unmanned Aircraft Collision Avoidance

    Irfan, Ahmed / Julian, Kyle D. / Wu, Haoze et al. | IEEE | 2020

    Automated DO-178C Compliance Summary through Evidence Curation

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

    Towards Developing Formalized Assurance Cases

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

    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

    Requirements-based Automated Test Generation for Safety Critical Software

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

    Integration and Flight Test of Small UAS Detect and Avoid on A Miniaturized Avionics Platform

    Lopez, James G / Ren, Liling / Meng, Baoluo et al. | IEEE | 2019

    Architectural and Behavioral Analysis for Cyber Security

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