VLDB 2026 Research / reviewers in the wild / expert
Saswata Paul
dblp:209/9767
· DBLP profile ↗
4ranked-venue papers
2as first author
4since 2021 · last 2025
0000-0002-1792-9858ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 2 · 1 first-author · 2 since 2021Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021Theory of computation · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Formal verification of timely knowledge propagation in airborne networks
Saswata Paul, Chris McCarthy, Stacy Patterson, Carlos A. Varela |
Sci. Comput. Program. | 1 |
| 2024 | Assurance Case Synthesis from a Curated Semantic Triplestore
Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling |
SAFECOMP | 1 |
| 2023 | Towards a Correct-by-Construction Design of Integrated Modular Avionics
Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Tim Oates 0001 |
FMCAD | 6 |
| 2021 | Automating the Assembly of Security Assurance Case Fragments
Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling |
SAFECOMP | 2 |