Susmoy Das
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2021–2026
Best venue rank
Multiconference
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ANT | A Challenge-Led Digital Twin Federation Architecture For Urban Passenger Transport Decarbonisation. | Jingjun Li, Heather Steele, Joseph D. Preece, David Kirkwood, Shiqi Sun, Wenhua Jiang, Alan Logan, Susmoy Das, Ricardo Almeida, Michele Sevegnani, John M. Easton, Clive Roberts, David Flynn, Philip Greening |
| 2025 | SAFECOMP | Formal Analysis of Resilience in Transport Systems with Bigraphs. | Susmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani |
| 2024 | SAC | A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems. | Susmoy Das, Arpit Sharma |
| 2023 | FORTE | On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems. | Susmoy Das, Arpit Sharma |
| 2021 | SAC | Embeddings between state and action labeled probabilistic systems. | Susmoy Das, Arpit Sharma |