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 Bernd Finkbeiner

> Home > Persons > Borzoo Bonakdarpour

Publications

2024
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BeutnerHBF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BeutnerHBF24
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
Syntax-Guided Automated Program Repair for Hyperproperties. CAV (3) 2024: 3-26
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeutnerHBF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeutnerHBF24
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
HyRep: Automated Program Repair For Hyperproperties. Version 1. Zenodo, 2024 [all versions]
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeutnerHBF24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeutnerHBF24a
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
HyRep: Automated Program Repair For Hyperproperties. Version 2. Zenodo, 2024 [all versions]
[i25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-06035
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-06035
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
Syntax-Guided Automated Program Repair for Hyperproperties. CoRR abs/2408.06035 (2024)
2023
[c92]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HsuBFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HsuBFS23
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) 2023: 29-46
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-07208
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-07208
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. CoRR abs/2301.07208 (2023)
2021
[c85]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BaumeisterCBFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BaumeisterCBFS21
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CAV (1) 2021: 694-717
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07847
Borzoo Bonakdarpour, Bernd Finkbeiner:
The Complexity of Monitoring Hyperproperties. CoRR abs/2101.07847 (2021)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-08257
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-08257
Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. CoRR abs/2101.08257 (2021)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-08880
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-08880
Borzoo Bonakdarpour, Bernd Finkbeiner:
Controller Synthesis for Hyperproperties. CoRR abs/2101.08880 (2021)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-14025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-14025
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CoRR abs/2104.14025 (2021)
2020
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BonakdarpourF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BonakdarpourF20
Borzoo Bonakdarpour, Bernd Finkbeiner:
Controller Synthesis for Hyperproperties. CSF 2020: 366-379
2019
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BonakdarpourF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BonakdarpourF19
Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. ATVA 2019: 423-441
2018
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BonakdarpourF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BonakdarpourF18
Borzoo Bonakdarpour, Bernd Finkbeiner:
The Complexity of Monitoring Hyperproperties. CSF 2018: 162-174
2016
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BonakdarpourF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BonakdarpourF16
Borzoo Bonakdarpour, Bernd Finkbeiner:
Runtime Verification for HyperLTL. RV 2016: 41-45

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.