Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies. - Saswata Paul; Frederick Hole; Alexandra Zytek; Carlos A. Varela (CoRR, 2017)

Towards Provably Correct Probabilistic Flight Systems. - Elkin Cruz-Camacho; Saswata Paul; Fotis Kopsaftopoulos; Carlos A. Varela (DDDAS, 2020)

Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms. - Saswata Paul; Fotis Kopsaftopoulos; Stacy Patterson; Carlos A. Varela (DDDAS, 2020)

Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. - Saswata Paul; Gul A. Agha; Stacy Patterson; Carlos A. Varela (NFM, 2021)

Automating the Assembly of Security Assurance Case Fragments. - Baoluo Meng; Saswata Paul; Abha Moitra; Kit Siu; Michael Durling (SAFECOMP, 2021)

Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. - Saswata Paul; Stacy Patterson; Carlos A. Varela (FMAS, 2021)

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. - Baoluo Meng; Daniel Larraz; Kit Siu; Abha Moitra; John Interrante; William Smith; Saswata Paul; Daniel Prince; Heber Herencia-Zapana; M. Fareed Arif; Moosa Yahyazadeh; Vidhya Tekken Valapil; et al. (Syst., 2021)

On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models. - Peiyuan Zhou; Saswata Paul; Airin Dutta; Carlos A. Varela; Fotis Kopsaftopoulos (DDDAS, 2022)

Formal verification of decentralized coordination in autonomous multi-agent aerospace systems - Saswata Paul (2022)

Towards a Correct-by-Construction Design of Integrated Modular Avionics. - Baoluo Meng; Joyanta Debnath; Sarat Chandra Varanasi; Emmanuel Manoloios; Michael Durling; Saswata Paul; Daniel Prince; Saif Alsabbagh; Richard Haadsma; Craig McMillan; Chi Zhang; Tim Oates 001 (FMCAD, 2023)

Eventual consensus in Synod: verification using a failure-aware actor model. - Saswata Paul; Gul Agha; Stacy Patterson; Carlos A. Varela (Innov. Syst. Softw. Eng., 2023)

Formal Methods in Requirements Engineering: Survey and Future Directions. - Robert Lorch; Baoluo Meng; Kit Siu; Abha Moitra; Michael Durling; Saswata Paul; Sarat Chandra Varanasi; Craig McMillan (FormaliSE@ICSE, 2024)

SMT-Based Aircraft Conflict Detection and Resolution. - Saswata Paul; Baoluo Meng; Christopher C. Alexander (NFM, 2024)

Assurance Case Synthesis from a Curated Semantic Triplestore. - Saswata Paul; Baoluo Meng; Kit Siu; Abha Moitra; Michael Durling (SAFECOMP, 2024)

TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation. - Sarat Chandra Varanasi; Baoluo Meng; Robert Lorch; Abha Moitra; Kit Siu; Saswata Paul; Michael Durling; Neha Beniwal; Nikita Visnevski (NFM, 2025)

Formal verification of timely knowledge propagation in airborne networks. - Saswata Paul; Chris McCarthy; Stacy Patterson; Carlos A. Varela (Sci. Comput. Program., 2025)

Attack-defense tree-based analysis and optimal defense synthesis for system design. - Baoluo Meng; Arjun Viswanathan 001; Saswata Paul; William Smith; Abha Moitra; Kit Siu; Michael Durling (Innov. Syst. Softw. Eng., 2025)