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:
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
Raven Beutner, Bernd Finkbeiner
Lecture notes in computer science (2023), pp. 145-163
Closed Access | Times Cited: 15
Showing 15 citing articles:
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
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
Arthur Correnson, Bernd Finkbeiner
Proceedings of the ACM on Programming Languages (2025) Vol. 9, Iss. POPL, pp. 1568-1595
Open Access
Second-Order Hyperproperties
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, et al.
Lecture notes in computer science (2023), pp. 309-332
Open Access | Times Cited: 10
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, et al.
Lecture notes in computer science (2023), pp. 309-332
Open Access | Times Cited: 10
Automated Software Verification of Hyperliveness
Raven Beutner
Lecture notes in computer science (2024), pp. 196-216
Open Access | Times Cited: 3
Raven Beutner
Lecture notes in computer science (2024), pp. 196-216
Open Access | Times Cited: 3
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
Raven Beutner, Bernd Finkbeiner
Logical Methods in Computer Science (2023) Vol. Volume 19, Issue 2
Open Access | Times Cited: 7
Raven Beutner, Bernd Finkbeiner
Logical Methods in Computer Science (2023) Vol. Volume 19, Issue 2
Open Access | Times Cited: 7
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
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
Model Checking Omega-Regular Hyperproperties with AutoHyperQ
Raven Beutner, Bernd Finkbeiner
EPiC series in computing (2023) Vol. 94, pp. 23-9
Open Access | Times Cited: 6
Raven Beutner, Bernd Finkbeiner
EPiC series in computing (2023) Vol. 94, pp. 23-9
Open Access | Times Cited: 6
Counterfactuals Modulo Temporal Logics
Bernd Finkbeiner, Julian Siber
EPiC series in computing (2023) Vol. 94, pp. 181-156
Open Access | Times Cited: 4
Bernd Finkbeiner, Julian Siber
EPiC series in computing (2023) Vol. 94, pp. 181-156
Open Access | Times Cited: 4
Logics and Algorithms for Hyperproperties
Bernd Finkbeiner
ACM SIGLOG News (2023) Vol. 10, Iss. 2, pp. 4-23
Open Access | Times Cited: 3
Bernd Finkbeiner
ACM SIGLOG News (2023) Vol. 10, Iss. 2, pp. 4-23
Open Access | Times Cited: 3
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
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
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
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
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
Hyper Parametric Timed CTL
Masaki Waga, Étienne André
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2024) Vol. 43, Iss. 11, pp. 4286-4297
Open Access
Masaki Waga, Étienne André
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2024) Vol. 43, Iss. 11, pp. 4286-4297
Open Access
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
Raven Beutner, Bernd Finkbeiner
arXiv (Cornell University) (2022)
Open Access | Times Cited: 2
Raven Beutner, Bernd Finkbeiner
arXiv (Cornell University) (2022)
Open Access | Times Cited: 2
