Saswata Paul
Cited by
Cited by
Wind-aware trajectory planning for fixed-wing aircraft in loss of thrust emergencies
S Paul, F Hole, A Zytek, CA Varela
2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC), 1-10, 2018
Verdict: a language and framework for engineering cyber resilient and safe system
B Meng, D Larraz, K Siu, A Moitra, J Interrante, W Smith, S Paul, D Prince, ...
Systems 9 (1), 18, 2021
Conflict-Aware Flight Planning for Avoiding Near Mid-Air Collisions
S Paul, S Patterson, CA Varela
2019 AIAA/IEEE 38th Digital Avionics Systems Conference (DASC), 2019
Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms
S Paul, F Kopsaftopoulos, S Patterson, CA Varela
InfoSymbiotics/DDDAS2020, 2020
Automating the assembly of security assurance case fragments
B Meng, S Paul, A Moitra, K Siu, M Durling
Computer Safety, Reliability, and Security: 40th International Conference …, 2021
Collaborative Situational Awareness for Conflict-Aware Flight Planning
S Paul, S Patterson, CA Varela
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 2020
Emergency Trajectory Generation for Fixed-Wing Aircraft
S Paul
Rensselaer Polytechnic Institute, 2018
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
S Paul, GA Agha, S Patterson, CA Varela
13th NASA Formal Methods Symposium, 2021 13, 249-267, 2021
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation
S Paul, S Patterson, CA Varela
Third Workshop on Formal Methods for Autonomous Systems, 2021
Towards Provably Correct Probabilistic Flight Systems
E Cruz-Camacho, S Paul, F Kopsaftopoulos, CA Varela
InfoSymbiotics/DDDAS2020, 2020
Towards Developing Formalized Assurance Cases
B Meng, A Moitra, AW Crapo, S Paul, K Siu, M Durling, D Prince, ...
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 2020
Towards Formalization of a Data Model for Operational Risk Assessment
V Tekken Valapil, H Herencia-Zapana, M Durling, K Armstrong, S Paul, ...
The 40th AIAA/IEEE Digital Avionics Systems Conference, 2021
Towards Formal Correctness Envelopes for Dynamic Data-Driven Aerospace Systems
S Paul, F Kopsaftopoulos, S Patterson, CA Varela
Handbook of Dynamic Data-Driven Application Systems, To appear, 2020
Attack-Defense Tree-based Security Analysis and Optimal Defense Synthesis for System Design
B Meng, A Viswanathan, S Saswata, W William, A Moitra, K Siu, M Durling
Formal Verification of Safety-Critical Aerospace Systems
S Paul, E Cruz, A Dutta, A Bhaumik, E Blasch, G Agha, S Patterson, ...
IEEE Aerospace and Electronic Systems Magazine, 2023
Eventual consensus in Synod: verification using a failure-aware actor model
S Paul, G Agha, S Patterson, C Varela
Innovations in systems and software engineering, 1-16, 2022
Formal Verification of Decentralized Coordination in Autonomous Multi-Agent Aerospace Systems
S Paul
Rensselaer Polytechnic Institute, 2022
Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies
S Paul, F Hole, A Zytek, CA Varela
InfoSymbiotics/DDDAS2017, 2017
On formal verification of data-driven flight awareness: Leveraging the Cramér-Rao lower bound of stochastic functional time series models
P Zhou, S Paul, A Dutta, C Varela, F Kopsaftopoulos
The system can't perform the operation now. Try again later.
Articles 1–19