Susmoy Das

According to our database, Susmoy Das authored at least 10 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

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

Proceedings of the 17th International Conference on Ambient Systems, 2026

2025

Formal Analysis of Resilience in Transport Systems with Bigraphs.

Susmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, 2025

Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation.

Ricardo Almeida, Susmoy Das, Blair Archibald, Muffy Calder, Michele Sevegnani

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2025

2024

A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems.

Susmoy Das, Arpit Sharma

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings.

Susmoy Das, Arpit Sharma

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems.

Susmoy Das, Arpit Sharma

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court.

Susmoy Das, Arpit Sharma

Proceedings of the From Data to Models and Back - 11th International Symposium, 2023

2022

Embeddings Between State and Action Based Probabilistic Logics.

Susmoy Das, Arpit Sharma

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

2021

Embeddings between state and action labeled probabilistic systems.

Susmoy Das, Arpit Sharma

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains.

Susmoy Das, Arpit Sharma

Proceedings of the Performance Engineering and Stochastic Modeling, 2021