Saswata Paul
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2021–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAFECOMP | Assurance Case Synthesis from a Curated Semantic Triplestore. | Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling |
| 2023 | FMCAD | 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, Chi Zhang, Tim Oates |
| 2021 | SAFECOMP | Automating the Assembly of Security Assurance Case Fragments. | Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling |