From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “hyperproperties” 13

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Tractable Hyperproperties for MDPs - Artifact
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Carolina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Tractable Hyperproperties for MDPs - Artifact
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Carolina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Tractable Hyperproperties for MDPs
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Parameter Synthesis for Probabilistic Hyperproperties
2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access

Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe

9

citations
Introducing Asynchronicity to Probabilistic Hyperproperties
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

0

citations
Probabilistic Hyperproperties
2020 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Erika Ábrahám

0

citations
Probabilistic Hyperproperties with Nondeterminism
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe

23

citations
HyperProb: A Model Checker for Probabilistic Hyperproperties
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

9

citations
Probabilistic Hyperproperties with Rewards
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

6

citations
Model checking hyperproperties for Markov decision processes
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

5

citations
Introducing Asynchronicity to Probabilistic Hyperproperties
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

1

citations
A Hyperlogic for Strategies in Stochastic Games (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

0

citations
A Hyperlogic for Strategies in Stochastic Games
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Lina Gerlach, Christof Löding, Erika Ábrahám

0

citations

13 results