Detection of tumor in brain MRI using fuzzy feature selection and support vector machine. - Amiya Halder; Oyendrila Dobe (ICACCI, 2016)

Rough K-means and support vector machine based brain tumor detection. - Amiya Halder; Oyendrila Dobe (ICACCI, 2017)

Probabilistic Hyperproperties with Nondeterminism. - Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour; Oyendrila Dobe (ATVA, 2020)

Parameter Synthesis for Probabilistic Hyperproperties. - Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour; Oyendrila Dobe (LPAR, 2020)

HyperProb: A Model Checker for Probabilistic Hyperproperties. - Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (FM, 2021)

Probabilistic Hyperproperties with Rewards. - Oyendrila Dobe; Lukas Wilke; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (NFM, 2022)

Model checking hyperproperties for Markov decision processes. - Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (Inf. Comput., 2022)

Lightweight Verification of Hyperproperties. - Oyendrila Dobe; Stefan Schupp; Ezio Bartocci; Borzoo Bonakdarpour; Axel Legay; Miroslav Pajic; Yu Wang 044 (ATVA, 2023)

Introducing Asynchronicity to Probabilistic Hyperproperties. - Lina Gerlach; Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (QEST, 2023)

A-HyperProb. - Lina Gerlach; Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (Zenodo, 2023)