Oyendrila Dobe

Orcid: 0000-0002-0799-1498

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

A-HyperProb.

[BibT_eX]

[DOI]

Dataset, May, 2023

Introducing Asynchronicity to Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

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

Lightweight Verification of Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Model checking hyperproperties for Markov decision processes.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Probabilistic Hyperproperties with Rewards.

[BibT_eX]

[DOI]

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

2021

HyperProb: A Model Checker for Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

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

2020

Parameter Synthesis for Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

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

Probabilistic Hyperproperties with Nondeterminism.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

2017

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Amiya Halder

Oyendrila Dobe

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

Oyendrila Dobe

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...