Skip to main content

Oyendrila Dobe

Oynedrila Dobe
Ph.D. Candidate
Biography:

I am pursuing my PhD in Computer Science and Engineering. My field of research is formal verification of probabilistic systems using hyperproperties.

I am interested in designing and implementing algorithms that ensure correctness guarantees for software systems.

        “Who builds a house without drawing blueprints!”
                                                    - Leslie Lamport

This quote (although taken out of context) rightly describes my overall field of work. I work on verifying specifications on the model of a system , to ensure we have sound and correct model, that guarantees secure flow of information in safety-critical systems.

Apart from research, I’m an avid badminton player. I have been trained and am playing the sport mostly regularly for the past 10+ years. I also love camp and spend time in nature. I aim to visit all national parks in US and beyond.

dobeoyen@msu.edu

Publications

2023

Lina Gerlach, Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, "Introducing Asynchronicity to Probabilistic Hyperproperties" The International Conference on Quantitative Evaluation of SysTems (QEST), Springer, 2023.   qest23.pdf (754.13 KB)   
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang, "Lightweight Verification of Hyperproperties" The 21th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, 2023.   atva23.pdf (649.98 KB)   

2022

Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, "Model Checking Hyperproperties for Markov Decision Processes" Information and Computation, Elsevier, 2022.   InfComp23.pdf (659.33 KB)   
Oyendrila Dobe, Lukas Wilke, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, "Probabilistic Hyperproperties with Rewards" NASA Formal Methods Symposium, , 2022.   NFM22.pdf (544.59 KB)   

2021

Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, "HyperProb: A Model Checker for Probabilistic Hyperproperties" The 24th International Symposium on Formal Methods (FM), Springer, 2021.   fm21.pdf (350.22 KB)   

2020

Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe, "Probabilistic Hyperproperties with Nondeterminism" The 18th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, 2020.   atva20.pdf (558.93 KB)   
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe, "Parameter Synthesis for Probabilistic Hyperproperties" The 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), , 2020.   lpar20.pdf (703.87 KB)