Open Access Helper

OpenAlex Citation Counts

OpenAlex Citations Logo

OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!

If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.

Requested Article:

Bounded Model Checking for Hyperproperties
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
Lecture notes in computer science (2021), pp. 94-112
Open Access | Times Cited: 25

Showing 25 citing articles:

A Temporal Logic for Asynchronous Hyperproperties
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, et al.
Lecture notes in computer science (2021), pp. 694-717
Open Access | Times Cited: 34
AutoHyper: Explicit-State Model Checking for HyperLTL
Raven Beutner, Bernd Finkbeiner
Lecture notes in computer science (2023), pp. 145-163
Closed Access | Times Cited: 15
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems
Jianing Zhao, Shaoyuan Li, Xiang Yin
IEEE Transactions on Automatic Control (2024) Vol. 69, Iss. 7, pp. 4710-4717
Open Access | Times Cited: 5
Coinductive Proofs for Temporal Hyperliveness
Arthur Correnson, Bernd Finkbeiner
Proceedings of the ACM on Programming Languages (2025) Vol. 9, Iss. POPL, pp. 1568-1595
Open Access
Checking Satisfiability of Hyperproperties Using First-Order Logic
Raven Beutner, Bernd Finkbeiner
Lecture notes in computer science (2025), pp. 198-211
Closed Access
Prophecy Variables for Hyperproperty Verification
Raven Beutner, Bernd Finkbeiner
(2022), pp. 471-485
Open Access | Times Cited: 17
Automated Software Verification of Hyperliveness
Raven Beutner
Lecture notes in computer science (2024), pp. 196-216
Open Access | Times Cited: 3
Non-deterministic Planning for Hyperproperty Verification
Raven Beutner, Bernd Finkbeiner
Proceedings of the International Conference on Automated Planning and Scheduling (2024) Vol. 34, pp. 25-30
Open Access | Times Cited: 2
Motion Planning Using Hyperproperties for Time Window Temporal Logic
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
IEEE Robotics and Automation Letters (2023) Vol. 8, Iss. 8, pp. 4386-4393
Closed Access | Times Cited: 6
Explaining Hyperproperty Violations
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, et al.
Lecture notes in computer science (2022), pp. 407-429
Open Access | Times Cited: 8
Efficient Loop Conditions for Bounded Model Checking Hyperproperties
Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, et al.
Lecture notes in computer science (2023), pp. 66-84
Closed Access | Times Cited: 2
Bounded Model Checking for Asynchronous Hyperproperties
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, et al.
Lecture notes in computer science (2023), pp. 29-46
Closed Access | Times Cited: 2
Model Checking Time Window Temporal Logic for Hyperproperties
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
(2023), pp. 100-110
Open Access | Times Cited: 2
Checking and Sketching Causes on Temporal Sequences
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, et al.
Lecture notes in computer science (2023), pp. 314-327
Closed Access | Times Cited: 2
Syntax-Guided Automated Program Repair for Hyperproperties
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, et al.
Lecture notes in computer science (2024), pp. 3-26
Closed Access
Visualizing Game-Based Certificates for Hyperproperty Verification
Raven Beutner, Bernd Finkbeiner, Angelina Göbl
Lecture notes in computer science (2024), pp. 67-75
Open Access
Finding ∀∃ Hyperbugs using Symbolic Execution
Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, et al.
Proceedings of the ACM on Programming Languages (2024) Vol. 8, Iss. OOPSLA2, pp. 1420-1445
Open Access
Efficient SMT-Based Model Checking for HyperTWTL
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Lecture notes in computer science (2024), pp. 332-352
Closed Access
Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies
Koki Kanashima, Toshimitsu Ushio
IEEE Access (2023) Vol. 11, pp. 11766-11780
Open Access | Times Cited: 1
HyperPCTL Model Checking by Probabilistic Decomposition
Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, et al.
Lecture notes in computer science (2022), pp. 209-226
Closed Access | Times Cited: 2
Mapping Synthesis for Hyperproperties
Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, et al.
(2022), pp. 486-500
Closed Access | Times Cited: 1
Lightweight Verification of Hyperproperties
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, et al.
Lecture notes in computer science (2023), pp. 3-25
Closed Access
What’s New In QBF Solving? : (Invited Talk)
Martina Seidl
(2022) Vol. 236, pp. 16-18
Closed Access
A Temporal Logic for Asynchronous Hyperproperties.
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, et al.
(2021)
Closed Access
HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties.
Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez
(2021)
Closed Access
Page 1

Scroll to top