Saswata Paul - RankMe

18 papers B 3Journal 6Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Attack-defense tree-based analysis and optimal defense synthesis for system design. Innov. Syst. Softw. Eng. Baoluo Meng, Arjun Viswanathan, Saswata Paul, William Smith, Abha Moitra, Kit Siu, Michael Durling
2025	J	`jnl`	Formal verification of timely knowledge propagation in airborne networks. Sci. Comput. Program. Saswata Paul, Chris McCarthy, Stacy Patterson, Carlos A. Varela
2025	—	`conf`	TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation. NFM Sarat Chandra Varanasi, Baoluo Meng, Robert Lorch, Abha Moitra, Kit Siu, Saswata Paul, Michael Durling, Neha Beniwal, Nikita Visnevski
2024	B	`conf`	Assurance Case Synthesis from a Curated Semantic Triplestore. SAFECOMP Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling
2024	—	`conf`	Formal Methods in Requirements Engineering: Survey and Future Directions. FormaliSE@ICSE Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
2024	—	`conf`	SMT-Based Aircraft Conflict Detection and Resolution. NFM Saswata Paul, Baoluo Meng, Christopher C. Alexander
2023	J	`jnl`	Eventual consensus in Synod: verification using a failure-aware actor model. Innov. Syst. Softw. Eng. Saswata Paul, Gul Agha, Stacy Patterson, Carlos A. Varela
2023	B	`conf`	Towards a Correct-by-Construction Design of Integrated Modular Avionics. FMCAD Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Chi Zhang, Tim Oates
2022	—	`—`	Formal verification of decentralized coordination in autonomous multi-agent aerospace systems Saswata Paul
2022	—	`conf`	On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models. DDDAS Peiyuan Zhou, Saswata Paul, Airin Dutta, Carlos A. Varela, Fotis Kopsaftopoulos
2021	B	`conf`	Automating the Assembly of Security Assurance Case Fragments. SAFECOMP Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling
2021	—	`conf`	Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. FMAS Saswata Paul, Stacy Patterson, Carlos A. Varela
2021	J	`jnl`	VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
2021	—	`conf`	Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. NFM Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela
2021	J	`jnl`	Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. CoRR Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela
2020	—	`conf`	Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms. DDDAS Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson, Carlos A. Varela
2020	—	`conf`	Towards Provably Correct Probabilistic Flight Systems. DDDAS Elkin Cruz-Camacho, Saswata Paul, Fotis Kopsaftopoulos, Carlos A. Varela
2017	J	`jnl`	Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies. CoRR Saswata Paul, Frederick Hole, Alexandra Zytek, Carlos A. Varela