Oyendrila Dobe

According to our database, Oyendrila Dobe authored at least 9 papers between 2016 and 2023.

Collaborative distances:

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

2023

Introducing Asynchronicity to Probabilistic Hyperproperties.

Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Lightweight Verification of Hyperproperties.

Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Model checking hyperproperties for Markov decision processes.

Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

Inf. Comput., 2022

Probabilistic Hyperproperties with Rewards.

Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

HyperProb: A Model Checker for Probabilistic Hyperproperties.

Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Parameter Synthesis for Probabilistic Hyperproperties.

Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Probabilistic Hyperproperties with Nondeterminism.

Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe

Proceedings of the Automated Technology for Verification and Analysis, 2020

2017

Rough K-means and support vector machine based brain tumor detection.

Amiya Halder, Oyendrila Dobe

Proceedings of the 2017 International Conference on Advances in Computing, 2017

2016

Detection of tumor in brain MRI using fuzzy feature selection and support vector machine.

Amiya Halder, Oyendrila Dobe

Proceedings of the 2016 International Conference on Advances in Computing, 2016