Follow
Saswata Paul
Saswata Paul
Research Engineer, GE Aerospace
Verified email at ge.com - Homepage
Title
Cited by
Cited by
Year
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
462018
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
152021
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
112021
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
102019
Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms
S Paul, F Kopsaftopoulos, S Patterson, CA Varela
InfoSymbiotics/DDDAS2020, 2020
82020
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
72023
Collaborative Situational Awareness for Conflict-Aware Flight Planning
S Paul, S Patterson, CA Varela
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 2020
62020
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
52021
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
52020
Emergency Trajectory Generation for Fixed-Wing Aircraft
S Paul
Rensselaer Polytechnic Institute, 2018
52018
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation
S Paul, S Patterson, CA Varela
Third Workshop on Formal Methods for Autonomous Systems, 2021
42021
Towards Provably Correct Probabilistic Flight Systems
E Cruz-Camacho, S Paul, F Kopsaftopoulos, CA Varela
InfoSymbiotics/DDDAS2020, 2020
42020
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
2*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
22020
Automated DO-178C Compliance Summary through Evidence Curation
S Paul, C Alexander, M Durling, K Siu, D Prince, B Meng, SC Varanasi, ...
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023
12023
Attack–defense tree-based analysis and optimal defense synthesis for system design
B Meng, A Viswanathan, S Paul, W Smith, A Moitra, K Siu, M Durling
Innovations in Systems and Software Engineering, 1-17, 2024
2024
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 19 (4), 395-410, 2023
2023
Towards a Correct-by-Construction Design of Integrated Modular Avionics
B Meng, J Debnath, SC Varanasi, E Manoloios, M Durling, S Paul, ...
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023, 221, 2023
2023
Towards the Certification of Neural Networks using Overarching Properties: An Avionics Case Study
S Paul, D Prince, N Iyer, M Durling, N Visnevski, B Meng, SC Varanasi, ...
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023
2023
Assurance of Machine Learning-Based Aerospace Systems: Towards an Overarching Properties-Driven Approach
S Paul, D Prince, N Iyer, M Durling, N Visnevski, B Meng
United States. Department of Transportation. Federal Aviation Administration …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20