Saswata Paul

According to our database, Saswata Paul authored at least 14 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Formal verification of timely knowledge propagation in airborne networks.

Saswata Paul, Chris McCarthy, Stacy Patterson, Carlos A. Varela

Sci. Comput. Program., 2025

2024

Assurance Case Synthesis from a Curated Semantic Triplestore.

Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling

Proceedings of the Computer Safety, Reliability, and Security, 2024

SMT-Based Aircraft Conflict Detection and Resolution.

Saswata Paul, Baoluo Meng, Christopher C. Alexander

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

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

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

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., December, 2023

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

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

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

Proceedings of the Dynamic Data Driven Applications Systems - 4th International Conference, 2022

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, Michael Durling, Cesare Tinelli, Omar Chowdhury

Syst., 2021

Formal Guarantees of Timely Progress for Distributed Knowledge Propagation.

Saswata Paul, Stacy Patterson, Carlos A. Varela

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Automating the Assembly of Security Assurance Case Fragments.

Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling

Proceedings of the Computer Safety, Reliability, and Security, 2021

Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model.

Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms.

Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson, Carlos A. Varela

Proceedings of the Dynamic Data Driven Applications Systems, 2020

Towards Provably Correct Probabilistic Flight Systems.

Elkin Cruz-Camacho, Saswata Paul, Fotis Kopsaftopoulos, Carlos A. Varela

Proceedings of the Dynamic Data Driven Applications Systems, 2020

2017

Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies.

Saswata Paul, Frederick Hole, Alexandra Zytek, Carlos A. Varela

CoRR, 2017