1–9 of 9 hits
|

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

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

    Collaborative Situational Awareness for Conflict-Aware Flight Planning

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

    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

    Free access
    MENG BAOLUO / BORGYOS SZABOLCS ANDRAS / DURLING MICHAEL RICHARD et al. | European Patent Office | 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

    Formal Verification of Safety-Critical Aerospace Systems

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

    Towards Developing Formalized Assurance Cases

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

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

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