| 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 | 50 | 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 | 22 | 2021 |
| 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 | 19 | 2023 |
| 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 | 13 | 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 | 12 | 2019 |
| Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms S Paul, F Kopsaftopoulos, S Patterson, CA Varela InfoSymbiotics/DDDAS2020, 2020 | 10 | 2020 |
| 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 | 8 | 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 | 8 | 2020 |
| Emergency Trajectory Generation for Fixed-Wing Aircraft S Paul Rensselaer Polytechnic Institute, 2018 | 7 | 2018 |
| Formal Guarantees of Timely Progress for Distributed Knowledge Propagation S Paul, S Patterson, CA Varela Third Workshop on Formal Methods for Autonomous Systems, 2021 | 6 | 2021 |
| 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 | 6 | 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 | 5* | 2021 |
| Towards Provably Correct Probabilistic Flight Systems E Cruz-Camacho, S Paul, F Kopsaftopoulos, CA Varela InfoSymbiotics/DDDAS2020, 2020 | 4 | 2020 |
| Smt-based aircraft conflict detection and resolution S Paul, B Meng, C Alexander NASA Formal Methods Symposium, 186-203, 2024 | 3 | 2024 |
| 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 | 3 | 2024 |
| 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 | 3 | 2023 |
| 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 | 3 | 2020 |
| Formal verification of timely knowledge propagation in airborne networks S Paul, C McCarthy, S Patterson, C Varela Science of Computer Programming 239, 103184, 2025 | 2 | 2025 |
| 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 | 2 | 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 | 2 | 2023 |
Carlos VarelaProfessor of Computer Science, Rensselaer Polytechnic InstituteVerified email at cs.rpi.edu
