Borzoo Bonakdarpour

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ezio Bartocci

> Home > Persons > Borzoo Bonakdarpour

Publications

2023
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DobeSBBLPW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DobeSBBLPW23
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang:
Lightweight Verification of Hyperproperties. ATVA 2023: 3-25
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/GerlachDABB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/GerlachDABB23
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Introducing Asynchronicity to Probabilistic Hyperproperties. QEST 2023: 47-64
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-05282
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-05282
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Introducing Asynchronicity to Probabilistic Hyperproperties. CoRR abs/2307.05282 (2023)
2022
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/DobeABB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DobeABB22
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Model checking hyperproperties for Markov decision processes. Inf. Comput. 289(Part): 104978 (2022)
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/DobeWABB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/DobeWABB22
Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Probabilistic Hyperproperties with Rewards. NFM 2022: 656-673
2021
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DobeABB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DobeABB21
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
HyperProb: A Model Checker for Probabilistic Hyperproperties. FM 2021: 657-666
2020
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AbrahamBBD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AbrahamBBD20
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe:
Probabilistic Hyperproperties with Nondeterminism. ATVA 2020: 518-534
[c74]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/AbrahamBBD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/AbrahamBBD20
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe:
Parameter Synthesis for Probabilistic Hyperproperties. LPAR 2020: 12-31
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-06115
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-06115
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe:
Probabilistic Hyperproperties with Nondeterminism. CoRR abs/2005.06115 (2020)
2019
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/BartocciFBCDHJK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BartocciFBCDHJK19
Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang:
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21(1): 31-70 (2019)
2014
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BartocciBF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BartocciBF14
Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone:
First International Competition on Software for Runtime Verification. RV 2014: 1-9

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.