OpenAlex Citation Counts

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:

Trace Diagnostics for Signal-Based Temporal Properties
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, et al.
IEEE Transactions on Software Engineering (2023) Vol. 49, Iss. 5, pp. 3131-3154
Open Access | Times Cited: 5

Showing 5 citing articles:

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

(2024)
Open Access | Times Cited: 4

Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems
Pablo Valle, Aitor Arrieta, Liping Han, et al.
Software & Systems Modeling (2025)
Open Access

Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach
João Paulo Costa de Araujo, Genaína Nunes Rodrigues, Marc Carwehl, et al.
IEEE Software (2024) Vol. 41, Iss. 5, pp. 43-51
Closed Access

Diagnosing Violations of Time-based Properties Captured in iCFTL
Cristina Stratan, Joshua Heneage Dawes, Domenico Bianculli
(2024), pp. 33-43
Open Access

Checking Complex Source Code-Level Constraints using Runtime Verification
Joshua Heneage Dawes, Domenico Bianculli
(2024), pp. 255-265
Open Access

Page 1

Cookie	Duration	Description
cookielawinfo-checkbox-advertisement	1 year	Set by the GDPR Cookie Consent plugin, this cookie is used to record the user consent for the cookies in the "Advertisement" category .
cookielawinfo-checkbox-analytics	1 year	Set by the GDPR Cookie Consent plugin, this cookie is used to record the user consent for the cookies in the "Analytics" category .
cookielawinfo-checkbox-functional	1 year	The cookie is set by the GDPR Cookie Consent plugin to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary	1 year	Set by the GDPR Cookie Consent plugin, this cookie is used to record the user consent for the cookies in the "Necessary" category .
cookielawinfo-checkbox-others	1 year	Set by the GDPR Cookie Consent plugin, this cookie is used to store the user consent for cookies in the category "Others".
cookielawinfo-checkbox-performance	1 year	Set by the GDPR Cookie Consent plugin, this cookie is used to store the user consent for cookies in the category "Performance".
CookieLawInfoConsent	1 year	Records the default button state of the corresponding category & the status of CCPA. It works only in coordination with the primary cookie.
PHPSESSID	session	This cookie is native to PHP applications. The cookie is used to store and identify a users' unique session ID for the purpose of managing user session on the website. The cookie is a session cookies and is deleted when all the browser windows are closed.

Requested Article:

Showing 5 citing articles:

Your Privacy