Best Paper Awards

27

Combining Strategic and Tactical Conflict Management in Urban Air Mobility Environments

Laura Humphrey, Cesar Munoz, Maria Consiglio, George Hagen, James Chamberlain, Marco Feliu, Richard Jessop

Urban, Advanced Air Mobility & New Space (AM)

30

Comparative Performance Analysis of Cryptographic Workloads in Cyber-Physical Avionics

Jeremiah Webb, Laxima Niure Kandel, Deepti Gupta, Raju Dhakal

Cyber, Systems, and Software (CS)

54

Runtime Safety Filtering for Learned Small UAS Separation Policies under GNSS Degradation

Alex Zongo, Peng Wei

Air Traffic Management (ATM)

73

Why Error Detection Coverage in Avionics Ethernets is Unknown (and Unknowable?)

Kevin Driscoll, Brendan Hall, Andrew Loveless

Avionics Platforms (AP)

102

Enhancing Runway Detection Models with Synthetic-to-Real Style Transfer

Estelle Chigot, Solène Barrat, Manon Huguenin, Dennis Wilson, Thomas Oberlin

Avionics Technologies (AT)

131

Assurance Considerations for AI-Based Reasoning Systems in Avionics

Arthur Clavière, Riccardo De Masellis, Dmitrii Kirov, Stefano Minopoli, Simone Fulvio Rollini

AI Tools for Aerospace (AIT)

234

Ownship UAS–Assisted Calibration and Georegistration of Ground Radar–Camera Sensors for Counter-UAS Systems

Sina Sajjadi, Sina Soleymanpour, Jacopo Panerati, Varun Mehta, Iraj Mantegh, Frédéric Bourgault

Unmanned Aircraft Systems & Uncrewed Spacecraft (US)

269

From Position Reports to Raw Measurements: A USSP-Centric ADS-L Concept for U-space Surveillance

Benjamin Lochow, Fabian Frickenstein, Leon Alexander Albrecht, Maarten Uijt de Haag

Communications, Navigation and Surveillance and Information Networks (CN)

285

Human Performance Assessment for Sustainable Flights Through Enhanced Avionics

Marie Goetz, Fethi Abdelmoula, Leo Julius Materne, Martin Gerber, Andreas Winhard

Human Factors (HF)

294

Reinforcement Learning-Based Arrival Merging and Spacing Control for Maximizing Airport Landing Capacity in BlueSky Simulation

ShaoRui Ren, Hojong Baik

AI Applications for Aerospace (AIA)

294

Reinforcement Learning-Based Arrival Merging and Spacing Control for Maximizing Airport Landing Capacity in BlueSky Simulation

ShaoRui Ren, Hojong Baik

AI for Next-Generation CNS and Space-Based Infrastructure

132

Every Flight, Analyzed: Scaling Hybrid AI with Anomaly Detection, Explainability, and Language Model Causal Reasoning for the Exabyte Era of Aviation

JOHN SIPPLE, Quang Ngoc Huong Nguyen, Abdou Youssef

AI for Safety, Anomaly Detection, and Health Management

50

REINFORCEMENT LEARNING-BASED AUTONOMOUS ESCORT AND CORRIDOR CLEANING STRATEGIES FOR MANNED-UNMANNED (MUM-T) MISSIONS

Serdar Gökdemir, Gökhan İnalhan

Reinforcement and Deep Learning for Air Operations 

78

AI-Based Fault Diagnosis and Prognosis for Jet Aircraft Fuel Supply Pumps Using Flight-Test and Rig-Test Data

Semin Ahn, Dohyeon Kim, Wansuk Yang, Yongmin Lee, Jihan Kim, Seon Ho Jeong, Ikgyu Lee, Sung-Hoon Ahn

AI for Anomoly Detection and Prognostics

228

Digital Avionics Operations in Mission Simulation: an AI-assisted MBSE Modeling Approach

Murillo Szvaticsek, Cesar Augusto Cavalheiro Marcondes, Denis Loubach

Human–AI Teaming and Digital Engineering for Avionics

33

Intrusion Detection for AI Applications via Timing Profiles

Anika Christmann, Mischa Möstl, Rolf Ernst

AI-Enabled Cybersecurity and Intrusion Detection

64

Vision-Based Adversarial Attacks Against Terminal Guidance of Uncrewed Aircraft Systems

Anagha Umesh, Devaprakash Muniraj

AI for Airspace and Airport Operations

26

LLM-Assisted Test Case Synthesis from Avionics Requirements with Hallucination Mitigation

Saswata Paul, Sarat Chandra Varanasi, Khoi Nguyen, Baoluo Meng, Sharad Dixit, Kareem Aggour

AI Tools and LLM

146

KISS my ML Assurance

Darren Cofer, Kyle Ford, Scott Nagel, Dmitrii Kirov, Arthur Claviere, Cong Liu, Heber Herencia-Zapana

AI Tools and DO-178C

131

Assurance Considerations for AI-Based Reasoning Systems in Avionics

Arthur Clavière, Riccardo De Masellis, Dmitrii Kirov, Stefano Minopoli, Simone Fulvio Rollini

AI Tools and Assurance

115

Uncertainty Quantification and Airworthiness Safety Assessment of Intelligent Avionics Software Based on PAC-Bayes Theory

Linyan Tu, Qiuyue Li, Jiateng Chen, Ziyang Tan, Chao Zhang

AI Tools and Safety

243

Mechanistic Interpretability for Learning Assurance of a Vision-Based Landing System

Romeo Valentin, Olivia Beyer Bruvik, Marc Schlichting, Mykel J. Kochenderfer

AI Tools and Applications

190

From Explainability to Certifiability: XAI-Driven Assurance for AI-Based Avionics Systems

Adem Hmissa, Charles De Malefette, Jean-Yves Ouattara, Felipe Magalhaes, Ahmad Shahnejat Bushehri, Rim Zrelli, Adel Abu sitta, Gabriela Nicolescu

AI Tools and Process I

295

A Latent-Space ODD-Proxy Framework for Testing Machine-Learned Avionics Classifiers

Bastian Luettig, Yousif Elsheikh, Yassine Akhiat, Bjoern Annighoefer

AI Tools and Process II

208

Insights Into Airspace Flight Track Latent Proximity Risk - A Case Study of Chicago TRACON and Adjacent Airspace

Fahimeh Ghorbani, Lance Sherry, John Shortle

Flight Track Technology and Weather Avoidance

162

Airport Terminal Passenger Queue Forecasting for Departure Gates and Security Checkpoints

Juhwan Lee, Seokbin Yoon, Keumjin Lee, Hojong Baik, Seyeon Jung

Airport and Terminal Operations Analytics

124

Conflict Management in Flight Centric ATC: Findings from a Real-Time Simulation

Mara Weber, Verdiana Bottino, Ana Paz Goncalves Martins

ATC Communications, Training, and Future Systems

54

Runtime Safety Filtering for Learned Small UAS Separation Policies under GNSS Degradation

Alex Zongo, Peng Wei

UAM/UAS Traffic Management and Separation Assurance

142

Fuel Burn Prediction on a Flight-by-Flight Basis Using an Encoder-Decoder LSTM Architecture

Samet Ayhan, Italo Romani de Oliveira, Pablo Costas

Digital Twins, Operational Prediction, and Performance Monitoring

72

Recovering Invisible Traffic Management Restrictions From Unstructured FAA Operational Logs: A Precision-First Dual-Layer Framework

Jin Li, Michael Asante, Renee Fields, Tiffany King

Collaborative Flow Management and ATM Decision Support

36

Non-intrusive performance benchmark for partitioned systems

Felipe Gohring de Magalhaes, Jean-Baptiste Lefoul, Gabriela Nicolescu

Multicore IMA, Timing, and Interference Management

29

Utilizing Hash-Trees for Reliable, Extendable Plug & Fly Model Description

Vanessa Tietz, Raphael Rohrmueller, Bastian Luettig, Jens-Peter Kuehn, Bjoern Annighoefer

Self-Adaptive Platforms, Plug & Fly, and Model-Based Interfaces

97

Open-Source Scheduler and Visualizer for a Synchronous and Deterministic Avionics Backbone

Alexander Ahlbrecht, Janick Beck, Tim Schubert, Umut Durak, Roman Schmidt, Nic Baer, Heiko Engel, Klemens Korherr, Timo Reubold

Deterministic Avionics Networking and Ethernet Evolution

85

Certification and Architectural Implications of Common vs Domain-Specific Platform Stacks in Mixed-Criticality Integrated Modular Avionics

Mohamad Ibrahim, Bastian Luettig, Umut Durak

Certification, Assurance, and Compliance Frameworks

261

An Extended Integration Workflow for Model-Based Flight Controller Deployment on ARINC 653 Platforms

Jacob Kriegel, Bojan Lukić, Matthias Klimmek, Umut Durak

Open Architectures, UAV Platforms, and Deployment Workflows

73

Why Error Detection Coverage in Avionics Ethernets is Unknown (and Unknowable?)

Kevin Driscoll, Brendan Hall, Andrew Loveless

Network Integrity, EMC, and Quantifying Determinism

102

Enhancing Runway Detection Models with Synthetic-to-Real Style Transfer

Estelle Chigot, Solène Barrat, Manon Huguenin, Dennis Wilson, Thomas Oberlin

AI and Adaptive Technologies for Avionics

183

Assessing Methods for the Automatic Physical-to-Logical Mapping of Aircraft Cabin Network Components via Onboard Video Systems

Bastian Luettig, Jens-Peter Kuehn, Xinyu Fan, Christian Hertwig, Christoph Tillack-Nieveler, Bjoern Annighoefer

Prognostic and Health Management

116

A Multi-Objective Resource Allocation Method for Integrated Modular Avionics Systems Based on NSGA-II

Linyan Tu, Xin Jiang, Bowen Li, Qiuyue Li, Ziyang Tan, Chao Zhang

Model-Based Engineering, Architecture, and Certification

231

A PROTOTYPE SOFTWARE RASTERIZATION STACK FOR SAFETY CRITICAL SYSTEMS

Xavier Caricchio, Josue Pedrajas, Leonidas Kosmidis

Verification, Coverage, and Simulation Frameworks

44

Online Partitioning Algorithm for an Incremental Lossless Data Compression

Guillaume Cottin, Franck Cazaurang, Jérôme Saracco, Loic Lavigne, Franck Tailliez, Vincent Corretja, Benoit Souyri

Predictable Computing and Safety-Critical Accelerators

83

Requirements and vision-based processing for integrated incursion detection and precision navigation during UAM approach and landing

Paolo Veneruso, Enrico Miccio, Roberto Opromolla, Carlo Tiana, Giacomo Gentile, Giancarmine Fasano

AAM Operations: Automation, Sensing & Simulation Tools

141

A Scalable Multi-Layer GNSS Cybersecurity Testbed for Analyzing and Quantifying System-Level Impacts of Jamming and Spoofing in Aviation

Zunayeed Bin Zahir, Antonio Ferreira Crespo, Alexandre B. Barreto

GNSS Threat Detection, Integrity & Resilience Testing

133

Towards Cyber-Resilient Time-Sensitive Networking for Aerospace Systems

Baoluo Meng, Sarat Chandra Varanasi, Stephen Bush, Saswata Paul, Abdul Jabbar, Michael Durling

Time-Sensitive Networking & Communication Networks

154

4G LTE Time Difference of Arrival-Based Positioning Algorithm in Urban Aeras using Super affordable Hardware

François Drapeau, Antoine Davi, Ahmad Esmaeilkhah, Jean-Marc Gagné, René Jr. Landry

Hybrid & Alternative Positioning

269

From Position Reports to Raw Measurements: A USSP-Centric ADS-L Concept for U-space Surveillance

Benjamin Lochow, Fabian Frickenstein, Leon Alexander Albrecht, Maarten Uijt de Haag

Surveillance & Sensor Fusion

92

The Impact of PHY Data Link Characteristics on Cooperative Navigation for UAVs

Jan Patrick Gerhards, Lukas Marcel Schalk

Integrated Sensing and Communications

160

An Open-Source CPDLC Testing Environment for Real-Time Tower-Pilot Ground Operations

Missipsa M'Hamed Annane, Sristhi Rawal, Philippe Doyon-Poulin

RF Interference Mitigation and Datalinks

157

An Assessment Basis for Aeronautical System Assurance Cases

Ewen Denney, Ganesh Pai

Testing and Certification

123

Accelerating FPGA-Based Avionics System Recertification with Delta Verification Methodologies and Bitstream-Level Verification of Physical Isolation

Ali Asgar Sohanghpurwala, Jonathan Graf, Evan Drinkert, Scott Harper, Meg Winslow

Tools for Data Management and Development

103

Efficient Binary Micro-Patching for Legacy and Safety-Critical Avionics Systems

Payas Awadhutkar, Ahmed Tamrawi, Jeremías Sauceda

Software and Modelling Topics

193

From Architecture to Binary: Ensuring Cross-Domain Consistency in Model-Based Airborne Software Development

Nils Schlautmann, Viktor Sinitsyn, Benjamin Engelhard, Florian Holzapfel

System and Safety Design and Modelling

30

Comparative Performance Analysis of Cryptographic Workloads in Cyber-Physical Avionics

Jeremiah Webb, Laxima Niure Kandel, Deepti Gupta, Raju Dhakal

Security Analysis, Modelling and Solutions

252

Gravity Model Testing in GNSS-aided Inertial Navigation Systems

Timothy Needham, Sarah Lawrence

Network and Connectivity

177

Preliminary Validation of a Terminal Airspace Digital Assistant through Low-Fidelity Simulation

Jason Gauci, Brian Zammit, Samuel Baldacchino, Timothy Kayode Samson, Maximilian Bezzina, Nicolas Borovich, Mikko Jurvansuu, David Woolford, Francesco Nacchia, Luna Babusci, Patrizia Criscuolo, Ana Ferreira, Ginevra Fedrizzi, Ingrid Burke, Thomas Guenther, Tomi Aijo, Aleksi Viljanen, Antti Puhakka, Jonas Nikula, Eero Hakanen, Risto Viitanen, Mirja Hopiavuori, Jaakko Kemppainen

AI in ATM and Airspace Operations

285

Human Performance Assessment for Sustainable Flights Through Enhanced Avionics

Marie Goetz, Fethi Abdelmoula, Leo Julius Materne, Martin Gerber, Andreas Winhard

Advanced Interfaces for Pilot Decision Support

191

The Mechanical Illusion: How Professional Pilots Interpret Cyber Threats and Ambiguous Anomalies in Modern Flight Decks ?

Hans Obas, Felipe Gohring de Magalhaes, Philippe Doyon-Poulin, Gabriela Nicolescu

Security, Cyber Resilience, and Safety Analytics

110

Experimental Investigations of Human Trust Determinants during Human-Systems Interaction

Léa Mathieu, Patrick Mazoyer, Florence De Grancey, Jean-Christophe Sarrazin, Bertille Somon, Nicolas Drougard

Trust, Certification, and Human-Centered AI

198

Drone Co-Pilot: User Interface for Search and Rescue Operations with an Autonomous Drone

Balvinder Singh, Nico Helie, Kairat Khismetzhan, Sion Jennings, Philippe Doyon-Poulin

Human-Autonomy Teaming in Search and Reduced-Crew Operations

17

Battle Damage Assessment for Next Generation Fighter Aircraft Based on Synthetic Aperture Radar Image and Electro-Optical Targeting System Image

Samed Hıra, Ali Seydi Keçeli

Perception, Sensing, and Operational Vision Systems

40

Evaluation of Simulator Sickness and Postural Stability in Mixed Reality Flight Simulation

Lukáš Micka, Jan Boril, Ondrej Zavila, Ondrej Mach, Ladislav Gögh

Pilot Cognition, Workload, and Training

275

Analytical Estimation of Off-Nominal Volumes under UA Intent Uncertainty in UTM BVLOS Operations

Vincent Kuo, José Ignacio de Alvear   Cárdenas, Priyank Pradeep, Seungman Lee

GNC

129

Combining multi-drone cooperation and A-PNT techniques for enhanced navigation in GNSS-challenging environments

Gennaromaria Crispino, Lorenzo Turci, Flavia Causa, Giancarmine Fasano

 Architecture & Design

95

AeroGuardian: From UAS Sighting Reports to Simulation-Validated Safety Intelligence

Det Virak, Seonah Lee

Modeling&Sim for Operations

55

Impact of Formation Geometric Stability on Gradient Estimation Reliability in Cooperative Source Seeking by Unmanned Aircraft Systems

Jung Min Kang, Sang Hyun Kim

Performance  Analysis

232

Runtime Monitoring of Flight Controllers in the Presence of Actuator Dynamics using Extended Incremental Control Inequalities

Hannes Hofsäß, Florian Holzapfel

Safety and Assurance

270

Wepwawet: An ML-DSA Signing Service for Distributed Avionics Nodes

Mohamed El-Hadedy, Wen-mei Hwu

Safety and Assurance (II)

234

Ownship UAS–Assisted Calibration and Georegistration of Ground Radar–Camera Sensors for Counter-UAS Systems

Sina Sajjadi, Sina Soleymanpour, Jacopo Panerati, Varun Mehta, Iraj Mantegh, Frédéric Bourgault

Sensing & Detection

71

See&Say: Vision Language Guided Safe Zone Detection for Autonomous Package Delivery Drones

Mahyar Ghazanfari, Peng Wei

Autonomous Mission Intelligence and Delivery Safety

27

Combining Strategic and Tactical Conflict Management in Urban Air Mobility Environments

Laura Humphrey, Cesar Munoz, Maria Consiglio, George Hagen, James Chamberlain, Marco Feliu, Richard Jessop

Conflict Management, Separation, and Deconfliction

21

Optimizing Urban Air Mobility Fleet Size under Operational Constraints

Je Yeon Kim, Sang Hyun Kim

Operations Planning, Network Performance, and Sustainability

245

Large-Scale UAV-to-UAV Signal Strength Coverage Map Prediction Using a Stacked U-Net

Abdullah Althuwaini, Adan Vela

Data, Communications, and AI-Enabled Infrastructure

138

Integrity Aware Vision Based Tracking for Advanced Air Mobility Detect and Avoid

Eyuel Tariku, Nour El-Din Safwat, Khaja Faisal Hussain, Farah Tarek, Roberto Sabatini

Sensing, Tracking, and Secure Sense-and-Avoid

77

Scalable Online Flight Trajectory Optimization via Sequential Quadratic Programming for Urban Air Mobility in Ultra Low-Altitude Airspace

Josue N Rivera, Bohang Liang, Chen Lv, James Wang

Trajectory Planning and Online Optimization

181

Development of a Novel Concept for Automated Arrival Sequencing at Vertiports

Luca Hohenberger, Lukas Biesalski

UAM Traffic Management and Sequencing