Saswata Paul

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 13

Top Topics

Deep Brain Stimulation

Provably Correct

Conflict Detection

Top Venues

Publications

Saswata Paul, Baoluo Meng, Christopher C. Alexander
SMT-Based Aircraft Conflict Detection and Resolution. NFM (2024)
Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
Formal Methods in Requirements Engineering: Survey and Future Directions. FormaliSE@ICSE (2024)
Saswata Paul, Gul Agha, Stacy Patterson, Carlos A. Varela
Eventual consensus in Synod: verification using a failure-aware actor model. Innov. Syst. Softw. Eng. 19 (4) (2023)
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
Towards a Correct-by-Construction Design of Integrated Modular Avionics. FMCAD (2023)
Peiyuan Zhou, Saswata Paul, Airin Dutta, Carlos Varela, Fotis Kopsaftopoulos
On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models. DDDAS (2022)
Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. NFM (2021)
Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. CoRR (2021)
Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling
Automating the Assembly of Security Assurance Case Fragments. SAFECOMP (2021)
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
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. 9 (1) (2021)
Saswata Paul, Stacy Patterson, Carlos A. Varela
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. FMAS (2021)
Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson, Carlos A. Varela
Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms. DDDAS (2020)
Elkin Cruz-Camacho, Saswata Paul, Fotis Kopsaftopoulos, Carlos A. Varela
Towards Provably Correct Probabilistic Flight Systems. DDDAS (2020)
Saswata Paul, Frederick Hole, Alexandra Zytek, Carlos A. Varela
Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies. CoRR (2017)