1–9 von 9 Ergebnissen
|

    Collaborative Situational Awareness for Conflict-Aware Flight Planning

    Paul, Saswata / Patterson, Stacy / Varela, Carlos A. | IEEE | 2020

    Conflict-Aware Flight Planning for Avoiding Near Mid-Air Collisions

    Paul, Saswata / Patterson, Stacy / Varela, Carlos A. | IEEE | 2019

    Wind-Aware Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies

    Paul, Saswata / Hole, Frederick / Zytek, Alexandra et al. | IEEE | 2018

    AIRCRAFT CONFLICT DETECTION AND RESOLUTION

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

    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

    Formal Verification of Safety-Critical Aerospace Systems

    Paul, Saswata / Cruz, Elkin / Dutta, Airin et al. | IEEE | 2023

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

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