Souymodip Chakraborty

According to our database, Souymodip Chakraborty authored at least 5 papers between 2014 and 2019.

Collaborative distances:

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

2019

New results on probabilistic verification: automata, logic and satisfiability.

Souymodip Chakraborty

PhD thesis, 2019

2016

On the Satisfiability of Some Simple Probabilistic Logics.

Souymodip Chakraborty, Joost-Pieter Katoen

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Modelling and statistical model checking of a microgrid.

Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec

Int. J. Softw. Tools Technol. Transf., 2015

Model Checking of Open Interval Markov Chains.

Souymodip Chakraborty, Joost-Pieter Katoen

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2015

2014

Parametric LTL on Markov Chains.

Souymodip Chakraborty, Joost-Pieter Katoen

Proceedings of the Theoretical Computer Science, 2014