Dr Susmoy Das

  • Research Associate (School of Computing Science)

Publications

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)