Susmoy Das

Orcid: 0000-0001-9118-7402

According to our database1, Susmoy Das authored at least 6 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

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

On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

2022
Embeddings Between State and Action Based Probabilistic Logics.
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

2021
Embeddings between state and action labeled probabilistic systems.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains.
Proceedings of the Performance Engineering and Stochastic Modeling, 2021


  Loading...