Saswata Paul

According to our database, Saswata Paul authored at least 10 papers between 2017 and 2023.

Collaborative distances:

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

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