A
Menu
January 01, 2021 conference-paper Aachen paper

HyperProb: A Model Checker for Probabilistic Hyperproperties

Lecture notes in computer science, pp. 657–666

DOI: 10.1007/978-3-030-90870-6_35 OpenAlex

Authors 4

  1. Oyendrila Dobe

    Michigan State University

    Affiliation as printed

    Michigan State University, East Lansing, USA

  2. Erika Ábrahám Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH-Aachen, Aachen, Germany

  3. Ezio Bartocci

    TU Wien

    Affiliation as printed

    Technische Universität Wien, Vienna, Austria

  4. Borzoo Bonakdarpour corresponding

    Michigan State University

    Affiliation as printed

    Michigan State University, East Lansing, USA

Cited by 9 stored of 9

9 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 9

9 results