Følg
Saswata Paul
Saswata Paul
GE Aerospace Research
Verificeret mail på ge.com - Startside
Titel
Citeret af
Citeret af
År
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
502018
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
232021
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 38 (5), 72-88, 2023
192023
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
132021
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
122019
Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms
S Paul, F Kopsaftopoulos, S Patterson, CA Varela
InfoSymbiotics/DDDAS2020, 2020
102020
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
82021
Collaborative Situational Awareness for Conflict-Aware Flight Planning
S Paul, S Patterson, CA Varela
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 2020
82020
Emergency Trajectory Generation for Fixed-Wing Aircraft
S Paul
Rensselaer Polytechnic Institute, 2018
72018
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation
S Paul, S Patterson, CA Varela
Third Workshop on Formal Methods for Autonomous Systems, 2021
62021
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
62020
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
5*2021
Towards Provably Correct Probabilistic Flight Systems
E Cruz-Camacho, S Paul, F Kopsaftopoulos, CA Varela
InfoSymbiotics/DDDAS2020, 2020
42020
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
32023
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
32020
Formal Methods in Requirements Engineering: Survey and Future Directions
R Lorch, B Meng, K Siu, A Moitra, M Durling, S Paul, SC Varanasi, ...
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal …, 2024
22024
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
22023
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
22023
Formal verification of timely knowledge propagation in airborne networks
S Paul, C McCarthy, S Patterson, C Varela
Science of Computer Programming 239, 103184, 2025
12025
SMT-Based Aircraft Conflict Detection and Resolution
S Paul, B Meng, C Alexander
NASA Formal Methods Symposium, 186-203, 2024
12024
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20