Dr Susmoy Das

  • Research Associate (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2025
Number of items: 1.

2025

Das, Susmoy ORCID logoORCID: https://orcid.org/0000-0001-9118-7402, Almeida, Ricardo, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) Formal Analysis of Resilience in Transport Systems with Bigraphs. In: 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems (SRToITS 2025) in conjunction with SAFECOMP 2025, Stockholm, Sweden, 09-12 September 2025, (Accepted for Publication)

This list was generated on Mon Jun 30 11:12:10 2025 BST.
Jump to: Conference Proceedings
Number of items: 1.

Conference Proceedings

Das, Susmoy ORCID logoORCID: https://orcid.org/0000-0001-9118-7402, Almeida, Ricardo, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) Formal Analysis of Resilience in Transport Systems with Bigraphs. In: 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems (SRToITS 2025) in conjunction with SAFECOMP 2025, Stockholm, Sweden, 09-12 September 2025, (Accepted for Publication)

This list was generated on Mon Jun 30 11:12:10 2025 BST.

Prior publications

Article

Susmoy Das, Arpit Sharma (2025) Embeddings Between State and Action Based Probabilistic Logics Formal Aspects of Computing Crossref. (doi: 10.1145/3696431)

Book Section

Susmoy Das, Arpit Sharma (2025) Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings Lecture Notes in Computer Science Susmoy Das. ISBN 9783031757754 ISSN 1611-3349 (doi: 10.1007/978-3-031-75775-4_9)

Susmoy Das, Arpit Sharma (2023) On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems Formal Techniques for Distributed Objects, Components, and Systems Susmoy Das. ISBN 9783031353550 ISSN 1611-3349 (doi: 10.1007/978-3-031-35355-0_8)

Susmoy Das, Arpit Sharma (2022) Embeddings Between State and Action Based Probabilistic Logics Formal Aspects of Component Software Susmoy Das. ISBN 9783031208720 ISSN 1611-3349 (doi: 10.1007/978-3-031-20872-0_8)

Conference Proceedings

Das, S., Sharma, A. (2024) A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems Proceedings of the ACM Symposium on Applied Computing Scopus - Elsevier. ISBN 9798400702433 (doi: 10.1145/3605098.3636032)

(2021) Embeddings between state and action labeled probabilistic systems Proceedings of the 36th Annual ACM Symposium on Applied Computing Susmoy Das. (doi: 10.1145/3412841.3442048)

(2021) State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains Performance Engineering and Stochastic Modeling Susmoy Das. ISBN 9783030918248 ISSN 16113349 03029743 (doi: 10.1007/978-3-030-91825-5_3)

Other

Susmoy Das, Arpit Sharma (2023) Artefact for 'On the Use of Model and Logical Embeddings for Model Checking of Stochastic Systems' Susmoy Das. (doi: 10.5281/ZENODO.8166485)

Susmoy Das, Arpit Sharma (2023) Artefact for 'Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court' Susmoy Das. (doi: 10.5281/ZENODO.8166141)

Susmoy Das, Arpit Sharma (2023) Artefact for 'On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems' Susmoy Das. (doi: 10.5281/ZENODO.7813997)

Das, S., Sharma, A. (2023) Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court arXiv Scopus - Elsevier. ISSN 23318422 (doi: 10.48550/arXiv.2311.05177)