First Place
An Open-Source DO-178C Structural Coverage Tool
Andrew Oppelt, Wentao Zhang, Ikjun Jeon, Minji Park, Steven VanderLeest & Darko Marinov
Second Place
Tailored Interference Mixer (TIM): A Tool for Evaluating Single and Combined Interference Channel in a Multi-core System
Jiahao Ge, Yong Cai, Jilu Zhang, Zhouyang Wang & Wen Wang
Third Place
Open Sky, Open Threats: Replay Attacks in Space Launch and Re-entry Phases
Nesrine Benchoubane, Eray Guven, Gunes Karavulut Kurt
| Submission ID | Title | Authors | Track/Session |
|---|---|---|---|
| 18 | Tailored Interference Mixer(TIM): A Tool for Evaluating Single and Combined Interference Channel in a Multi-core System | Jiahao Ge, Yong Cai, Jilu Zhang, Zhouyang Wang, Wen Wang | AP2 - Multicore Timing Analysis and Interference Mitigation |
| 64 | An Open-Source DO-178C Structural Coverage Tool | Andrew Oppelt, Wentao Zhang, Ikjun Jeon, Minji Park, Steven VanderLeest, Darko Marinov | CS7 - Testing and Certification I |
| 303 | Open Sky, Open Threats: Replay Attacks in Space Launch and Re-entry Phases | Nesrine Benchoubane, Eray Guven, Gunes Karabulut Kurt | CN7 - Communication Systems II |
| 117 | Enhanced AAM Surveillance using Radar/Visual Distributed Sensing | Federica Vitiello, Flavia Causa, Roberto Opromolla, Giancarmine Fasano, Chester Dolph, Todd Ferrante, Thomas Lombaerts, Corey Ippolito | AM3 - Surveillance & Detect and Avoid |
| 354 | A Landscape of Commercial On-Board Computers and Payload Processing Computers for CubeSats: Fault Tolerance and Implementation Challenges | Mauren D'Avila, Vinicius Schreiner, Victor Costa, Denis Loubach, Lidia Shibuya, Luis Eduardo Loures, Fernanda Kastensmidt | US9 - Autonomous Space Systems |
| 288 | AI-Driven Miscommunication Identification in Pilot-ATC Communications | Anahita Imanian, Steven L Estes, Jorid Topi, Shuo chen, Pavan Kumar Bondalapati, Kunal Sarkhel, Tao Yu, Samuel Cheng, Dr. Craig Wanke | HF2 - Speech Recognition in Pilot-ATC Communications |
| 96 | A Collaborative Mixed Reality Digital Twin with Real-Time Scenario Generation using Large Language Models for Air Traffic Management Simulations | Mohammed Nadirsha Thaivalappil Noushad, Sameer Alam | AI6 - Text-Centered AI Applications |
| 223 | New Machine Learning Approaches for Intrusion Detection in ADS-B | Mikaëla Ngamboé, Jean-Simon Marrocco, Jean-Yves Ouattara, Jose Manuel Fernandez, Gabriela Nicolescu | PO2 - Student & Poster Session I |
| 369 | Physics-Based “Realism Checks” for Generated Synthetic Flight Tracks | Shahab Aref, John Shortle, Lance Sherry | AT2 - Higher Levels of Automation in ATM |
| Submission ID | Title | Authors | Track/Session |
|---|---|---|---|
| 48 | Open-source Stand-Alone Versatile Tensor Accelerator | Anthony Faure-Gignoux, Kevin Delmas, Adrien Gauffriau, Claire Pagetti | AP1 - Embedded Platforms and Hardware Integration in Avionics |
| 18 | Tailored Interference Mixer(TIM): A Tool for Evaluating Single and Combined Interference Channel in a Multi-core System | Jiahao Ge, Yong Cai, Jilu Zhang, Zhouyang Wang, Wen Wang | AP2 - Multicore Timing Analysis and Interference Mitigation |
| 32 | Segmentation and lossless compression of SAR data: a new approach to ensure transmission robustness | Guillaume COTTIN, Franck CAZAURANG, Loïc LAVIGNE, Jérôme SARACCO, Franck TAILLIEZ, Vincent CORRETJA, Benoît SOUYRI | AP3 - Fault Tolerance, Advanced Networking, and Data Handling |
| 177 | Hybrid Quantum-Classical Optimization Method for Avionics Architecture in Space Launcher | Edwin Isidory, Björn Annighöfer | AP4 - Future Avionics Networking and Virtualized Systems |
| 11 | Future Avionics Data Networks will be hybrid | Kees Nuyten, Thomas Le Montagner, Sébastien Gonczaronek, Asterios Souftas | AP5 - Optimization and Resource Management in Modular Avionics |
| 37 | Photonic Digital High-Performance Processors for Real-Time Avionics | Felix Päsler, Peter Caruana, Michael Kissner | AP6 - High-Performance Computing and AI Integration |
| 51 | Establishing a Single Source of Truth for Avionics Platform Verification Through UCoF | Philipp Chrysalidis, Martin Halle, Frank Thielecke | AP7 - Modern Software Architectures and Certification |
| 33 | Avionics Virtual Integration Platform to Support Simulation-Based Validation and Verification | Martin Halle, Frank Thielecke, Peter Mueller | AP8 - IMA Systems, Virtual Integration, and Real-Time Platforms |
| 329 | A Safety-Critical Control System for RPAS or UAS of the Category „Certified“ | Reinhard Reichel, Marco Dupper, Christian Block, Thorben Hoffmann | AP9 - Control, Connectivity, and Electromagnetic Resilience |
| 77 | Modeling Security Architectures and Properties usable as Input for an automated Model-based Security Risk Assessment | Mario Werthwein, Björn Annighöfer | CS1 - Security Analysis and Modelling |
| 20 | MBSqlE: Enabling SQL as Powerful Query Language for SysML v2 in Aviation | Alexander Ahlbrecht, Wanja Zaeske, Umut Durak | CS2 - Tools for Data Managment and Development |
| 174 | Physical Intrusion Detection for Detecting Silent Devices in MIL-STD-1553 | İsa Can Babir, Mustafa Evcil, Zaliha Yüce Tok, Mehmet Atınç Gökyer, Yiğit Emir İşıkçı, Sedat Akleylek | CS3 - Security Solutions |
| 118 | Model-based Safety Assessment of a Hybrid Fly-by-Wire Flight Control System for a Light Sport Aircraft | Johannes Bender, Julian Rhein, Nils Schlautmann, Evangelos Huber, Florian Holzapfel | CS4 - System and Safety Design and Modeling |
| 17 | Employing AI/ML/DL/RL/LLM tools to Advance Aviation Maintenance Processes for Improved safety and Reduced Costs: A Survey | Sandeep Kalari, Shree Gowri Lenkala, Vikas Ganjigunte Ashok, Ravi Mukkamala | CS5 - AI in CSS |
| 21 | On the Design of a WebAssembly Interpreter for Safety Critical Avionics Applications | Wanja Zaeske, A. Cem Önem, Florian Hartung, Umut Durak | CS6 - Software and Modelling Topics |
| 64 | An Open-Source DO-178C Structural Coverage Tool | Andrew Oppelt, Wentao Zhang, Ikjun Jeon, Minji Park, Steven VanderLeest, Darko Marinov | CS7 - Testing and Certification I |
| 274 | From Skepticism to Understanding: Correcting Misconceptions About Overarching Properties | Zamira Daw, Michael Holloway | CS8 - Testing and Certification II |
| 121 | Formal Model-Based Traceability for Security Compliance in Satellite Control Systems | Stojanche Gjorcheski, Jason Jaskolka | CS9 - Multicore and Formal Methods |
| 46 | Placement Synergy: Bridging ADS-B Ground and Space Sensors for Secure Wide-Area Multilateration | Ala' Darabseh, Christina Pöpper | CN1 - Automatic Dependant Surveillance - Broadcast |
| 112 | WILCO: How Prioritizing CPDLC Communication Changes Canadian ATC Operations | Sabrina Knappe, Élodie Bouzekri, Yanne Sidibe, Jeremy Cooperstock, Philippe Doyon-Poulin | CN2 - Communication Systems I |
| 137 | A Data-Driven Comparison of DME-based Navigation Performance | Jan Harbeke, Markus Espen, Matthias Schäfer, Valeriu Vitan, Gerhard Berz, Jens Schmitt | CN3 - Navigation in ATM Environment |
| 62 | Machine Learning based Multi-constellation Satellite Selection Algorithm in Urban Area | Pin-Hsun Lee, Harry Leib | CN4 - GNSS in Urban Areas |
| 67 | GNSS Induced Spoofing Detection Based on Joint Code Phase and Carrier Phase | Wenyi Wang, Xuzhou Guo, Ruihua Liu | CN5 - GNSS Spoofing |
| 334 | An Interference-Aware Radar Network Optimization Framework for AAM Surveillance | Leonardo Milone, Flavia Causa, Giancarmine Fasano, Luca Manica, Giacomo Gentile, Michael Dubois | CN6 - Non-cooperative Surveillance |
| 303 | Open Sky, Open Threats: Replay Attacks in Space Launch and Re-entry Phases | Nesrine Benchoubane, Eray Guven, Gunes Karabulut Kurt | CN7 - Communication Systems II |
| 336 | K-Band Radar System Analysis for Airport Runway and Taxiway Incursion Surveillance Applications | Enrico Miccio, Giancarmine Fasano, Alessandro D'Ortenzio, Weston Lahr | CN8 - Surveillance for Ground Operations |
| 128 | Architecture of Drone Swarm with autonomous decision making based on Reinforcement Learning | Gregor Semmler, Julian Thomas, Andreas Frey | CN9 - Visual/LEO-based Sensing and Navigation, and Swarms |
| 56 | Free Vertical Planning in a TBO Environment | Alexander Kuenz | AT1 - Trajectory Management |
| 369 | PHYSICS-BASED “REALISM CHECKS” FOR GENERATED SYNTHETIC FLIGHT TRACKS | Shahab Aref, John Shortle, Lance Sherry | AT2 - Higher Levels of Automation in ATM |
| 101 | Free Route Airspace Trajectory Planning Using Conditional Diffusion Model | Wentao Zhao, Peng Zhao, Kaiquan Cai, Zexuan Wu | AT3 - New Enroute Traffic Management Concepts |
| 298 | Estimation of Context-Based Air Traffic Performance Baselines with Multi-Quantile Regression | Mayara Condé Rocha Murça | AT4 - Performance Assessment |
| 250 | Preliminary Risk Analysis and Fuel Benefits of High-Altitude Free Flight Regions | Mina Cezairli, Keith Cort, Andy Eskenazi, Brandon Hadfield, Marek Homola, Sarah Reider, Van Tran, Marek Travnik, R. John Hansman | AT6 - Higher Airspace Operations & STM |
| 70 | Adaptive Linear Holding Using Reinforcement Learning to Reduce Terminal Manoeuvring Area Delays and Holdings | Zhi Jun Lim, Hao Jiang, Duc-Thinh Pham, Sameer Alam | AT7 - Terminal Area |
| 79 | Preparing for Potential Closure of European Airspaces due to Re-entering Space Objects | Enrico Spinielli, Rainer Koelle, Quinten Goens | AT8 - Flow Management |
| 304 | OTFS-OAM Integration for Enhanced Communication and Detection of Low-Altitude UAVs in Urban Environments | CHEN Jiateng, WANG Yu, ZHANG Chao | AM1 - Enabling Communications for Mobility Operations |
| 206 | Strategic and Pretactical trajectory generation and traffic deconfliction for UAM: application to unstructured and partially structured airspace | Flavia Causa, Giancarmine Fasano | AM2 - Smooth Flow, Separation and Deconfliction |
| 117 | Enhanced AAM Surveillance using Radar/Visual Distributed Sensing | Federica Vitiello, Flavia Causa, Roberto Opromolla, Giancarmine Fasano, Chester Dolph, Todd Ferrante, Thomas Lombaerts, Corey Ippolito | AM3 - Surveillance & Detect and Avoid |
| 10 | Demand-Driven Fleet Mix Optimization for Urban Air Mobility Operations | Minji Shin, Sang Hyun Kim | AM4 - Fleet and Infrastructure Optimization |
| 211 | Investigating Cyclic Airspace Corridor Optimization for UAS Traffic Management based on Deep Reinforcement Learning | Rodolphe Fremond, Matthieu Verdoucq, Zeynep Bilgin, Murat Bronz | AM5 - Airspace Design and Route Planning |
| 135 | Run Time Assurance for a Hybrid Actuated Fly-by-Wire Aircraft: A Control Barrier Function Approach | Evangelos Huber, Muhammad Hassan, Johannes Bender, Nils Schlautmann, Julius Hoffelner, Florian Holzapfel | AM6 - Simulation and Testing Frameworks |
| 295 | Evaluating and Addressing Operational Uncertainties in Strategic Deconfliction for Advanced Air Mobility | Wallace Souza, Mayara Murça, Marcelo Guterres | AM7 - Strategic Conflict Management |
| 328 | An Efficient Privacy-preserving Intrusion Detection Scheme for UAV Swarm Networks | Kanchon Gharami, Shafika Showkat Moni | US1 - UAS Communications and Cybersecurity |
| 351 | Predictive Uncertainty for Runtime Assurance of a Real-Time Computer Vision-Based Landing System | Romeo Valentin, Sydney M. Katz, Artur Carneiro, Don Walker, Mykel J. Kochenderfer | US2 - UAS Navigation and Guidance |
| 61 | Integration Challenges with Conflict Management Systems and Route Planning for Autonomous Aerial Cargo Operations | Margarete Groll, Spencer Granlund, Luis Alvarez | US3 - UAS Traffic and Mission Management I |
| 148 | Performance Estimation of Aircraft Computer Vision Models using Optimal Transport-based Distributional Mismatch | Binshuai Wang, Can Vu, Peng Wei | US4 - Separation Assurance and Collision Avoidance |
| 267 | Advancing ADS-L: Implementation, Performance Evaluation, and Conformance Monitoring in U-space | Benjamin Lochow, Fabian Frickenstein, Robert Kemmerling, Maarten Uijt de Haag | US5 - Separation Assurance and Collision Avoidance |
| 293 | Drone Performance Modelling for U-space Strategic Deconflicting Services | Enric Pastor, Albert Sanchez, Cristina Barrado | US6 - UAS Traffic and Mission Management II |
| 222 | VerifIoU - Certified Robustness of Object Detection to Perturbations | Noemie Cohen, Melanie Ducoffe, Ryma Boumazouza, Xavier Pucel, Claire Pagetti, Christophe Gabreau, Audrey Galametz | US7 - UAS Applications and Operations I |
| 226 | Small Drone Detection from a Moving Camera using On-Device ROI Inference | Daniel Justino, Alexander Funke | US8 - UAS Applications and Operations II |
| 354 | A Landscape of Commercial On-Board Computers and Payload Processing Computers for CubeSats: Fault Tolerance and Implementation Challenges | Mauren D'Avila, Vinicius Schreiner, Victor Costa, Denis Loubach, Lidia Shibuya, Luis Eduardo Loures, Fernanda Kastensmidt | US9 - Autonomous Space Systems |
| 15 | MICA: Trust-Driven Design Refinements for Camouflaged Object Detection Applications | Debra Hogue, D. Shane Elliott, Lacey Schley, Justin Lewis, Shane Connelly, Chris Weaver | HF1 - Human Autonomy Teaming (HAT) |
| 288 | AI-Driven Miscommunication Identification in Pilot-ATC Communications | Anahita Imanian, Steven L Estes, Jorid Topi, Shuo chen, Pavan Kumar Bondalapati, Kunal Sarkhel, Tao Yu, Samuel Cheng, Dr. Craig Wanke | HF2 - Speech Recognition in Pilot-ATC Communications |
| 179 | Assessing an evaluation framework for human-ai-teaming in flight deck applications | Patrick Lorrig, Lennart Lux, Michelle Fini, Maria Wirzberger, Zamira Daw | HF3 - Flight ops Interfaces |
| 331 | Cognitive Agent Evaluation for Synthetic Pilot Training | Jiří Hanák, Jiří Novák, Peter Chudý | HF4 - HMI and Situation Awareness |
| 136 | Behavior Trees for Coordinated Integrated Air Defense: A Modular Approach for AI in Simulation-Based Training | Fabian Stracker, Michael Strohal, Peter Stütz | HF5 - Human Factors in Cockpit Operations |
| 75 | Design and Evaluation of a Modern Controller Working Position using High-Fidelity Mock-Ups | Lennard Nöhren, Lukas Tyburzy, Marco-Michael Temme, Kathleen Muth, Thomas Hofmann, Deike Heßler, Felix Tenberg, Eilert Viet, Michael Wimmer, Roy Norbart | HF6 - Designing ATM and Aircraft Integration |
| 292 | Objective Assessment Methods for Pilots' Psychological Resistance against Loss of Spatial Orientation | Jan Boril, Vladimir Smrz, Vratislav Pokorny, Veronika Lacinova | HF8 - Pilot Perception and Mixed Reality |
| 90 | Uncovering Resilient Behavior in the Aviation Safety Reporting System Using Large Language Models | Bryan Matthews | HF9 - Aviation Automation and Resilience |
| 81 | Overarching Properties-based Arguments for the Safety Assurance of an AI-Assisted Runway Alignment System | Saswata Paul, Daniel Prince, Naresh Iyer, Michael Durling, Liang Tang, Baoluo Meng, Mike Meiners, Sarat Chandra Varanasi | AI1 - Certification Frameworks |
| 220 | Edge AI-Enabled Radar and Camera Integration for Real-Time Drone Detection and Classification | Varun Mehta, Hamid Azad, Fardad Dadboud, Miodrag Bolic, Iraj Mantegh | AI2 - Computer Vision Applications |
| 349 | Flight2Vec: An Aviation-Focused Deep Learning Framework for Predictive Analytics | Kunal Sarkhel, Bulent Ayhan, Shuo Chen, Pavan Kumar Bondalapati, Anahita Imanian, Jason Reinhart | AI3 - Environmental and Operational Optimzation |
| 305 | Transformer-Based Vertical Profile Optimization and Fuel Consumption Reduction | Shicheng Li, Qiuli Wu, Leihong Li, Chao Zhang, Na Xing, Yiqi Li | AI4 - Flight Trayectory Optimization |
| 327 | Certifying Machine Learning in Aviation: An End-to-End DAL C Case Study | Konstantin Dmitriev, Julian Rhein, Johannes Bender, Lukas Beller, Yuning He, Johan Schumann, Florian Holzapfel | AI5 - Certification Implementation |
| 96 | A Collaborative Mixed Reality Digital Twin with Real-Time Scenario Generation using Large Language Models for Air Traffic Management Simulations | Mohammed Nadirsha Thaivalappil Noushad, Sameer Alam | AI6 - Text-Centered AI Applications |
| 239 | From ODD to Data: An End-to-End Toolchain for Synthetic Data Generation – A Case Study on AI-Based Runway Detection | Saymon Gattnar, Henry Späth, Yassine AKHIAT, Zamira DAW | AI7 - Data Coverage in Computer Vision |
| 375 | Deriving Safety-related Performance Requirements for Machine Learnt Aeronautical Applications | Ganesh Pai | AI8 - Safety Considerations |
| 256 | Investigation of Fast Topological Data Analysis Feature Extraction for High-Rate Dynamic Prediction | Daniel Andres Salazar Martinez, Yang Kang Chua, Arman Razmarashooli, Metrid Okumu, Simon Laflamme, Chao Hu, Paul T. Schrader, Gurcan Comert, Negash Begashaw, Jacob Dodson, Erik Blasch | AI9 - Verification |
| 376 | Feel the Speed: Supporting Novice eVTOL Pilots in Simplified Vehicle Operations with Haptic Cues | Dominik Janetzko, Hany Abdelfattah, Jan Baier, Daniel Dollinger, Michael Zintl | HF7 - eVTOL and Advanced Air Mobility |
| 134 | Verification and Validation of Dynamic Reconfiguration in Integrated Modular Avionics with a MATLAB/Simulink ARINC 653 Blockset | Bojan Lukić, Umut Durak, Matthias Klimmek, Umayr Jahagirdar, Neelakanta Erabhovi, Manju Nanda | PO2 - Student & Poster Session II |
| 34 | Dynamic Airspace Re-configuration for Tactical Drone Mission Changes | Juergen Teutsch, Co Petersen, Tanja Bos, Rolf Zon, Niklas Mekelburger | AT5 - Unmanned Traffic Management |
| 361 | A Distributed Smart Power Management System for Satellites Data over Power Bus | yijun huang, xiaofeng wu, xueliang bai, Jiashu Wu, Xianliang Chen, Kaiyi Ke | PO2 - Student & Poster Session III |
| 223 | New Machine Learning Approaches for Intrusion Detection in ADS-B | Mikaëla Ngamboé, Jean-Simon Marrocco, Jean-Yves Ouattara, Jose Manuel Fernandez, Gabriela Nicolescu | PO2 - Student & Poster Session I |
