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
(2021)
Open Access | Times Cited: 9
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
(2021)
Open Access | Times Cited: 9
Showing 9 citing articles:
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
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
Lecture notes in computer science (2021), pp. 94-112
Open Access | Times Cited: 25
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
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation
Michele Pasqua, Mariano Ceccato, Paolo Tonella
(2024), pp. 1-12
Open Access | Times Cited: 1
Michele Pasqua, Mariano Ceccato, Paolo Tonella
(2024), pp. 1-12
Open Access | Times Cited: 1
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
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, et al.
Lecture notes in computer science (2023), pp. 29-46
Closed Access | Times Cited: 2
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
Shiraj Arora, René Rydhof Hansen, Kim G. Larsen, et al.
Lecture notes in computer science (2022), pp. 61-78
Closed Access | Times Cited: 4
Shiraj Arora, René Rydhof Hansen, Kim G. Larsen, et al.
Lecture notes in computer science (2022), pp. 61-78
Closed Access | Times Cited: 4
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
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Lecture notes in computer science (2024), pp. 332-352
Closed Access
Lightweight Verification of Hyperproperties
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, et al.
Lecture notes in computer science (2023), pp. 3-25
Closed Access
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, et al.
Lecture notes in computer science (2023), pp. 3-25
Closed Access
Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design
Lisa O'conner, Hou Seng Wong, Ndt Ma, et al.
(2023)
Open Access
Lisa O'conner, Hou Seng Wong, Ndt Ma, et al.
(2023)
Open Access
Verification of Hyperproperties for Uncertain Dynamical Systems via Barrier Certificates.
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, et al.
arXiv (Cornell University) (2021)
Closed Access
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, et al.
arXiv (Cornell University) (2021)
Closed Access
