Utilizing the structure of safety properties to aid in the verification of hybrid controllers. - Natasha A. Neogi (ACC, 2004)

Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis. - Natasha A. Neogi (HSCC, 2004)

Using Hidden Markov Models to Detect Mode Changes in Aircraft Flight Data for Conflict Resolution. - Natasha A. Neogi; Asal Naseri (SMC, 2006)

Distributed Control over Structured and Lossy Networks. - Shengxiang Jiang; Petros G. Voulgaris; Natasha A. Neogi (ACC, 2007)

Failure-robust distributed controller architectures. - Shengxiang Jiang; Petros G. Voulgaris; Natasha A. Neogi (Int. J. Control, 2007)

Partitioning and the online-world design problem for multi-player games. - Natasha A. Neogi; Cédric Langbort (ACC, 2008)

Distributed triangulation in the presence faulty and byzantine beacons in aircraft networks with ADS-B technology. - Daniel Uhlig; Negar Kiyavash; Natasha A. Neogi (ACC, 2009)

Multi-runway aircraft sequencing at congested airports. - Luc Bojanowski; Dimitri Harikiopoulo; Natasha A. Neogi (ACC, 2011)

Polynomial-Time Feasibility Condition for Multiclass Aircraft Sequencing on a Single-Runway Airport. - Dimitri Harikiopoulo; Natasha A. Neogi (IEEE Trans. Intell. Transp. Syst., 2011)

Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. - Romain Jobredeaux; Heber Herencia-Zapana; Natasha A. Neogi; Eric Feron (CDC, 2012)

Modular Methods for Verification and Validation of Air Traffic Control Algorithms. - Natasha A. Neogi; Heber Herencia-Zapana (Infotech@Aerospace, 2012)

Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems. - Jules Chenou; William W. Edmonson; Albert C. Esterline; Natasha A. Neogi (CSDM (Posters), 2014)

Small satellite systems design methodology: A formal and agile design process. - William W. Edmonson; Jules Chenou; Natasha A. Neogi; Heber Herencia-Zapana (SysCon, 2014)

Formal requirement management for the Responsive and Formal Design process. - Solomon Gebreyohannes; William W. Edmonson; Jules Chenou; Natasha A. Neogi; Albert C. Esterline (ISSE, 2015)

Formal Assurance for Cooperative Intelligent Autonomous Agents. - Siddhartha Bhattacharyya; Thomas C. Eskridge; Natasha A. Neogi; Marco M. Carvalho; Milton Stafford (NFM, 2018)

Traffic Management for Urban Air Mobility. - Suda Bharadwaj; Steven Carr 002; Natasha A. Neogi; Hasan Poonawala; Alejandro Barberia Chueca; Ufuk Topcu (NFM, 2019)

Intelligent Contingency Management for Urban Air Mobility. - Irene M. Gregory; Newton H. Campbell; Natasha A. Neogi; Jon B. Holbrook; Jared A. Grauer; Barton J. Bacon; Patrick C. Murphy; Daniel D. Moerder; Benjamin M. Simmons; Michael J. Acheson; Thomas C. Britton; Jacob W. Cook (DDDAS, 2020)

Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms. - Milton Stafford; Siddhartha Bhattacharyya; Matthew Clark; Natasha A. Neogi (SysCon, 2020)

Minimum-Violation Traffic Management for Urban Air Mobility. - Suda Bharadwaj; Tichakorn Wongpiromsarn; Natasha A. Neogi; Joseph Muffoletto; Ufuk Topcu (NFM, 2021)

Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems. - Milton Stafford; Siddhartha Bhattacharyya; Matthew Clark; Natasha A. Neogi; Thomas C. Eskridge (IEEE Syst. J., 2021)

Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility. - Suda Bharadwaj; Steven Carr 002; Natasha A. Neogi; Ufuk Topcu (IEEE Trans. Control. Netw. Syst., 2021)

Assuring Intelligent Systems: Contingency Management for UAS. - Natasha A. Neogi; Siddhartha Bhattacharyya; Daniel Griessler; Harshitha Kiran; Marco M. Carvalho (IEEE Trans. Intell. Transp. Syst., 2021)

Scheduling for Urban Air Mobility using Safe Learning. - Surya Murthy; Natasha A. Neogi; Suda Bharadwaj (FMAS/ASYDE@SEFM, 2022)

AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations. - Parth Ganeriwala; Siddhartha Bhattacharyya; Sean Gunther; Brian Kish; Mohammed Abdul Hafeez Khan; Ankur Dhadoti; Natasha A. Neogi (ICMLA, 2023)

ALINA: Advanced Line Identification and Notation Algorithm. - Mohammed Abdul Hafeez Khan; Parth Ganeriwala; Siddhartha Bhattacharyya; Natasha A. Neogi; Raja Muthalagu (CVPR Workshops, 2024)

Runway vs. Taxiway: Challenges in Automated Line Identification and Notation Approaches. - Parth Ganeriwala; Amy Alvarez; Abdullah AlQahtani; Siddhartha Bhattacharyya; Mohammed Abdul Hafeez Khan; Natasha A. Neogi (SysCon, 2025)

Design and Validation of Learning Aware HMI for Learning-Enabled Increasingly Autonomous Systems. - Parth Ganeriwala; Michael Matessa; Siddhartha Bhattacharyya; Randolph M. Jones; Jennifer A. Davis; Parneet Kaur; Simone Fulvio Rollini; Natasha A. Neogi (SysCon, 2025)

Separation Assurance in Urban Air Mobility Systems using Shared Scheduling Protocols. - Surya Murthy; Tyler Ingebrand; Sophia Smith; Ufuk Topcu; Peng Wei; Natasha A. Neogi (CoRR, 2025)

Adapt, But Don't Forget: Fine-Tuning and Contrastive Routing for Lane Detection under Distribution Shift. - Mohammed Abdul Hafeez Khan; Parth Ganeriwala; Sarah M. Lehman; Siddhartha Bhattacharyya; Amy Alvarez; Natasha A. Neogi (CoRR, 2025)