Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Oyendrila Dobe

dblp:190/3742 · DBLP profile ↗
← Back
5ranked-venue papers
3as first author
3since 2021 · last 2023
0000-0002-0799-1498ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 2 first-author · 2 since 2021Theory of computation · 3 · 2 first-author · 2 since 2021Artificial intelligence and machine learning · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Automated reasoning and model checking · 100%
Artificial intelligence
1 paper
Reinforcement learning · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking › model checking
hyperproperty model checking
0.612022
Model checking hyperproperties for Markov decision processes · Inf. Comput. 2022
Automated reasoning and model checking
hyperproperties
0.512021
HyperProb: A Model Checker for Probabilistic Hyperproperties · FM 2021
Automated reasoning and model checking › model checking
probabilistic model checking
0.512021
HyperProb: A Model Checker for Probabilistic Hyperproperties · FM 2021
Machine learning › Reinforcement learning
markov decision process
0.212022
Model checking hyperproperties for Markov decision processes · Inf. Comput. 2022

Methods — techniques the papers use, named apart from their topics

probabilistic hyperproperties · 0.5
YearPublicationVenuePosition
2023 Lightweight Verification of Hyperproperties
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang 0044
ATVA1
2022 Model checking hyperproperties for Markov decision processes
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Inf. Comput.1
2021 HyperProb: A Model Checker for Probabilistic Hyperproperties
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
FM1
2020 Probabilistic Hyperproperties with Nondeterminism
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
ATVA4
2020 Parameter Synthesis for Probabilistic Hyperproperties
abstract
In this paper, we study the parameter synthesis problem for probabilistic hyperproper- ties. A probabilistic hyperproperty stipulates quantitative dependencies among a set of executions. In particular, we solve the following problem: given a probabilistic hyperprop- erty ψ and discrete-time Markov chain D with parametric transition probabilities, compute regions of parameter configurations that instantiate D to satisfy ψ, and regions that lead to violation. We address this problem for a fragment of the temporal logic HyperPCTL that allows expressing quantitative reachability relation among a set of computation trees. We illustrate the application of our technique in the areas of differential privacy, probabilistic nonintereference, and probabilistic conformance.
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
LPAR4