Oyendrila Dobe

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 11

Top Topics

Probabilistic Interpretation

Support Vector Machine

Top Venues

Publications

Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Introducing Asynchronicity to Probabilistic Hyperproperties. QEST (2023)
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
Lightweight Verification of Hyperproperties. ATVA (2023)
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Introducing Asynchronicity to Probabilistic Hyperproperties. CoRR (2023)
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Model checking hyperproperties for Markov decision processes. Inf. Comput. 289 (Part) (2022)
Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Probabilistic Hyperproperties with Rewards. NFM (2022)
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
HyperProb: A Model Checker for Probabilistic Hyperproperties. FM (2021)
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
Probabilistic Hyperproperties with Nondeterminism. CoRR (2020)
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
Parameter Synthesis for Probabilistic Hyperproperties. LPAR (2020)
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
Probabilistic Hyperproperties with Nondeterminism. ATVA (2020)
Amiya Halder, Oyendrila Dobe
Rough K-means and support vector machine based brain tumor detection. ICACCI (2017)
Amiya Halder, Oyendrila Dobe
Detection of tumor in brain MRI using fuzzy feature selection and support vector machine. ICACCI (2016)