Saswata Paul

Formal Verification of Safety-Critical Aerospace Systems

Saswata Paul, Elkin Cruz, Airin Dutta et al. · IEEE Aerospace and Electronic Systems Magazine · 2023 · 37 citations

Engineering, Verification, Safety Science +20

Over 20 years of research into cybersecurity and safety engineering: a short bibliography

Saswata Paul, Laurent Rioux · WIT transactions on the built environment · 2015 · 31 citations · Full text

Cybersecurity, Engineering, Information Security +19

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System

Baoluo Meng, Daniel Larraz, Kit Siu et al. · Systems · 2021 · 25 citations · Full text

Engineering, Cyber Resiliency, Security Engineering +25

Wind-Aware Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies

Saswata Paul, Frederick Hole, Alexandra Zytek et al. · 2018 · 14 citations

Engineering, Wind-aware Trajectory Planning, Aerospace Engineering +15

Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies

Saswata Paul, Frederick Hole, Alexandra Zytek et al. · arXiv (Cornell University) · 2017 · 13 citations · Full text

Engineering, Aerospace Simulation, Generated Flight Trajectories +17